《离散数学教程》屈版 1.1 课程简介

这是一门什么样的课程？

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

谁需要/可以学这门课程？

• 这是一门面向非计算机软件专业本科生的计算机学习基础课；
• 如果你的专业涉及到不少计算机类课程；
• 如果你是IT从业人士，希望巩固和深入一下信息技术理论基础。
• 那么本课程适合你。

课程的内容？

• 数理逻辑：把啰嗦的推理过程写成简洁的公式，是严肃学术论文的宝贝要素。
• 集合论：自然数是怎么来的？数学归纳法为什么那么神奇？将来在数据库课程里还会看到它。
• 图论：数据结构与算法里学到的东西，源头在此。
• 抽象代数：总觉得乘法和加法有点儿像，为什么？这里有答案。
• 形式语言与自动机：计算机的本质？机器的能力有极限么？人类的知识有边界么？

课程的难度和深度怎么样？

• 本课程目标重点在于基本概念的理解和掌握
• 不涉及太多的数学证明二号解题技巧
• 培养采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
• 也能帮助你理解和欣赏想《I，Robot》、《Matrix》这样的科幻作品！