1、数理逻辑Mathematical Logic 王书元 讲师e-mail: wsy_生物数学教研室（外语学馆 411）绪 论课程之间的联系离散数学 是计算机科学的核心基础课程，它以 离散量 为研究对象；而 数学分析 （微积分）以 连续函数 为主要研究对象，属于连续型数学。离散数学 在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学的理论、方法直接为 数据结构 、 操作系统、编译原理、人工智能、程序设计 等课程服务。课程之间的联系离散数学数理逻辑集合论图论代数结构组合数学课程之间的联系什么是数理逻辑？逻辑 通常指人们思考问题，从某些 已知条件 出发推出 合理的结论 的规律。逻辑学
2、 是一门研究 思维形式 及 思维规律 的科学。以 推理形式 为主要研究对象。现代的逻辑学与数学有非常密切的关系。逻辑学现代逻辑 古典逻辑传统逻辑数理逻辑什么是数理逻辑？传统逻辑的局限：1. 讨论范围限于 主宾式语句 ，即 “S是 P”式的语句。2. 对 量词的研究非常有限 ，只能得出量词的一些次要性质。3. 表达形式停留在自然语言上， 没有专门的逻辑符号 来处理各类思维形式，所以 不够精确 。什么是数理逻辑？数理逻辑就是采用 数学的方法 来研究 思维形式 的逻辑结构及其规律的一门科学。所谓数学的方法就是用一套 符号 （即人工符号语言）的方法。什么是数理逻辑？数理逻辑与传统逻辑的区别：1. 使用 一整套符号语言 ，从而简化了推理形式。2. 借助人工符号语言，使整个 推理形式化 。3. 具有 系统性 。什么是数理逻辑？
