课程代码:　 GE6012

课程学时:　 64

学　 分:　 4

考核方式:　 考试

授课班级:　 14级软件工程、1网络工程、电子信息工程本科

先修课程:　 无

同修课程:　 无

主要教学内容:

1．命题逻辑的基本概念；2．命题逻辑等值演算；3．命题逻辑的推理理论；4．集合代数；5．二元关系；6．函数；7．图的基本概念；8．欧拉图与哈密顿图；9．树

教学目的和要求:

通过本课程的学习，使学生具有现代数学的观点和方法，并初步掌握处理离散结构所必须的描述工具和方法。同时，也要培养学生抽象思维和慎密概括的能力，使学生具有良好的开拓专业理论的素质和使用所学知识，分析和解决实际问题的能力，为学生学习计算机基础理论与专业课程打下良好的基础。
考核总体方案:

考核办法描述 考核时间 占总评成绩的比重（％） 备注
考勤 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 1-16周 10％ 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 缺勤一节课扣1％
课堂表现 　 　 　 　 　 　 　 　 　 　 　 1-16周 10％
平时作业 　 　 　 　 　 　 　 　 　 　 　 　 1-16周 40％ 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 提交5次，每次8％
期末考试 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 17周 40％

主要考核项的考核内容与要求及评分标准（占总评成绩10％以上的考核项）:
1． 考勤，按每节课40分钟计，缺勤10节课及以内，每次扣除总成绩满分的1％。
2． 课堂表现:根据平时课堂参与情况及课堂纪律遵守情况酌情给分，得分不超过总成绩满分10％。
3． 平时作业:全学期完成作业8～10次并抽查其中5次。根据作业提交及完成情况酌情给分，每次得分不超过总评成绩满分的8％。
4． 期末考试:得分不超过满分成绩的40％
学习资源:
1． 教材:离散数学（第2版），屈婉玲等编写，ISBN9787040419085，高等教育出版社，2008年3月
2． 参考书:离散数学（英文版），（美）斯坦　 等著，ISBN9787121118548，电子工业出版社，2010年10月
3． 参考书:　 离散数学，　 陈敏，罗庆云　 主编，ISBN9787811235418，北京交通大学出版社，2009年5月
4． 参考书:离散数学及其应用，王瑞胡，罗万成　 主编清华大学出版社，ISBN:9787302341581，　 2014年1月
5． 参考书:离散数学，左孝凌　 等编著，ISBN:9787805130699，上海科学技术文献出版社　 1982年9月
课程负责人:罗显松
任课教师:罗显松
答疑时间:每周三下午5-8节
办公地点:行政楼1楼
电　 　 　 　 话:86684564
E-MAIL:luoxs＠neusoft．com

任课教师:马海英
答疑时间:每周三下午5-8节
办公地点:行政楼1楼办公室
电　 　 　 　 话:86684564
E-MAIL:

任课教师:杨斌
答疑时间:每周三下午5-8节
办公地点:行政楼1楼办公室
电　 　 　 　 话:86684537
E-MAIL:bin-yang＠neusoft．com