第一部分 数理逻辑
数理逻辑(Mathematical Logic)又称符号逻辑(Symbolic Logic)是用数学方法来研究推理形式结构和推理规律数学学科。与计算机科学、人工智能、语言学等有亲密联络。有证实论、模型论、递归论、集合论四大分支
本课程介绍数理逻辑最基本内容：逻辑演算中命题逻辑和一阶逻辑
简单历史——三个阶段（一）
1、初始阶段：1660年代—19世纪末将数学应用于逻辑Aristotle：形式逻辑（主词和谓词逻辑）。Leibniz：建立直观而又准确思维演算。遇有争论，双方能够拿起笔来说：让我们来算一下。George Boole: 逻辑代数。De Morgan: 关系逻辑。[1] 王宪钧，数理逻辑引论，北京大学出版社，1982。
简单历史——三个阶段（二）
2、过分阶段：19世纪末— 1940前后逻辑应用于数学非欧几何与公理化方法。微积分与实数理论，Piano算术。集合论与数学基础(1900年世界数学家大会)悖论与第三次数学危机，Hilbert计划。