4.3谓词逻辑符号化在线视频

数理逻辑课程列表：

第一章命题与命题逻辑符号化

-1.1命题逻辑

--1.1你必须知道

-1.2命题

--1.2 命题

-1.3复合命题与命题联结词

--1.3复合命题

-1.4命题逻辑符号化

--1.4命题逻辑符号化

-1.5命题逻辑符号化例解

--1.5命题逻辑符号化例解

-1.6复杂问题的命题逻辑符号化

--1.6复杂问题的命题逻辑符号化

-1.7命题公式、解释与真值表

--1.7命题公式、解释与真值表

-第一单元测验：命题与命题逻辑符号化

第二章等价演算与范式

-2.1初识命题等价式

--2.1初识命题等价式

-2.2基本命题等价式

--2.2基本命题等价式

-2.3等价演算

--2.3等价演算

-2.4等价演算的应用

--2.4等价演算的应用

-2.5析取范式和合取范式

--2.5 析取范式和合取范式

-2.6求析取范式和合取范式

--2.6 求析取范式和合取范式

-2.7主析取范式和主合取范式

--2.7主析取范式和主合取范式

-2.8真值表法求主范式

--2.8真值表法求主范式

-2.9等值演算法求主范式

--2.9等价演算法求主范式

-2.10主范式的用途

--2.10主范式的应用

-2.11主析取范式和主合取范式之间的转换

--2.11主析取范式和主合取范式之间的转换

-第二单元测验：等价演算与范式

第三章命题逻辑推理与证明

-3.1重言蕴涵

--3.1重言蕴涵

-3.2基本的重言蕴涵式

--3.2基本的重言蕴涵式

-3.3命题逻辑的推理证明

--3.3命题逻辑的推理规则

-3.4推理的有效性与结论的真实性

--3.4命题逻辑的推理与证明

-3.5命题逻辑的证明方法

--3.5命题逻辑的证明方法

-3.6命题逻辑部分小结

--3.6命题逻辑部分小结

-第三单元测验：命题逻辑推理与证明

第四章谓词与谓词逻辑符号化

-4.1谓词逻辑

--4.1谓词逻辑

-4.2谓词、量词、特性谓词

--4.2谓词、量词、特性谓词

-4.3谓词逻辑符号化

--4.3谓词逻辑符号化

-4.4谓词逻辑符号化例解

--4.4谓词逻辑符号化例解

-第四单元测验：谓词与谓词逻辑符号化

第五章谓词公式

-5.1谓词公式的概念

--5.1谓词公式的概念

-5.2自由变元和约束变元

--5.2自由变元和约束变元

-5.3谓词公式的解释

--5.3 谓词公式的解释

-5.4谓词等价式与重言式（1）

--5.4谓词等价式与重言式

-5.5谓词等价式与重言式（2）

--5.5谓词等价式与重言式

-5.6改名规则、代入规则、对偶原理

--5.6改名规则、代入规则、对偶原理

-5.7前束范式

--5.7前束范式

-第五单元测验：谓词公式

第六章谓词逻辑推理与证明

-6.1量词的特指规则

--6.1量词的特指规则

-6.2量词的推广规则

--6.2量词的推广规则

-6.3谓词逻辑的推理与证明方法

--6.3谓词逻辑的推理与证明

-6.4推理规则的应用

--6.4推理规则的使用

-6.5谓词逻辑的推理与证明例解

--6.5谓词逻辑的推理与证明例解

-第六单元：谓词逻辑推理与证明单元测试

© 柠檬大学-慕课导航 课程版权归原始院校所有，
本网站仅通过互联网进行慕课课程索引，不提供在线课程学习和视频，请同学们点击报名到课程提供网站进行学习。