正在播放：
首页
>
课程
>
第五章 一阶逻辑等值演算与推理
>
第一节 一阶逻辑等值式与置换规则（1）
视频课程
第一章 命题逻辑基本概念
第一节:
命题与连结词（1）
第一节:
命题与连结词（2）
第一节:
命题与连结词（3）
第二节:
命题公式及其赋值（1）
第二节:
命题公式及其赋值（2）
第二章 命题逻辑等值演算
第一节:
等值式（1）
第一节:
等值式（2）
第二节:
范式（1）
第二节:
范式（2）
第三节:
联结词的完备集
第三章 命题逻辑的推理理论
第一节:
图例的形式结构（1）
第一节:
图例的形式结构（2）
第二节:
自然推理系统P（1）
第二节:
自然推理系统P（2）
第二节:
自然推理系统P（3）
第四章 一阶逻辑基本概念
第一节:
一阶逻辑的符号化（1）
第一节:
一阶逻辑的符号化（2）
第二节:
一阶逻辑公式及解释（1）
第二节:
一阶逻辑公式及解释（2）
第二节:
一阶逻辑公式及解释（3）
第五章 一阶逻辑等值演算与推理
第一节:
一阶逻辑等值式与置换规则（1）
第一节:
一阶逻辑等值式与置换规则（2）
第二节:
一阶逻辑的前束范式
第三节:
一阶逻辑推理理论
第六章 集合的基本概念
第一节:
集合的基本概念（1）
第一节:
集合的基本概念（2）
第二节:
集合的运算（1）
第二节:
集合的运算（2）
第二节:
集合的运算（3）
第三节:
集合恒等式（1）
第三节:
集合恒等式（2）
第七章 二元关系
第一节:
有序对与笛卡儿积
第二节:
二元关系（1）
第二节:
二元关系（2）
第三节:
关系的运算（1）
第三节:
关系的运算（2）
第三节:
关系的运算（3）
第四节:
关系的性质（1）
第四节:
关系的性质（2）
第五节:
关系的闭包
第六节:
等价关系与划分（1）
第六节:
等价关系与划分（2）
第八章 函数
第一节:
函数的定义与性质（1）
第一节:
函数的定义与性质（2）
第二节:
函数的复合秘反函数
第九章 代数系统（自学）
第十章 图的基本概念
第一节:
图（1）
第二节:
图（2）
第二节:
通路与回路
第三节:
图的连通性
第一章 命题逻辑基本概念
第一节:
命题与连结词（1）
第一节:
命题与连结词（2）
第一节:
命题与连结词（3）
第二节:
命题公式及其赋值（1）
第二节:
命题公式及其赋值（2）
第二章 命题逻辑等值演算
第一节:
等值式（1）
第一节:
等值式（2）
第二节:
范式（1）
第二节:
范式（2）
第三节:
联结词的完备集
第三章 命题逻辑的推理理论
第一节:
图例的形式结构（1）
第一节:
图例的形式结构（2）
第二节:
自然推理系统P（1）
第二节:
自然推理系统P（2）
第二节:
自然推理系统P（3）
第四章 一阶逻辑基本概念
第一节:
一阶逻辑的符号化（1）
第一节:
一阶逻辑的符号化（2）
第二节:
一阶逻辑公式及解释（1）
第二节:
一阶逻辑公式及解释（2）
第二节:
一阶逻辑公式及解释（3）
第五章 一阶逻辑等值演算与推理
第一节:
一阶逻辑等值式与置换规则（1）
第一节:
一阶逻辑等值式与置换规则（2）
第二节:
一阶逻辑的前束范式
第三节:
一阶逻辑推理理论
第六章 集合的基本概念
第一节:
集合的基本概念（1）
第一节:
集合的基本概念（2）
第二节:
集合的运算（1）
第二节:
集合的运算（2）
第二节:
集合的运算（3）
第三节:
集合恒等式（1）
第三节:
集合恒等式（2）
第七章 二元关系
第一节:
有序对与笛卡儿积
第二节:
二元关系（1）
第二节:
二元关系（2）
第三节:
关系的运算（1）
第三节:
关系的运算（2）
第三节:
关系的运算（3）
第四节:
关系的性质（1）
第四节:
关系的性质（2）
第五节:
关系的闭包
第六节:
等价关系与划分（1）
第六节:
等价关系与划分（2）
第八章 函数
第一节:
函数的定义与性质（1）
第一节:
函数的定义与性质（2）
第二节:
函数的复合秘反函数
第九章 代数系统（自学）
第十章 图的基本概念
第一节:
图（1）
第二节:
图（2）
第二节:
通路与回路
第三节:
图的连通性
