离散数学第一讲discrete1编纂.docVIP

第一讲 引言 一?课程内容 ·数理逻辑:是计算机科学的基础,应熟练掌握将现实生活中的条件化成逻辑公式,并能做适当的推理,这对程序设计等课程是极有用处的? ·集合论:数学的基础,对于学习程序设计?数据结构?编译原理等几乎所有计算机专业课程和数学课程都很有用处?熟练掌握有关集合?函数?关系等基本概念? ·代数结构:对于抽象数据类型?形式语义的研究很有用处?培养数学思维,将以前学过的知识系统化?形式化和抽象化?熟练掌握有关代数系统的基本概念,以及群?环?域等代数结构的基本知识? ·图论:对于解决许多实际问题很有用处,对于学习数据结构?编译原理课程也很有帮助?要求掌握有关图?树的基本概念,以及如何将图论用于实际问题的解决,并培养其使用数学工具建立模型的思维方式? ·讲课时间为两个学期,第一学期讲授数理逻辑与集合论,第二学期讲授代数结构和图论?考试内容限于书中的内容和难度,但讲课内容不限于书中的内容和难度? 二?数理逻辑发展史 1. 目的 ·了解有关的背景,加深对计算机学科的全面了解,特别是理论方面的了解,而不限于将计算机看成是一门技术或工程性的学科? ·通过重要的历史事件,了解计算机科学中的一些基本思维方式和一些基本问题? 2. 数理逻辑的发展前期 ·前史时期——古典形式逻辑时期:亚里斯多德的直言三段论理论 ·初创时期——逻辑代数时期(17世纪末) ·资本主义生产力大发