离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。

    本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑的基本概念，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析等思想方法解决问题的能力。

本课程的目标，重点在于基本概念的理解和掌握，并不会涉及到太多的数学证明和解题的技巧。

我们主要培养采用形式化方法来分析问题，并能够自觉运用逻辑分析等思想方法来解决问题的能力。

你准备好了吗？

欢迎学习"数理逻辑"！

本课程采取百分制：

平时成绩：课堂测验和作业占20分；

期末考试：80分。

本课程面向广大理工科专业的本科生及相关IT行业从业人士，介绍计算机科学和信息技术理论基础的概念和思想方法。

先修过"集合论"课程最好，但该先修课并不是必须的，有基本数理概念也可以选修本课程。

本课教材：

• 离散数学（第2版），屈婉玲等，高等教育出版社，2015.

• 面向计算机科学的数理逻辑-系统建模与推理，机械工业出版社，2007.