机构名称：
¥ 6.0
课程成果 成功完成本课程后，学生将能够 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 出版。
课程大纲
主要关键词
相关文件推荐
