数理逻辑

数理逻辑课程：前往报名学习

数理逻辑视频慕课课程简介：

数理逻辑属形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。 [1-2] 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

前往报名学习

数理逻辑课程列表：

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

-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谓词逻辑的推理与证明例解

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

数理逻辑开设学校：西南科技大学

也许你还感兴趣的课程: