数理逻辑讲义(周晓聪).pdf

第一讲 引言 一、课程内容 ·数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并 能做适当的推理，这对程序设计等课程是极有用处的。 ·集合论：数学的基础，对于学习程序设计、数据结构、编译原理等几乎所有计算机专 业课程和数学课程都很有用处。熟练掌握有关集合、函数、关系等基本概念。 ·代数结构：对于抽象数据类型、形式语义的研究很有用处。培养数学思维，将以前学 过的知识系统化、形式化和抽象化。熟练掌握有关代数系统的基本概念，以及群、环、域等 代数结构的基本知识。 ·