名 称 | 制作人 | 时 间 | 说 明 |
---|---|---|---|
1.2 命题公式及赋值(李怀成) | 李怀成 | 2019-06-11 | 命题变项 合式公式 合式公式的层次 公式赋值 公式类型 真值表 |
4.1 一阶逻辑基本概念(常颖) | 常颖 | 2019-06-11 | 一阶逻辑命题符号化的三要素: 个体词、谓词、量词 |
6.1 集合的基本概念(台安) | 台安 | 2019-06-11 | 集合的基本概念 属于、包含 幂集、空集 文氏图等 |
7.1 有序对与笛卡尔积(周晓谊) | 周晓谊 | 2019-06-11 | 有序对与笛卡儿积 二元关系的定义与表示法 |
C0101简单命题 | 常颖 | 2020-04-13 | C0101简单命题 |
C0401一阶逻辑命题符号化 | 李怀成 | 2020-04-13 | C0401一阶逻辑命题符号化 |
C0701有序对与笛卡尔积 | 台安 | 2020-04-13 | C0701有序对与笛卡尔积 |
C1401图的基本概念 | 周晓谊 | 2020-04-13 | C1401图的基本概念 |
C0401_基本概念 | 李怀成 | 2020-04-13 | C0401_基本概念 |
C0402_命题符号化(上) | 李怀成 | 2020-04-13 | C0402_命题符号化(上) |
C0402_命题符号化(下) | 李怀成 | 2020-04-13 | C0402_命题符号化(下) |
C0403_一阶逻辑公式 | 李怀成 | 2020-04-13 | C0403_一阶逻辑公式 |
C0404_公式的解释 | 李怀成 | 2020-04-13 | C0404_公式的解释 |
C0405_习题与作业 | 李怀成 | 2020-04-13 | C0405_习题与作业 |
C0501_一阶逻辑等值式 | 李怀成 | 2020-04-13 | C0501_一阶逻辑等值式 |
C0502_转换规则 | 李怀成 | 2020-04-13 | C0502_转换规则 |
C0503_前束范式 | 李怀成 | 2020-04-13 | C0503_前束范式 |
C0601_集合的基本概念 | 李怀成 | 2020-04-24 | C0601_集合的基本概念 |
C0602_集合的初等运算 | 李怀成 | 2020-04-24 | C0602_初等运算 |
C0603_集合的广义运算 | 李怀成 | 2020-04-25 | C0603_集合的广义运算 |
C0604_集合的计数 | 李怀成 | 2020-04-25 | C0604_集合的计数 |
C0605_集合的运算规律 | 李怀成 | 2020-04-25 | C0605_集合的运算规律 |
C0606_集合的证明方法 | 李怀成 | 2020-04-25 | C0606_集合的证明方法 |
C0607_习题讲解 | 李怀成 | 2020-04-25 | C0607_习题讲解 |