课程目标:介绍计数基础、鸽巢原理、排列组合、二项式系数和恒等式、算法复杂性、递归关系、生成函数、容斥原理和图论基础等基本概念和构造。本课程旨在为学生提供学习电气工程高级课程所需的技能。
课程成果 成功完成本课程后,学生将能够 CO1:构建简单的数学证明并具备验证它们的能力。 CO2:通过命题和谓词逻辑的形式语言表达数学属性。 CO3:理解和分析递归定义。 CO4:使用图算法解决实际问题。 CO5:使用布尔代数的性质评估布尔函数并简化表达式。 书籍和参考文献 1. 《离散数学要素》,CL Liu、Tata McGraw-Hill 著。 2. 《组合数学导论》,RA Brualdi、Pearson 著。 3. 《面向计算机科学家和数学家的离散数学》,JL Mott、A. Kandel 和 TP Baker、Prentice Hall India 著。 4. 《图论》,F. Harary、Narosa 著。 5. 《离散数学及其应用》,T. Koshy 著,Academic Press 出版 6. 《离散数学及其应用》,KH Rosen 著,Tata McGraw-Hill 出版。 7. 《离散数学结构及其在计算机科学中的应用》,J. Tremblay 著,R. Manohar 著,Tata McGraw-Hill 出版。
2018 : Lyon 1 (Geometry), Avignon (Dynamical systems, analysis and geo- metry), IPhT (Mathematical physics), LPTHE (Mathematical physics and statistical physics), Chiba (Mathematical physics), Sobolev Insti- tute (Probability), Moscow State University (Geometry, topology and mathematical physics), Skoltech Center for Advanced Studies, Paris- Diderot (枚举和分析组合学),EPFL(概率和随机过程),LPTM Cergy-Pontoise,Polytechnique/Paris-Sud(组合),SorbonneUniversité(概率),Brown(离散数学),Umass Amherst(Umass Amherst),Umass Amherst(离散数学),Brandeis(Combinatorics),Brandeis(Combinatorics),Dart-lisatorics,Dart-nousics(Comminatorics)。
AR113 阿拉伯语沟通技巧 3 - EL112 英语沟通技巧 II 3 EL111 MT131 离散数学 4 EL111 MT132 线性代数 4 EL111 第二年
AR113阿拉伯沟通技巧3 -EL112英语沟通技巧II 3 EL111 MT131离散数学4 EL111 MT132线性代数4 EL111第二年
课程代码课程名称MCA158A分布式计算MCA170A编译器设计MCA123A预先计算机网络MCA601A离散数学MCA602A统计分析和方法