离散数学之数理逻辑01

前言：
使用教材
《离散数学》第2版，屈婉玲，耿素云，张立昂，高等教育出版社
学习视频
bilibili网站：【北大】离散数学-03数理逻辑

以下笔记针对视频而作
教材：

1. 《离散数学教程》耿素云，屈婉玲，王捍贫，北京大学出版社
2. 《数理逻辑——离散数学第一分册》王捍贫，北京大学出版社

参考书

1. 《离散数学习题解析》耿素云，屈婉玲，王捍贫 北京大学出版社 2008年
2. 《面向计算机科学的数理逻辑》陆钟万 北京大学出版社 1989（第二版 科学出版社 1998）
3. 《计算机科学中的逻辑学》王元元 科学出版社 1989
4. 《数理逻辑》（原名：logic for Mathematicians; 【为数学家写的数理逻辑】）哈密尔顿，朱水林译 华东师大出版社 1986
5. 《A Mathematical Introduction to Logic(2ed Edition)》H. B. Enderton 2001

逻辑数理的参考书非常多，挑数的时候不要挑选冠名是“离散数学的逻辑数理”的参考书（北京大学这本除外），这样的书大多比较浅显，逻辑容易混淆；尽量挑以“数理逻辑命”名的书籍。

什么是数理逻辑

• 字面含义：数学理论的逻辑。逻辑是研究演绎（推理）规律的学科。
• 广义理解：用数学方法研究演绎规律的学科。
• 狭义理解：用数学方法研究数学中演绎规律和数学基础的学科。
• 研究对象：推理过程的正确性标准。
  是数学的一个分支，又称符号逻辑等。