原创力文档- 1、本文档共7页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
2012-5-3
“离散数学”课程教学大纲
英文名称：discretemathematics
课程编号：MT3047
学时：48理论学时：48
学分：3
适用对象：信息与计算科学专业，应用数学专业
先修课程：高等数学
使用教材及参考书：
1、蔡英,刘均梅.离散数学.西安:西安电子科技大学出版社，2008.
2、耿素云,屈婉玲等.离散数学.北京:清华大学出版社，2004，
3、邵学才，叶秀明.离散数学.北京:电子工业出版社，2002
一、课程性质和目的:
性质：基础理论课
目的：通过本课程的教学，使学生掌握离散数学的基本概念、基本理
论和基础知识，掌握该门课程的描述语言，培养学生相应的抽象思维
能力、逻辑推理能力和解决相关实际问题的能力，
二、课程内容简介:
离散数学是以离散量为研究对象的一门数学课程。其内容本身既
是数学的重要分支，又是信息与计算科学、计算机科学与技术的一门
基础课程。在这门课程中，讲授关系代数（集合、映射、关系）、图
论（树、图）、代数系统（群、环、域、格）、数理逻辑（命题演算与
一阶谓词演算）等四部份，目的是讨论具离散关系的研究对象的模型
表示及其代数性质。其基础理论、基本知识、方法与技能在相关科学
2012-5-3
研究与工程技术中都有广泛而深刻的应用。
三、教学基本要求:
1．掌握数理逻辑的基本概念及方法，正确对公式进行分类，求范式,
会解决推理问题.
2．掌握集合，关系及函数的基本运算及性质.
3．掌握一般代数系统和几个典型代数系统的性质.
4．掌握图论中的基本理论并能解决相关的实际问题.
四、教学内容及安排：
第一章：命题逻辑
1.掌握命题符号化的方法，正确对公式分类。
2．会求范式并掌握推理理论。
教学安排及教学方式
教学环节学时分配课后环节（请打“√”）
综合
章节数授课实验上机讨论作业自学其他
大作业
1.1-1.22√
1.3-1.42√
1.5-1.62√
第二章：一阶逻辑
1．掌握一阶逻辑的基本概念及方法。
2．能正确进行等值演算及推理
教学安排及教学方式
2012-5-3
教学环节学时分配课后环节（请打“√”）
综合
章节数授课实验上机讨论作业自学其他
大作业
2.1-2.22√
2.3-2.42√
第三章：集合的基本概念和运算
1.掌握集合的基本运算
2．会对集合的元素进行计数
教学安排及教学方式
教学环节学时分配课后环节（请打“√”）
文档评论（0）