◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

§1图的基本概念 §2路与回路 §3图的矩阵表示 §4欧拉图和汉密尔顿图 §5平面图 §6树与生成树

第一章命题逻辑 1命题 2命题联结词 3命题变元与命题公式 4等价式 5永真蕴含式 6命题联结词总结 7范式和判定 8推论规则和证明方法

图是一类相当广泛的实际问题的数学模 型，有着极其丰富的内容，是数据结构 等课程的先修内容.学习时应掌握好图论 的基本概念、基本方法、基本算法；善 于把实际问题抽象为图论的问题，然后 用图论的方法解决问题

高等数学公式（参考资料）

一、范·德·瓦尔登：《近世代数学》 二、 群论 ：伽罗瓦“群” ，弗罗贝尼乌斯及舒尔“群表示论

上海交通大学：《数学与文化》课程PPT教学课件（讲稿，2015）4 汉译几何原本的传播与影响

上海交通大学：《数学与文化》课程PPT教学课件（讲稿）09 探索无穷

上海交通大学：《数学与文化》课程PPT教学课件（讲稿，2015）10 探索无穷

上海交通大学：《数学与文化》课程PPT教学课件（讲稿）08维尔斯与费马大定理