DiscMathCalendar.docVIP

离散数学一 教 学 日 历 （2010-2011学年度秋季学期适用） 周次 上课日期 章 节 主要教学内容（注：*表示非基本要求的内容） 作业（参见注1#） (标*号为附加题) 1 9月13日 概述，第1章 1.1~1.5 绪论，离散数学与数理逻辑学科概述，研究内容与发展概况， 命题概念，命题联结词与真值表，合式公式重言式，命题形式化 习题一1, 2, 3, 4, 5, 6 [按#原则选] 2 9月20日 第1章1.6 第2章 2.1 ~2.4 波兰表达式*, 悖论简介*, 其它联结词, 等值定理,基本等值公式， 命题公式与真值表的关系, 联结词的完备集，对偶式*， 习题二1[选3], 2, 3, 4* 3 9月27日 第2章 2.5~ 2.10 范式概念，析取范式，合取范式，主范式， 基本推理公式，推理演算与推理规则, 归结推理法，应用举例 习题二5[选3], 6[选2], 7[选4], 8[选2], 9, 10, 12[选2], 11* 5 10月11日 第3章 3.1 ~ 3.6 命题逻辑的公理化，公理系统的结构， 命题逻辑的公理系统，公理系统的完备性*，非标准逻辑简介* 习题三1[(1)(2)或(3)(4)], 2[1]*，3[选1]* 6 10月18日 第4章 4.1 ~ 4.6 谓词逻辑的基本概念，谓词和个体词，函数和量词，合式公式* 自然语句的形式化，有限域下公式的表示法， 公式的普遍有效性和判定问题* 习题四5[偶数+(5)] , 6[选3], 7[(3)(4)(5)或选3], 8[全], 9, 10[选3], 7 10月25日 第5章 5.1 ~ 5.3 谓词逻辑等值和推理演算，否定型等值式，量词分配等值式 范式，前束范式，SKOLEM标准型 习题五1[选3], 2[选3], 3[选3] 8 11月1日 第5章 5.4 ~ 5.6 基本的推理公式及其证明方法，推理演算与推理规则， 谓词逻辑的归结推理法，谓词逻辑应用举例 习题五4[(1), (4), (9), (10)] 5[(1), (4)] 9 11月8日 第9章 9.1~9.4 集合的概念和基本表示法，集合间的关系和特殊集合， 集合的运算，集合的图形表示法, 集合运算性质和证明 习题九1[(4)], 2[(4)], 3, 4 6~11[按#原则选], 12[奇] 10 11月15日 第9章 9.5 ~ 9.7 幂集性质，传递集合, 包含排斥原理, 有限集合的基数， 集合论公理系统简介，无穷公理自然数集合 习题九13[选1], 14~16, 17-19奇17-19[选2], 26 ~28, 33* 11 11月22日 第10章 10.1 ~10.4 关系的基本概念，二元关系与特殊关系，关系矩阵和关系图， 关系的逆、合成、限制和象*，关系的基本性质 习题十1~6, 7[奇]，10 12 11月29日 第10章 10.4 ~ 10.6 关系基本性质的几个结论，关系的闭包，关系的合成， 闭包的性质及其构造方法，等价关系的概念 习题十13~16, 17[(1)], 18[选2],19, 20, 22, 24, 27* 13 12月6日 第10章 10.6 ~ 10.8 划分与等价关系，相容关系和覆盖*，偏序关系与哈斯图， 上确界和下确界*，全序关系和链 习题十28~35, 39~43, 45 14 12月13日 第11章 11.1, 11.2，11.5 函数，任意集合上的函数定义，特殊函数，满射单射与双射 选择公理*，函数的合成与函数的逆* 习题十一1~4, 6~10 15 12月20日 第12章 12.1~12.7 实数集合与集合的基数，集合的等势，有限集合与无限集合 的基数，可数集合与连续统假设 习题十二 2, 4, 7, 10 16 12月27日 其它章选讲 内容可能穿插在前面周次中，习题课内容也将灵活安排 17-18 1.3 - 1.16 考试 (具体时间待定) 注： # 习题中若某大题包含4-7道小题，可任选其中的约半数题目，如奇数或偶数号小题或任选一半。若包含8道小题以上，则可选做其中的1/3。标*为附加题，不做基本要求，可以不做。 第3周以及后面的偶数周（6,8,10,12,14,16）周一上课时交齐前两周的作业，并取回上次的作业。 以上教学日历仅是初步的安排，教学中将根据实际情况进行相应的删减和调整，并增加部分补充内容。 作业进度以实际教学进度为准，教学进度延后时课程尚未讲到的作业不必完成。 离散数学一 学 习 参 考 课程名称 离散数学一 英文名称 Discrete Mathematics 1 （Mathematical Logi