离散数学概论----（0）课程介绍

mooc中北京大学课程-----------离散数学概论
PPT及笔记 仅供参考学习及复习

这是一门什么样的课程？

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

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

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

课程的内容？

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

课程难度和深度怎么样？

本课程目标重点在于基本概念的理解和掌握。
不涉及太多数学证明和解题技巧
培养采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和