《离散数学及其应用》（Rosen）

离散数学课的目的

怎样做数学思维？--> 数学推理？

数学推理、组合分析、离散结构、算法思考以及应用和建模

1章，基础：逻辑、集合和函数

逻辑是数学推理的基础，对计算机的设计、人工智能、计算机程序设计、程序设计语言以及计算机科学的其他领域，逻辑都有实际的应用。

所有离散结构都从集合构造而来，儿集合是指一组对象。如：计数时广为应用的组合，也就是无序的对象集；表示对象间相互关联的关系，也就是有序偶的集合；图形，也就是顶点集合及连接顶点边的集合；以及用于模拟计算机的有限状态机。