西北工业大学《离散数学（第6版）》课件-第1章集合论初步.pdfVIP

离散数学 主讲：李伟刚 邮箱：liweigang@nwpu.edu.cn 电话 QQ: 1211947620 西北工业大学软件与微电子学院 2008-2018 by Li Weigang. All rights reserved. 主讲教师：李伟刚  2003年西北工业大学航空宇航制造工程专业博士毕业  2003-2005年北京用友软件公司总体技术部架构师  2005-2007年西安交大计算机科学与技术博士后  2007年5月至今西工大软件工程专业副教授  2014年-2015年德国ULM University数据库和信息系统研 究所访问学者  主持国家、省部级科研项目10余项，发表科研论文30余篇  研究兴趣：云计算平台、软件形式化方法  主持开发的软件基础平台已成功应用于50余家著名军工、 政府和企事业单位 2 考核办法 课程成绩由三部分构成 出勤及课堂表现：20% 测验及作业：20% 期末考试：60% 3 教材及资源 教材  《离散数学导论（第4/5版）》， 徐洁磐著，高等教育出版社， 2011.04/2016.12 教学参考书  《离散数学（第二版）》，屈婉 玲等编著，高等教育出版社， 2015年3月  《离散数学及其应用(原书第6 版)》，罗森著，袁崇义译，机械 工业出版社，2011年7月 4 教材及资源 学习群：744040290 （QQ） 5 课程介绍  “离散数学”是一门相对于“连续数学”而命名 的数学分支，也叫“不连续的数学”。“离散数 学”主要研究一些不连续的数学问题，是研究离 散量的结构及相互关系的学科，具有很强的抽象 性。 充分描述了计算机科学离散性的特点，是计算机 科学与技术的理论基础，所以又称为计算机数学。 6 课程介绍 离散数学的特征 离散性 以离散量为研究对象 可构造性 求解中注重过程与步骤，且步骤是有限的、 有规则的易于进行算法描述 抽象性 数值vs. 元素 运算vs. 关系 研究推理的抽象性与形式化 7 课程介绍 是计算机、软件专业本科生必