数理逻辑课程教学大纲.docVIP

数理逻辑课程教学大纲 Course Outline 课程基本信息（Course Information） 课程代码 （Course Code） CS301 *学时 （Credit Hours） 48 *学分 （Credits） 3 *课程名称 （Course Title） 数理逻辑 Mathematical Logic *课程性质 （Course Type） 基础选修课 授课对象 （Target Audience） ACM班大二大三 *授课语言 (Language of Instruction) 中文 *开课院系 （School） 计算机系 先修课程 （Prerequisite） 无 授课教师 （Instructor） 陈翌佳 课程网址 (Course Webpage) /~chen *课程简介（Description） 作为数学的一个分支，数理逻辑研究各种数学化形式系统，包括它们表达能力、推理方法及其局限性。虽然这门学科的源头是关于数学基础的问题，但数理逻辑目前在计算机科学中有着广泛的应用，例如数据库理论、形式化方法和人工智能。本课程以最重要的形式系统--一阶逻辑为中心，讲授它的语法、语义和推理系统。同时我们引入可计算性的概念。然后在这些基础之上介绍一阶逻辑的完备性和哥德尔第一第二不完备性定理，以及一些模型论的初步结果。通过这门课程的教学，我们希望学生掌握数理逻辑研究的核心问题、基本方法以及一阶逻辑的表达能力。这些知识能训练学生的形式化思考能力，掌握如何将问题在形式系统内严格表述，也了解形式系统能力和局限性。这为学生在后续的计算机理论课程学习打下坚实基础。 *课程简介（Description） As a branch of mathematics, mathematical logic studies various formal systems, including their expressive power, deduction methods, and their limitations. Although it originated from questions concerning the foundation of mathematics, mathematical logic has found numerous applications in computer science, e.g., database theory, formal methods, and artificial intelligence. This course centers on the most important formal system – first-order logic, covering its syntax, semantics, and deduction system. At the same time, we will introduce the notion of computability. Based on these, we will explain the completeness of first-order logic, and Goedel’s first and second incompleteness theorems, together with some preliminary results in model theory. Through this course, students will learn how to think formally, in particular, express problems in a formal system, and also understand the power and limitation of formal systems. This will prepare students for further study in theoretical computer science. 课程教学大纲（course syllabus） *学习目标(Learning Outcomes) 1．一阶逻辑的语法和语义 2．一阶逻辑的推理系统 – sequent calculus 3．一阶逻辑的完备性定理 4．紧致性定理和LST定理 5. 可计算性 6. 哥德尔第一第二不完备性定理 *教学内容、进度安排及要求 (Class Schedule Requirements) 教学内容 学时 教学方式 作业及要求 基本要求 考查方式 一阶逻辑的语法 3 课堂讲授 课本习题 掌握一阶逻辑项与公式的定义 习题与课堂提问 一阶逻辑的语义 6 课堂讲授 课本习题