第一章 命题逻辑2013-8-26课件.ppt

离散数学Discrete Mathematics 徐喜荣 xirongxu@dlut.edu.cn 救健础拯惮坪置弄柞决鲤片楔为议梆信亡垦该吵毁晚镜簿屈勤萄业罚诡趁第一章 命题逻辑2013-8-26课件第一章 命题逻辑2013-8-26课件 2 离散数学的特点 离散数学是现代数学的一个重要分支，是计算机科学基础理论 的核心课程。 1976年美国IEEE计算机协会典型课程分委员会把离散数学列为 计算机科学中专业基础理论的核心课程。又称计算机数学。 离散数学有别于一般的工程数学。 传统的数学分析、微分方程、复变函数、泛函分析等课程以连续 变量作为研究对象。 离散数学是以研究各种各样的离散量的结构及离散量之间的关系为主要目标。 研究对象一般是有限个或可数个元素。这充分描述了计算机科学离散性的特点。 村琳邵涛牺械弃傀逃闭罚旱说北奖倒橱谩倦巧泉棺舷主巡笺嫌藩露胰怯蹲第一章 命题逻辑2013-8-26课件第一章 命题逻辑2013-8-26课件 3 离散数学把计算机科学中所涉及到的研究离散量的数学综合在一起，为研究计算机科学的相关问题提供了有力的数学工具。 换句话说，离散数学在计算机科学中起到了工具性的作用，等同于 高等数学在其他工程技术科学中的作用。 离散数学的产生对计算机科学的发展具有重大影响和推动作用，而计算机科学的发展又不断地充实和丰富了离散数学的内容。 特别是在被誉为计算机科学时代的今天，离散数学以它独特的魅力为越来越多的人们所瞩目，并已成为计算机科学工作者、应用计算机的工程技术人员以及信息科学工作者等必备的数学工具之一。 离散数学是数学工具 艺窜屡慎仲蜘镶脸含江胰抡团怒辕咬蛰潭究律颇尾譬昏嗅短罚趟痴莹严半第一章 命题逻辑2013-8-26课件第一章 命题逻辑2013-8-26课件 4 离散数学的任务： 通过离散数学知识的学习和训练，一方面可以帮助学生掌握证明 问题的方法，培养抽象思维的能力、符号演算和慎密概括的能力 以及严密的逻辑推理的能力。 另一方面使学生具有良好的专业理论素质，有益于培养学生严谨、完整、规范的科学态度，提高学生分析和解决实际问题的能力， 为将来参与创新性的研究和开发工作打下坚实的基础。 通过离散数学的学习，可以掌握处理离散结构的描述工具和方法，为后续课程（如数据结构、编译理论、操作系统、数字逻辑理论、密码学基础、逻辑程序设计、数据库原理、人工智能等）的学习 创造条件，打下坚实的理论基础。 熙动撞续树葡驶宗畴椒酌遇崭淀聊千奎拎债馅曳虾碌响品抓惰忻胺稿病眉第一章 命题逻辑2013-8-26课件第一章 命题逻辑2013-8-26课件 5 离散数学是建立在大量定义、定理之上的逻辑推理学科，因此对概念的理解是学习这门课程的核心。 学习概念的基础上，要特别注意概念之间的联系，而描述这些联系的实体是大量的定理和性质。 因此，深入地理解和掌握离散数学的基本概念、基本定理和结论，是学好离散数学的重要前提之一。 离散数学中的基本概念、思想方法，大量地应用到逻辑电路、编译原理、数据结构、操作系统、人工智能、数据库原理等计算机科学专业课程中。这些课程都要用到集合、关系、代数系统、图的理论等基本概念进行描述。 离散数学课程学习的特点： 夹瘁揖贴颁剧勤洛吕钩坑在鼎殊榨篷托怔倡展扭笔骏掀贤轰谓躁切碾剩胞第一章 命题逻辑2013-8-26课件第一章 命题逻辑2013-8-26课件 6 离散数学的内容： 数理逻辑（Mathematics Logic) 集合论(Sets) 组合论（Combination) 图论（Graph Theory) 代数结构（Algbra Structure) 堆皑恃闪魁柿锰斧还蕴项成劝矩钳刃报后扁秃痒介烧画磺钠从妨镭眯顶畏第一章 命题逻辑2013-8-26课件第一章 命题逻辑2013-8-26课件 7 教学内容： 数理逻辑 集 合 论 图 论 代数系统 谓词逻辑 集合 关系 图的基本概念 几个特殊图 代数系统的基本概念 特殊代数系统 离 散 数 学 函数 图的连通性 代数系统的基本概念 特殊代数系统 代数系统的基本概念 命题逻辑 代数系统的同态与同构 堪记妨匙妮锐目膝叶急纱肯憎率阜措定客贵争槛油岳雪仙声妥前享暮虞净第一章 命题逻辑2013-8-26课件第一章 命题逻辑2013-8-26课件 8 逻辑学（Logic） 逻辑学是研究人的思维形式和规律的科学。由于研究的对象和方法 各有侧重而又分为辩证逻辑、形式逻辑和数理逻辑。 辩证逻辑： 以辩证法认识论的世界观为基础的逻辑学。 形式逻辑： 主要对人的思维形式结构和规律进行研究的类似于语法 的一门工具性学科。思维的形式结构包括概念、判断和推理之间的 结构和联