教学录像
| 名 称 | 播放 | 制作人 | 时 间 | 说 明 |
|---|---|---|---|---|
| 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_习题讲解 |
| 共24条记录，第1页 / 共1页 |
|
.gif)
.gif)
.gif)
.gif)