离散数学(软件)课程第14章
- 格式:pdf
- 大小:899.94 KB
- 文档页数:59
目录第一章命题逻辑 (2)第二章谓词逻辑 (9)第三章集合论习题答案 (13)第四章二元关系习题答案 (21)第五章函数习题答案 (42)第六章代数系统习题答案 (51)第七章群与环习题答案 (57)第八章格与布尔代数习题答案 (66)第九章图的基本概念及其矩阵表示 (71)第十章几种图的介绍 (82)第十一章树 (90)第一章命题逻辑1.(1)不是命题;(2)不是命题;(3)不是命题;(4)是命题;(5)是命题;2.(1)并非大连的每条街都临海;(2)2不是一个偶数或者8不是一个奇数;(3)2不是偶数并且-3不是负数;3.(1)逆命题:如果我去公园,那么天不下雨。
否命题:如果天下雨,我将不去公园。
逆否命题:如果我不去公园,那么天下雨。
(2)逆命题:如果我逗留,那么你去。
否命题:如果你不去,那么我不逗留。
逆否命题:如果我不逗留,那么你不去。
(3)逆命题:如果方程无整数解,那么n是大于2的正整数。
否命题:如果n不是大于2的正整数,那么方程有整数解。
逆否命题:如果方程有整数解,那么n不是大于2的正整数。
(4)逆命题:如果我不能完成这项任务,那么我不获得更多的帮助。
否命题:如果我获得更多的帮助,则我能完成这项任务。
逆否命题:如果我能完成这项任务,则我获得更多的帮助。
4.(1)T;(2)T;(3)T;(4)F;5.6.(1)P:他聪明;Q:他用功;命题:P∧Q。
(2)P:天气好;Q:我骑车上班;命题:Q→P。
(3)P:老李是球迷;Q:小李是球迷;命题:P∨Q。
(4)P:休息好;Q:身体好;命题:Q→P。
7.8.9.(1)(P∧Q)→R;(2)┓P;(3)(┓P∧┓Q)→┓R10.不依赖于命题变元的真值指派,而总取T(1)的命题公式,称为重言式(永真式);不依赖于命题变元的真值指派,而总取F(0)的命题公式,称为永假式(矛盾式);至少存在一组真值指派使得命题公式取值为T的命题公式称为可满足的。
本题可用真值表求解:(4)得真值表如下:1,故为重言式。
《离散数学(软件)》课程教学大纲课程编号:18084制定单位:用友软件学院制定人(执笔人):赵晓平审核人:尹爱华制定(或修订)时间:2010年8月20日江西财经大学教务处《离散数学》课程教学大纲一、课程总述二、教学时数分配三、单元教学目的、教学重难点和内容设置绪论【教学目的】使学生了解学习离散数学的目的和意义,同时掌握离散数学的学习方法。
【重点难点】怎样学习离散数学。
【教学内容】1、《离散数学》学什么;2、为什么学习《离散数学》;3、怎样学习《离散数学》。
命题逻辑的基本概念【教学目的】掌握命题的概念及其表示法,掌握五个联结词的概念及性质、真值表,理解原子命题、复合命题,掌握命题公式与翻译,掌握命题公式的生成及利用真值表对命题公式的判定,了解其它联结词。
【重点难点】重点:命题和命题公式、五个联结词的性质、真值表。
难点:命题的翻译。
【教学内容】命题与联结词命题公式及其赋值命题逻辑等值演算【教学目的】熟悉掌握常用的命题等价公式和蕴涵公式,命题公式的等价公式,重言式与蕴含式推理理论,掌握小项与大项的定义及其性质,熟练掌握求一个命题公式的主析取公式和主合取范式,了解联结词的完备集。
【重点难点】重点:命题公式的等值演算,等价公式、重言式与蕴含式的性质,命题公式的范式。
难点:求命题公式的主析取公式和主合取范式。
【教学内容】等值式析取范式与合取范式联结词的完备集命题逻辑的推理理论【教学目的】了解推理的形式结构,理解推理理论的有效结论,了解判别有效结论的方法,掌握自然推理系统,理解掌握P规则、T规则、CP规则进行命题演算的推理。
【重点难点】重点:推理的形式结构和自然推理系统。
难点:命题的推理理论和方法。
【教学内容】推理的形式结构自然推理系统P一阶逻辑基本概念【教学目的】掌握谓词与量词的概念,掌握约束变元与自由变元的概念,了解命题逻辑的知识和命题逻辑与谓词逻辑的联系与区别。
理解命题函数、复合命题函数的概念,掌握谓词公式的翻译。
离散数学课程教学大纲一、课程简介本课程是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。
离散数学主要是研究离散量的结构和相互关系,具体内容包括数理逻辑、集合论、代数系统、图论。
它综合了计算机科学中所用到的研究离散量的各个数学课题,并进行系统、全面的论述。
通过本课程的学习,使学生掌握高级科研人员或高级技术人员必备的离散数学基本理论和基本方法,同时,结合本课程的特点,可以培养学生的抽象思维和缜密的概括能力,为进一步学习专业课打好基础,并为学生今后处理离散信息,解决计算机科学各个领域中提出的有关离散量的理论问题,提高专业理论水平,为从事计算机的应用提供必要的描述工具和理论基础。
课程教学强调培养学生的独立思考能力、科学思维方法和求知创新精神。
最终使学生能够在众多的概念、定理中抽象出最重要、最根本的理论,并将这些基本的概念和定理透彻理解,自如运用,从而达到掌握离散数学的教学要求。
二、课程目标(一)课程具体目标1. 掌握计算机工程技术实践所需的离散量的数学知识:数理逻辑、集合论、图论,并能够运用于解决计算机软件工程领域的复杂工程问题;2. 掌握计算机学科基础理论,并能够用于解决复杂工程问题;3. 能够运用离散数学知识表述复杂工程问题;4. 能够运用数理逻辑和图论知识对所选模型的理论正确性进行分析和推理。
(二)课程目标与专业毕业要求的关系表1 本课程对专业毕业要求及其指标点的支撑(三)课程对解决复杂工程问题能力的培养在课程理论知识讲授环节,注重培养学生对软件工程中所涉及到的离散量的数学的深入理解,使学生掌握解决软件工程领域复杂工程问题所需的基本离散数学理论,并通过适当的课后作业锻炼和检验学生解决复杂工程问题的能力。
在课程考核环节,根据课程支撑的课程目标选择合适的考核方式,考题设置应完全覆盖课程支撑的课程目标,考题设计应充分考虑学生解决复杂工程问题所需的知识和能力,考题的难度和深度应能够体现复杂工程问题的特征。