南京大学计算机软件研究所课程网站

“工欲善其事，必先利其器”。

程序设计语言是软件开发的主要工具，其优劣、适用与否对软件生产率与质量有很大影响。程序设计语言的研究一直是计算机科学技术领域中的主要方向之一，而专业的软件开发人员亦须了解不同语言的利弊优劣，按需选择，扬长避短。本课程讲讨论程序设计语言的基本原理、典型设施、实现技术和评估方法，冀此帮助学生加深对各种语言机制的理解，提高合理运用语言设施解决问题的能力。

A course on basic Discrete Mathematics for students majoring in Software Engineering. 

离散数学（Discrete Mathematics）集成了数学中的多个不同分支，它主要研究离散对象的数学结构。离散数学是计算机科学与技术的基础。本课程在介绍数理逻辑入门知识和数学证明方法的基础上，系统地介绍集合、关系、函数、离散概率、排列组合、计数、偏序、格、布尔代数、图和树等基本的离散结构及相关的理论和应用，使学生系统地掌握相关的数学模型、基本理论及应用技术。本课程是学习计算机科学与技术专业其它核心课程必须的数学基础课程，是理解数据结构、算法设计与分析、计算模型等学科分支的必备课程，对培养学生的抽象思维、逻辑推理以及问题求解能力有重要意义。

附：瞿裕忠老师课程主页  吴楠老师课程主页