《离散数学》课程教学（自学）基本要求.docVIP

《离散数学》课程教学（自学）基本要求 适用层次 所有层次 适应专业 经管、人文和外语各专业 使用学期 2008秋 自学学时 80 面授学时 实验学时 40 使用教材 教材名称 《离散数学》 编 者 左孝凌 出 版 社 上海科学技术文献出版社 参考教材 《离散数学 理论.分析.题解》 左孝凌等 上海科学技术文献出版社 课程简介 离散数学是现代数学的一个重要分支，也是是计算机科学与技术的理论基础，所以又称为计算机数学。通过本课程的学习，一方面为该专业学生学习计算机应用能力提供必要的理论基础；另一方面培养和提高学生的抽象思维和逻辑推理能力，为今后学习和工作，打下坚实的数学基础。 各章节主要学习内容及要求（上交作业附后） 第一章命题逻辑 学时要求 12学时 主要内容 一、核心知识点 命题及表示，常用联结词，命题公式与翻译，真值表与等价公式，重言式与蕴涵式性质与判定，其他联结词，对偶与范式，推理理论。 二、教学基本要求 【】【】【】 备 注 第二章谓词逻辑 学时要求 10学时 主要内容 一、核心知识点 谓词的概念与表示，命题函数与量词，谓词公式与翻译，变元的约束，谓词演算的等价式与蕴含式，前束范式，谓词演算的推理理论。 二、教学基本要求 【】【】【】 备 注 第三章集合与关系 学时要求 16学时 主要内容 一、核心知识点 集合的概念与表示及集合的运算，关系的概念与表示及关系的性质，关系的运算，集合的划分和覆盖，几种特殊的关系及其性质。 二、教学基本要求 【】【】【】 备 注 第四章函数 学时要求 18学时 主要内容 一、核心知识点 函数的概念，逆函数和复合函数，基数的概念，可数集与不可数集，基数的比较。 二、教学基本要求 【】【】【】 备 注 第五章代数结构 学时要求 16学时 主要内容 一、核心知识点 代数系统的概念，运算及性质，半群概念及性质，群与子群概念、性质及判定，阿贝尔群和循环群，陪集与拉格朗日定理，同态与同构，环与域。 二、教学基本要求 【】【】【】 备 注 第六章格与布尔代数 学时要求 10学时 主要内容 一、核心知识点 格的概念，分配格与有补格，布尔代数及布尔表达式。 二、教学基本要求 【】【】【】 备 注 第七章图论 学时要求 18学时 主要内容 一、核心知识点 图的基本概念及图的性质，图的矩阵表示，欧拉图与汉密尔顿图，平面图性质、判定及应用，树与生成树，根树及其应用。 二、教学基本要求 【】【】【】 备 注 编者：钟敏 上交作业: 试把原子命题表示为P、Q、R等，然后用符号译出下列各句子。 1)或者你没有写信给我，或者它在途中丢失了。 2)如果张三和李四都不去，他就去。 3)我们不能既划船又跑步 4)如果你来了，那末他唱不唱歌将看你是否伴奏而定。 2．用符号形式写出下列命题。 1)假如上午不下雨，我去看电影，否则就在家里读书或看报。 2)我今天进城，除非下雨。 3)仅当你走我将留下。 3. 证明下列等价式。 1） 2) 3) 4．求下列各式的主析取范式及主合取范式，并指出下列各式哪些是重言式。 1） 2） 3） 找出以下十二个句子所对应的谓词表达式。 所有的教练员是运动员。（） 有些运动员是大学生。（） 某些教练是年老的，但是健壮的。（） 金教练既不老但也不是健壮的。（j） 不是所有运动员都是教练。 某些大学生运动员是国家选手。（） 没有一个国家选手不是健壮的。 所有老的国家选手都是运动员。 没有一位女同志既是国家选手又是家庭妇女。（） 10）有些女同志既是运动员又是国家选手。 11）所有的运动员都钦佩某些教练。（） 12）有些大学生不钦佩运动员。 6．对以下各公式赋值后求真值： 1） 2） 7．求证： 8．用CP规则证明 9．符号化下列命题并推证其结论。 1）所有有理数是实数，某些有理数是整数，因此某些实数是整数。 2）任何人如果他喜欢步行，他就不喜欢乘汽车，每一个人或者喜欢乘汽车或者喜欢骑自行车。有的人不爱骑自行车，因此有的人不爱步行。 对任意集合A、B、C，确定下列各命题是否为真，并证明之。 如果及，则 如果及，则 如果及，则 如果及，则 如果及，则 如果及，则 11．，可能是真的吗？予以说明。 12．确定下列集合的幂集。 1）； 2）； 3）； 13．证明对所有集合A、B和C，有 iff 14．1）已知，是否必须B=C？ 2）已知，是否必须B=C？ 3）已知，是否必须B=C？ 15．如果关系R和S是自反的，对称的和可传递的，证明亦是自反、对称和可传递的。 16．设R是集合X上的一个自反关系。求证：R是对称和传递的，当且仅当和在R之中则