数理逻辑 - basic studies in computing science.pptVIP

离散数学 计算机系 陈翌佳 联系方式 陈翌佳： yijia.chen@cs.sjtu.edu.cn basics.sjtu.edu.cn/~chen 教材和辅导书 1、教材： 数理逻辑与集合论（第二版）：石纯一，等 图论与代数结构：戴一奇，等，清华大学出版社。 2、辅导书（数理逻辑部分）： 集论与逻辑：沈恩绍，科学出版社。 A Mathematical Introduction to Logic, H.Enderton, Academic Press Logic for Applications, A. Nerode, Springer Mathematical Logic, H.-D.Ebbinghaus and J. Flum, Springer 课程说明 讲授内容： 数理逻辑 集合论 图论 数理逻辑与计算机科学 1946年，德国数学家Von Neumann提出计算机模型 计算机模型根植于数理逻辑、图林机与布尔代数。 图灵机：数字电子计算机的抽象雏形 布尔代数：设计数字电子计算机的数学工具 数理逻辑与计算机科学 计算机科学的核心算法 程序设计语言 程序设计方法学 计算复杂性理论 均涉及到数理逻辑的知识和理论 什么是数理逻辑？ 逻辑：是对人类推理过程的研究。 数理逻辑：是用数学的方法对人类推理过程作研究。 数学研究方法：使用符号 数理逻