第1章 1-与2节-逻辑符号,集合及其运算.ppt

*;教材： 离散数学（第2版） 屈婉玲、耿素云、张立昂 主编 清华大学出版社, 2008.2 教学参考书： 离散数学习题解答与学习指导（第2版） 屈婉玲、耿素云、张立昂 主编 清华大学出版社，2008.2 ; 离散数学是现代数学的一个重要分支。是计算机科学中基础理论的核心课程，为计算机科学提供了有力的理论基础和工具。离散数学的基本思想、概念和方法广泛地渗透到计算机科学与技术发展的各个领域，而且其基本理论和研究成果更是全面而系统地影响和推动着其发展。 离散数学的内容十分丰富，最重要，最核心的是：数理逻辑、集合论、图论、组合计数理论和代数系统。 本课程将围绕这五个部分相关知识展开介绍。;数理逻辑：是用数学方法来研究推理的形式结构和推理规律的数学学科，它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。命题逻辑和一阶谓词逻辑是数理逻辑中最成熟的部分，在计算机科学中应用最为广泛，其中命题逻辑是数理逻辑的最基础部分，谓词逻辑是在它的基础上发展起来的。 本课程在第二，三两章中介绍数理逻辑中的命题逻辑和一阶谓词逻辑的内容。 ;实例一：聪明助手问题;现代数学中，每个对象(如数，函数等)本质上都是集合，都可以用某种集合来定义，数学的各个分支，本质上都是在研究某一种对象集合的性质。集合论的特点是研究对象的广泛性，它也是计