数理逻辑-重庆师范大学-数学学院.doc

课 程 教 学 大 纲 (理论课) 课 程 名 称： 数理逻辑 适 用 专 业： 数学与应用数学 课 程 类 别： 专业选修课程 制 订 时 间： 2006年9月 数学与计算机科学学院 制 《数理逻辑》课程教学大纲 （2002年制订，2006年修订） 一、课程代码：0011302003 二、课程类别：专业选修课程 三、预修课程：高等代数、数学分析 四、学　 分：3学分 五、学 时：54学时 六、课程概述： 数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。，数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。 1. 应熟练掌握有关命题逻辑和一阶谓词逻辑的基本知识，包括：命题逻辑公式联结词的含义；命题逻辑公式的真值、等值演算、范式及自然推理系统；谓词与量词的含义；一阶公式的真值、等值演算、前束范式及自然推理系统。 2. 应了解公理化方法的基本思想，基本理解命题演算形式系统的定义与构造，并能进行一些形式推理证明，进一步应初步了解形式系统的元理论，包括形式系统的和谐性、可靠性、完备性与可判定性。 3. 应了解集合论的发展史，基本理解集合论在数学分支中所起到的重要作用。掌握集合论的基本概念，包括集合的基数，集合间的关系，集合上的函数的概念与运算。 总之，本课程的教学应使得学生熟练掌握有关命题逻辑、一阶谓词逻辑及集合论的基本知识，理解并能初步运用形式化的逻辑推理和数学证明，初步了解公理化方法和形式化方法，并训练学生的数学思维方式，提高其数学解题能力。 八、学时分配表 教学内容（章） 理论学时 实验学时 习题课 其它 备注 第一章 命题逻辑的基本概念 6 1 第二章 命题逻辑的等值和推理演算 16 1 第三章 命题逻辑的公理化 6 1 第四章 谓词逻辑的基本概念 6 1 第五章 谓词逻辑的等值和推理演算 10 1 第六章 集合论概述 6 1 九、教学基本内容： 第一章 命题逻辑的基本概念 教学要求： 要求通过教学使学生掌握命题逻辑的基本概念，包括命题及其符号化；命题公式及其真值等等。 教学内容： 一、 命题及其符号化（2 学时） 基本知识点：命题的含义；命题联结词与(∧)、或(∨)、非(?)、蕴涵(→)、等价(?)及其自然语言表达；命题联结词的真值表；复合命题的真值表；自然语言命题的符号化。 教学提示： a. 此部分应重点讲解清楚命题联结词的自然表达与命题逻辑中的联结词符号之间的含义差别，特别是或(∨)的两种含义（相容或与排斥或），以及蕴涵(→)和“如果?那么?”之间的区别与联系。 b. 此部分还应提醒学生注意自然语言命题符号化的必要性，以及符号化的命题与自然语言命题之间的差别。 c. 此部分应多举例子，特别是有关自然语言命题符号化的例子，可围绕一些稍微复杂的例子让学生自己展开讨论，深入了解命题联结词及其自然语言表达之间的异同。 二、 命题公式及其真值（4 学时） 基本知识点：命题逻辑合式公式语法的归纳定义；命题变量的真值赋值函数；命题逻辑合式公式真值语义的归纳定义；命题逻辑公式的真值表；永真式、矛盾式与可满足式及其判定。 教学提示： a. 此部分的难点在于命题逻辑公式语法与真值语义的归纳定义。 b. 教师可提醒学生注意在构造命题逻辑公式真值表时应按照公式的语法结构分步构造，每次仅考虑一个联结词。 作业安排：此部分应布置一至两次至少四道题的课后习题，内容可覆盖自然语言命题的符号化、命题逻辑公式的真值表构造、命题逻辑公式的类型（永真式、矛盾式或可满足式）判定等。 第二章 命题逻辑的等值和推理演算 教学要求： 通过教学使学生掌握命题的等值演算和推理演算的主要思想和方法，以及常用的推理规则。 教学内容： 一、 基本等值式与联结词的完备集（4 学时） 基本知识点：命题逻辑公式等值的定义；基本等值式；等值演算的置换规则；命题联结词之间的等值关系；联结词完备集的定义。 可选知识点：利用等值演算求解应用问题；联结词完备集的证明 教学提示： a. 此部分的难点在于等值演算置换规则的正确使用； b. 如果教学进度许可，可举一些贴近生活的例子利用等值演算进行求解； c. 讲授联结词的完备性时可侧重讨论命题联结词之间的等值关系。 二、 命题逻辑公式的范式（4 学时） 基本知识