发展战略 数理逻辑发展教案.pdfVIP

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