《数字逻辑与数字系统》课程简介课程类别：学科基础课程课程编码：1151722015304课程英文名：DigitalLogicandDigitalSystem预修课程：无总学时数：54学时实践学时：18学时（课外）建议修读学期：第二学期内容提要本课程为软件工程专业学科基础课程。学分3学分，共54学时，实践学时18学时。课程在第2学期开设。通过本课程的学习，应使学生获得数字电子技术方面的基本理论基本知识和基本技能，培养学生分析问题和解决问题的能力，为今后深入学习嵌入式系统某些领域中的内容，促进对学生逻辑思维能力、解决实际问题能力和创新能力的培养，为深入学习后续课程打下良好的基础。通过本课程的学习使学生掌握数字电路的基本知识、基本理论以及分析和设计数字电路的一般方法。熟悉数制和编码、逻辑代数及其应用、卡诺图等的基本理论和方法。掌握逻辑部件的基本分析和设计方法，具体包括逻辑门的电路结构、基本工作原理和开关特性，组合逻辑电路的逻辑功能和电路结构特点及分析和设计方法。掌握数字系统中逻辑电路的基本分析方法和设计方法，触发器的电路结构和工作原理及触发动作特点和逻辑功能的特点，同步时序逻辑电路分析和设计，异步时序逻辑电路分析和设计等，评价方式：总成续=平时成绩×10%+实验×10%+期中成续×20%+期末成续×60%1.平时成绩包括作业，实验成绩、课后作业和出勤考核共10分；2.实验课程10分（以实验报告形式给出）；3.期中考试成绩占20分4.期末成绩占60分，闭卷考试，试题以基础知识、分析题与方案设计题为主学习资源（一）主要参考书目[1] 阎石数字电子技术基本教程清华大学出版社，2011年.※[2]阎石数字电子技术（第五版）清华大学出版社，2013年6
6 《数字逻辑与数字系统》课程简介 课程类别：学科基础课程 课程编码：1151722015304 课程英文名：Digital Logic and Digital System 预修课程：无 总学时数：54 学时 实践学时：18 学时(课外) 建议修读学期：第二学期 内容提要 本课程为软件工程专业学科基础课程。学分 3 学分，共 54 学时，实践学时 18 学时。 课程在第 2 学期开设。通过本课程的学习，应使学生获得数字电子技术方面的基本理论、 基本知识和基本技能，培养学生分析问题和解决问题的能力，为今后深入学习嵌入式系 统某些领域中的内容，促进对学生逻辑思维能力、解决实际问题能力和创新能力的培养， 为深入学习后续课程打下良好的基础。 通过本课程的学习使学生掌握数字电路的基本知识、基本理论以及分析和设计数字 电路的一般方法。熟悉数制和编码、逻辑代数及其应用、卡诺图等的基本理论和方法。 掌握逻辑部件的基本分析和设计方法，具体包括逻辑门的电路结构、基本工作原理和开 关特性，组合逻辑电路的逻辑功能和电路结构特点及分析和设计方法。掌握数字系统中 逻辑电路的基本分析方法和设计方法，触发器的电路结构和工作原理及触发动作特点和 逻辑功能的特点，同步时序逻辑电路分析和设计，异步时序逻辑电路分析和设计等。 评价方式： 总成绩=平时成绩×10%+实验×10%+期中成绩×20%+期末成绩×60% 1. 平时成绩包括作业,实验成绩、课后作业和出勤考核共 10 分； 2. 实验课程 10 分（以实验报告形式给出）； 3. 期中考试成绩占 20 分 4. 期末成绩占 60 分，闭卷考试，试题以基础知识、分析题与方案设计 题为主 学习资源 （一）主要参考书目 [1] 阎石 数字电子技术基本教程 清华大学出版社，2011 年.※ [2] 阎石 数字电子技术（第五版） 清华大学出版社，2013 年
[3]康光华电子技术基础数字部分（第六版）高等教育出版社，2014年（二）其它学习资源[1]第一视频网http://video.1kejian.com/university/electron/24059/数字电子技术基础教程[2]中国M00C大学http://www.icourse163.org/course/nudt-206001#/info国防科技大学MOOC7
7 [3] 康光华 电子技术基础数字部分（第六版） 高等教育出版社，2014 年 （二）其它学习资源 [1] 第一视频网 http://video.1kejian.com/university/electron/24059/数字电 子技术基础教程 [2]中国 MOOC 大学 http://www.icourse163.org/course/nudt-206001#/info 国防 科技大学 MOOC
《离散数学》课程简介课程类别：学科基础课程课程编码：1151722011305课程英文名：DiscreteMathematics预修课程：《线性代数》总学时数：72实践学时：0建议修读学期：第二学期内容提要：离散数学是计算机科学与技术一级学科的核心课程，是整个计算机学科的专业基础课。离散数学在教给学生离散问题建模、数学理论、计算机求解方法和技术知识的同时，培养学生的数学抽象能力与严密的逻辑推理能力。通过本课程的学习，使学生掌握进了一步学习其它课程所必需的离散数学知识，并增强学生使用离散数学知识分析问题与解决实际问题的能力。本课程主要内容为第一章介绍集合论基础知识，包括映射、关系、基数等知识。第三章属于数理逻辑部分，主要介绍经典命题逻辑和谓词逻辑的基础知识。第四章介绍图论与网络方面的基本知识，包括图与网络的数据结构，有向图与Euler路。第六章是抽象代数的群、环和域的基本内容，包括代数系统，半群与群，群的同构与同态，环的性质。第七章介绍格论和布尔代数方面的基础知识，包括半序格与代数格，格的性质，格的同态与同构，有界格，有余格，分配格，模格，布尔代数的性质，有限布尔代数的表示理论，布尔代数的同态与同构。考核方式：闭卷，总成绩=平时成绩×20%+期末成绩×80%学习资源：主要参考书目[1］傅彦，顾小丰，离散数学及其应用，电子工业出版社，1997。[2］耿素云，集合论与图论，北京大学出版社，1998。[3］胡冠章，应用近世代数，清华大学出版社，1999年。[4]RichardJohnsonbaugh,DiscreteMathematics,Prentice HallInc.,2000.[5]KennethH. Rosen.DiscreteMathematics and ItsApplications(4th edition),8
8 《离散数学》课程简介 课程类别：学科基础课程 课程编码：1151722011305 课程英文名： Discrete Mathematics 预修课程：《线性代数》 总学时数： 72 实践学时：0 建议修读学期：第二学期 内容提要： 离散数学是计算机科学与技术一级学科的核心课程，是整个计算机学科的专业基础 课。离散数学在教给学生离散问题建模、数学理论、计算机求解方法和技术知识的同时， 培养学生的数学抽象能力与严密的逻辑推理能力。通过本课程的学习，使学生掌握进了 一步学习其它课程所必需的离散数学知识，并增强学生使用离散数学知识分析问题与解 决实际问题的能力。本课程主要内容为 第一章介绍集合论基础知识，包括映射、关系、基数等知识。 第三章属于数理逻辑部分，主要介绍经典命题逻辑和谓词逻辑的基础知识。 第四章介绍图论与网络方面的基本知识，包括图与网络的数据结构，有向图与 Euler 路。 第六章是抽象代数的群、环和域的基本内容，包括代数系统，半群与群，群的同构 与同态，环的性质。 第七章介绍格论和布尔代数方面的基础知识，包括半序格与代数格，格的性质，格 的同态与同构，有界格，有余格，分配格，模格，布尔代数的性质，有限布尔代数的表 示理论，布尔代数的同态与同构。 考核方式： 闭卷，总成绩=平时成绩×20%+期末成绩×80% 学习资源: 主要参考书目 [1] 傅彦，顾小丰, 离散数学及其应用，电子工业出版社，1997。 [2] 耿素云, 集合论与图论，北京大学出版社，1998。 [3] 胡冠章，应用近世代数，清华大学出版社，1999 年。 [4] Richard Johnsonbaugh, Discrete Mathematics, Prentice Hall Inc., 2000. [5] Kenneth H. Rosen. Discrete Mathematics and Its Applications(4th edition)
McGraw-Hi11HigherEducation（4thedition），1998.（袁崇义，屈婉玲，王捍贫，刘田译：离散数学及其应用，机械工业出版社，2002）[6] B. Kolman, Robert C.Busby, Cutler Sharon Ross,Discrete MathematicalStructures,PrenticeHallInc.,2001.[7］李盘林，李丽双，李洋，王春立，离散数学，高等教育出版社，1999。[8]闵嗣鹤，严士健，初等数论（第二版），人民教育出版社，1983[9]L.A.Steen, Mathematics Today---Twelve Informal Essays, Springer-Verlag,NewYork,Heidelberg,Berlin,1978[iojD.F.Stante,D.F.Mcallister,DiscreteMathematics inComputerScience,Prentice Hall Inc.,1977.[11]檀凤琴，何自强，离散数学，科学出版社，1999。[12]王宪钧，数理逻辑引论，北京大学出版社，1997。[13]王湘浩，管纪文，刘叙华，离散数学，高等教育出版社，1983。[14]王元元，李尚奋，离散数学，科学出版社，1994。[15]吴品三．近世代数．人民教育出版社，1979。[16]邓辉文：离散数学，清华大学出版社，2010。[17]徐诚浩，古典数学难题与伽罗瓦理论，复旦大学出版社，1986。[18]左孝凌，离散数学，上海科技文献出版社，1982。9
9 McGraw-Hill Higher Education(4th edition), 1998. (袁崇义，屈婉玲，王捍 贫，刘田译: 离散数学及其应用，机械工业出版社，2002) [6] B. Kolman, Robert C. Busby, Cutler Sharon Ross, Discrete Mathematical Structures，Prentice Hall Inc., 2001. [7] 李盘林，李丽双，李洋，王春立，离散数学，高等教育出版社，1999。 [8]闵嗣鹤，严士健，初等数论（第二版），人民教育出版社，1983. [9]L.A. Steen, Mathematics Today-Twelve Informal Essays, Springer-Verlag, New York, Heidelberg, Berlin, 1978. [10]D. F. Stante, D. F. Mcallister, Discrete Mathematics in Computer Science, Prentice Hall Inc., 1977. [11]檀凤琴，何自强, 离散数学, 科学出版社，1999。 [12]王宪钧，数理逻辑引论，北京大学出版社，1997。 [13]王湘浩，管纪文，刘叙华, 离散数学，高等教育出版社，1983。 [14]王元元，李尚奋, 离散数学，科学出版社，1994。 [15]吴品三. 近世代数. 人民教育出版社, 1979。 [16]邓辉文. 离散数学，清华大学出版社，2010。 [17]徐诚浩, 古典数学难题与伽罗瓦理论, 复旦大学出版社, 1986。 [18]左孝凌，离散数学，上海科技文献出版社，1982
《概率论与数理统计》课程简介课程类别：学科基础课程课程编码：1151722011306课程英文名：ProbabilityandStatistics预修课程：《线性代数》总学时数：54实践学时：18建议修读学期：第三学期内容提要：本课程为软件工程专业的学科基础课，3学分，共54学时。其中18学时为实践学时，课程于第3学期开设，其先修课程是通识教育必修课《高等数学》，专业基础课《线性代数》。学生通过本课程的学习，能够系统地获取概率与数理统计的基础知识，重点掌握概率与数理统计的基本概念、基本理论和基本方法.通过本课程的系统教学，特别是讲授如何提出新问题、如何思考和分析问题、解决问题，逐渐培养学生的数学思想和数学方法，培养学生用概率与数理统计的数学思想分析问题和解决实际问题的能力。评价方式：总成绩=平时成绩（30%）+期末考试（70%）（一）平时成绩（教师评价+学生自评）作业占15%，课堂作业占10%，出勤考核点5%（二）期末考试（教师评价）：占70分，以闭卷方式进行，试题以计算题与应用题为主。学习资源：主要参考书目教材何书元：《概率论与数理统计教程》，高等教育出版社，2013年版。扩充阅读材料：1.魏宗舒等编：《概率论与数理统计教程》，高等教育出版社，1997年版。2.李贤平编著：《概率论基础》（第二版），高等教育出版社，1997年版。3.盛骤、谢式千、潘承毅编：《概率论与数理统计》，高等教育出版社，1997年版。4.陈家鼎孙山泽李东风编著：《数理统计学讲义》，高等教育出版社年版。5.V.K.Rohatgi著:《AnIntroductiontoProbabilityTheoryandMathematicalStatistics》，JohnWiley&SonsPress,2001年版。10
10 《概率论与数理统计》课程简介 课程类别：学科基础课程 课程编码：1151722011306 课程英文名：Probability and Statistics 预修课程：《线性代数》 总学时数：54 实践学时：18 建议修读学期：第三学期 内容提要： 本课程为软件工程专业的学科基础课，3 学分，共 54 学时。其中 18 学时为实践学时， 课程于第 3 学期开设，其先修课程是通识教育必修课《高等数学》，专业基础课《线性代数》。 学生通过本课程的学习，能够系统地获取概率与数理统计的基础知识，重点掌握概率与数理 统计的基本概念、基本理论和基本方法. 通过本课程的系统教学，特别是讲授如何提出新问 题、如何思考和分析问题、解决问题，逐渐培养学生的数学思想和数学方法，培养学生用概 率与数理统计的数学思想分析问题和解决实际问题的能力。 评价方式： 总成绩=平时成绩（30%）+期末考试（70%） （一）平时成绩（教师评价+学生自评） 作业占 15%，课堂作业占 10%，出勤考核点 5% （二）期末考试(教师评价)：占 70 分，以闭卷方式进行，试题以计算题与应用题为主。 学习资源: 主要参考书目 教材 何书元: 《概率论与数理统计教程》，高等教育出版社，2013 年版。 扩充阅读材料： 1．魏宗舒等编：《概率论与数理统计教程》，高等教育出版社，1997 年版。 2．李贤平编著：《概率论基础》（第二版），高等教育出版社，1997 年版。 3．盛骤、谢式千、潘承毅编：《概率论与数理统计》，高等教育出版社，1997 年版。 4．陈家鼎 孙山泽 李东风 编著：《数理统计学讲义》，高等教育出版社年版。 5. V.K. Rohatgi 著：《An Introduction to Probability Theory and Mathematical Statistics》，John Wiley & Sons Press, 2001 年版