吴楠教授的离散数学第一讲：绪论与命题逻辑

"吴楠教授的离散数学课程第一讲涵盖了绪论和命题逻辑初步，强调了课程安排、答疑方式、考核标准以及推荐的教科书和参考阅读材料。" 离散数学是计算机科学中的基础学科，它研究的是不连续或离散的对象。这门课程由南京大学计算机科学与技术系的吴楠教授讲授，旨在帮助学生理解并掌握离散结构的基本概念和理论。第一讲主要介绍了课程的概述和命题逻辑的基本内容。 课程的安排包括每周固定的讲座时间和助教答疑时间，助教答疑设在周三晚上，同时提供了多种方式的在线答疑支持。考核方式多元化，包括平时测验、期末考试、平时作业和程序设计，各项成绩根据具体标准换算成最终分数。 在成绩判定方面，作业成绩有明确的分级标准，对于抄袭或未提交的情况也有相应的处理办法。两次测验分别针对不同的主题，均采取闭卷笔试形式。 吴楠教授推荐了几本教材和参考书，包括中文书籍如曲婉玲、耿素云和张立昂的《离散数学》，耿素云的《集合论与图论》和屈婉玲的《代数结构与组合数学》；以及英文书籍如Kolman等人的《离散数学结构》和Ross等人的《离散数学》。 课程资料除了教科书外，还包括电子教案，这些资源将辅助学生深入理解和应用离散数学的原理。吴楠教授在课程的开头探讨了数学在人类学科中的位置，强调了数学与科学、哲学、艺术之间的紧密联系，指出科学与艺术是人类理解和表达世界不可或缺的两个方面。 通过学习离散数学，学生不仅可以掌握逻辑推理的基础，还能培养解决复杂问题的能力，这对于计算机科学的许多分支，如算法分析、数据结构、计算理论等至关重要。命题逻辑作为离散数学的基础部分，将引导学生进入这个充满挑战和智慧的领域。