《数理逻辑》离散数学3-数理逻辑-引言.ppt

数理逻辑 离散数学三 * 引 言 课程简介 课程情况：时间、地点、要求、教材、进度 简史 学习安排 教学要求 教学安排 教学资源 时间与地点 星期一 ：3、4节(10:10—12:00) 星期三(双)：1、2节(8:00—9:50） 理教302 教员 主讲：王捍贫 whpxhy@ 助教：? ? 理科楼1708 教材 耿素云、屈婉玲、王捍贫，离散数学教程，北京大学出版社，2002年，2004年修订 耿素云，屈婉玲，王捍贫，刘田，离散数学习题解析，北京大学出版社，2008年 参考书 陆钟万，面向计算机科学的数理逻辑，北京大学出版社，1989( 第二版，科学出版社，1998） 王元元，计算机科学中的逻辑学，科学出版社，1989 哈密尔顿，数理逻辑，朱水林译，华东师大出版社，1986 (Hamilton，Logic for Mathematicians, Cambridge University, 1978) 5. H. B.Enderton, A Mathematical Introduction to Logic (2ed Edition), Elsevier Press, 2001 什么是数理逻辑 字面含义：数学理论的逻辑。逻辑是研究演绎（推理）规律的学科。 广义理解：用数学方法研究演绎规律的学科。 狭义理解：用数学方法研究数学中演绎规律和数学基础的学科。 研究对象：推理过程的正确性标准。 是数学的一个分支。又称符号逻辑等。 简史——三个阶段（一） 初始阶段：将数学应用于逻辑 1660年代 — 19世纪末 Aristotle：形式逻辑（主词和谓词逻辑） Leibniz：建立直观而又精确的思维演算。 遇有争论，双方可以拿起笔来说：让我们来算一下。 George Boole: 逻辑代数。 De Morgan: 关系逻辑。 [1] 王宪钧，数理逻辑引论，北京大学出版社，1982 简史——三个阶段（二） 2. 过度阶段：逻辑应用于数学 19世纪末 — 1940前后 非欧几何与公理化方法。 微积分与实数理论，Piano算术。 集合论与数学基础(1900年世界数学家大会) 悖论与第三次数学危机，Hilbert计划。 （第一次：勾股定理，无理数的发现） （第二次：无穷小量是不是零？） 简史——三个阶段（三） 成熟阶段：成为数学的独立分支 1930s — 1970s G?del完全性定理和不完全性定理。 四个分支： 公理集合论：大基数，连续统问题 递归论（可计算性理论）：Turing机，不可解性 模型论：实数的非标准模型 证明论：超穷归纳法, Gentzen的数论和谐性证明 特点与方法 公理化与形式化方法. 特制的符号语言. 与计算机科学的联系 计算理论：可计算性，Turing机，形式语言，自动机，计算复杂性。 程序语义与验证技术：Intel bug: 5亿美元。 程序的自动生成与转换。 布尔电路：香龙(Shanon)是第一人。 SQL: 本质上等价于一阶逻辑。 Prolog语言——以逻辑演算为基础 LISP语言——以?演算为基础 人工智能：非单调推理，缺省推理。 信息安全等 …… Dijkstra的话 我现在年纪大了，搞了这么多年软件，错误不知犯了多少，现在觉悟了，我想，假如我早年在数理逻辑上好好下点功夫的话，我就不会犯这么多错误，不少东西逻辑学家早就说了，可我不知道，要是我能年轻20岁的话，我要回去学逻辑。 [1] 钱学森，关于思维科学的研究，思维科学，第3卷，1987 [2] M. Y. Vardi, A Brief History of Logic, 2003. 要求 不得旷课、迟到和早退。 按时做、交作业。不准抄袭。 成绩评定： 平时：20~30%（作业、出勤、课堂讨论等） 期中：20% 期末：约50~60% 计划与安排 共18周，24次课，48学时。 一次测验（或加一次课堂讨论）。 课程进度：约1~0.5节/次课。 从第26章开始讲授。 具体安排 * 课程进度（26章） 引言 （2学时） 命题逻辑（24学时） 命题与联结词（2学时） 命题形式与真值表（2学时） 联结词的完全集（2学时） 推理形式（1学时） 形式系统N（5学时） 形式系统P（4学时） N与P的等价性（1学时） 赋值（1学时） 可靠性、和谐性与完备性（2学时） 测验与讲评（2学时） * 一阶谓词演算（22学时） 一阶谓词演算的符号化（2学时） 一阶语言（2学时） 形式系统NL（4