2011-2012-1-10级-离散数学教学进度表.doc

山东建筑大学课程教学进度表20112012第一学期 班级：信计101-3 课程名称：离散数学A 任课教师：夏省祥周次月/日课次简述授课内容和重点、难点课外作业备注18/301Chapter 1 Propositional Logic 1-1 命题及其表示法 1-2 联结词复合命题, 连接词中P8.1, 3; 中P12. 1, 7BW412 1、2节9/121-3 命题公式与翻译1-4 真值表与等价公式真值表，等价公式中P17 1(b), 7(d)YF231 1、2节29/731-5 重言式与蕴含式中P23 2(b); p55. 1, 7，11; p60 1, 2,11BW412 1、2节9/841-6 推理理论命题逻辑的基本推理方法中P.46 2(c ), 5(c ); p66. 3, 5, 8YF231 1、2节39/135Chapter 2 Predicate Logic 2-1 谓词的概念与表示 2-2 命题函数与量词2-3变元的约束谓词、量词中P59. 1(e), (f), (g); 2(e), (g), (k); 中P65. 2(c ), 3(b); P56. 15，17,18 BW412 1、2节9/1562-4谓词演算的等价式与蕴含式 2-5 谓词演算的推理理论等价式与蕴涵式，谓词逻辑推理中P71. 1(a), (b), 2 (a) 中P79. （1） d)，（3）b）YF231 1、2节49/207Chapter 3 Counting 3-1 Permutations 3-2 Combinations 3-3 The Pigeonhole Principle颌巢原理及其应用P103. 3, 13;BW412 1、2节9/228 3-5 Recurrence Relations递推关系求解P117. 1, 3, 4, 11, 14, 20, 21YF231 1、2节59/279Chapter 4 Relations and Digraphs 4-1 Product Sets and Partitions 4-2 Relations and Digraphs关系矩阵与关系图P11. 14， 19，26； P126. 4, 15, 22, 23; P134. 3, 9, 11，15, 24, 27BW412 1、2节9/29104-3 Paths in Relations and Digraphs 复合路的矩阵表示P140. 11, 13, 15, 17 21;YF231 1、2节610/4114-4 Properties of Relations 4-5 Equivalence Relations关系的对称性、反对称性和传递性，等价关系的判定与相关等价类的求法P146. 3, 5, 7, 9, 11, 17, 20; P151. 4,7, 21BW412 1、2节10/6124-7 Operations on Relations复合关系与逆关系；自反闭包、对称闭包P167. 7, 9, 11, 17, 21, 24YF231 1、2节710/11134-8 Transitive Closure and Warshalls Algorithm 传递闭包，Warshalls AlgorithmP175. 3, 5,9, 15,22BW412 1、2节10/1314Chapter 5 Functions 5-1 Functions 5-2 Functions for Computer Science复合映射与逆映射P188. 1, 10, 11, 13, 19, 25, 27, 28,29; P197. 3, 6, 19YF231 1、2节810/18155-3 Measuring computational complexity5-4 Permutation Functions奇偶置换P204. 1, 7; P211. 3, 9, 14(a), 23, 28BW412 1、2节10/2016Chapter 6 Order Relations and Structures 6-1 Partially ordered sets偏序集及其哈斯图P226. 2, 4, 11, 13, 22, 39YF231 1、2节910/25176-2 Extremal elements of partially ordered sets极值元素的求法及性质P232. 4, 6, 13, 15, 19, 26,37BW412 1、2节10/27186-3 Lattices格的概念，分配格的判别P241. 3, 5，6, 7, 11, 13, 17,24, 28YF231 1、2节1011/1196-4 Finite Boolean algebras布尔代数的概念及性质，判别一个格是否为布尔代数P248. 1, 2，6, 10, 15, 17, 18BW412 1、2节11/3206-5 Functions on Boolean algebras布尔函数，布尔多项式的逻辑电路图P253. 2, 6, 11,15, 18YF231 1、2节1111/8216-6 Circuit designs用卡诺图化简布尔多项式P263. 1, 3, 9, 11, 12 16,21 BW412 1、2节11/1022Chapter 7 Trees 7-1 Trees树的概念，树的等价性定理P274 2, 5, 10, 11, 20, 23YF231 1、2节1211/15237-2 Labeled trees 7-3 Tree searching树的遍历，先序、中序、后序遍历P279. 2, 9; P286. 2, 3, 7, 11, 20BW412 1、2节11/17247-4 Undirected trees无向树的等价定义，生成树的求法P294. 2, 5, 9, 15YF231 1、2节1311/22257-5 Minimal spanning trees最小生成树，求最小生成树的Prim算法和Kruskal算法P300. 4, 5,9BW412 1、2节11/24267-6 Rooted trees and their applications最优树，最优树的画法(哈夫曼算法 )补充作业YF231 1、2节1411/2927Chapter 8 Topics in Graph Theory 8-1 Graphs 8-2 Euler paths and circuits欧拉路与欧拉图P310.17， 19， 21，22BW412 1、2节12/1288-2 8-3 Hamilton paths and circuits哈密顿路与哈密顿图P317. 5, 6, 9, 13; P320. 1, 3, 9YF231 1、2节1512/629Chapter 9 Semi-groups and Groups 9-1 Binary operations revisited 9-2 Semi-groups半群、独异点，同态、同构P348. 3, 6, 11, 16, 23; P355. 3, 5, 7,11, 19, 35BW412 1、2节12/8309-3 Products and quotients of semi-groups乘积半群，商半群P361. 3, 7, 13, ，23，25YF231 1、2节1612/13319-4 Groups群的运算及其性质，同态与同构P371. 5,8