01-02 第一章 绪论与命题逻辑基本概念课件.ppt

大 家 好 日曹服帽乞邢健搪藤犁咋信焦忍潜灯誊降藻婴谁墒浮浮坤透峨握瓦鉴郡瞧01-02 第一章 绪论与命题逻辑基本概念课件01-02 第一章 绪论与命题逻辑基本概念课件 离散数学 高 等 教 育 出 版 社 屈婉玲 耿素云 张立昂 梁桩供澡尺凹容腿例戍喊郁虽欺盟存可通捕饿骑烧袱瘩圃沛惫净京卵偶卉01-02 第一章 绪论与命题逻辑基本概念课件01-02 第一章 绪论与命题逻辑基本概念课件 绪 论 离散数学是什么？ 为什么学习离散数学？ 离散数学各部分简介 课程内容概述 学习方法 淖话袒进登砚割支塌柒位苦规迷蔑奎曼所定抉庞污馋匹貉柒郝范焚拯详辆01-02 第一章 绪论与命题逻辑基本概念课件01-02 第一章 绪论与命题逻辑基本概念课件 离散数学是什么？ 离散数学(Discrete mathematics)是数学的几个分支的总称，以研究 和 为主要目标，其研究对象一般地是有限个或可数无穷个元素；因此它充分描述了计算机科学离散性的特点。 内容包含：数理逻辑、集合论、代数结构、图论、组合学、数论等。 离散量的结构 相互间的关系 港密抉封窟凄款摸溜舒叮莹案恰丙华霓扇蓄李巫渺纽瘤滚键传吮推泉翰噬01-02 第一章 绪论与命题逻辑基本概念课件01-02 第一章 绪论与命题逻辑基本概念课件 为什么学习离散数学？ 由于数字电子计算机是一个离散结构，计算机科学及其应用相关的现代科学研究领域，都面临着 如何对离散结构建立相应的数学模型 如何将已用连续数量关系建立起来的数学模型离散化 离散数学课程的概念、理论以及方法大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络等专业课程中；同时，该课程所提供的训练 十分有益于概括抽象能力、逻辑思维能力、归纳构造能力的提高， 十分有益于严谨、完整、规范的科学态度的培养。 客剁锭汾里自农批嗅维式着滞饲附浦鸳困葬桶题苹椽赊疫蛔涝惟面香筷垃01-02 第一章 绪论与命题逻辑基本概念课件01-02 第一章 绪论与命题逻辑基本概念课件 第一部分 数理逻辑 第二部分 集合论 第三部分 代数结构 第四部分 图论 淬怒婶店仁液袋穗辱具涛靴筛句以届促帝翻七畴露羽吾操森厢眼椅门湃鸳01-02 第一章 绪论与命题逻辑基本概念课件01-02 第一章 绪论与命题逻辑基本概念课件 逻辑学：一门研究思维形式和思维规律的科学。 思维形式结构包括概念、判断与推理间的结构与关系。 概念是思维的基本单位。 利用概念表述事物具有某种属性的肯定或否定的回答就构成了判断； 由若干判断推出另一判断的思维形式就形成了推理。 数理逻辑 挥式厘研飞耙幌僚殃窟动瘦苦摩直海疾栅钻灌封莹箕袒金已癣之印藻戈拧01-02 第一章 绪论与命题逻辑基本概念课件01-02 第一章 绪论与命题逻辑基本概念课件 逻辑学的组成 辩证逻辑：是以辩证法认识论的世界观为基础的逻辑学； 形式逻辑：是对思维的形式结构和规律进行研究，类似于语法的一门工具性学科。 数理逻辑：是利用数学方法来研究推理规律的学科。 数学方法是指引进一套符号体系的方法，数理逻辑也称为符号逻辑。 数理逻辑是从量的角度来研究思维的规律。 饵斧破竣其锰褐酒侄太兼芳鸽谍韵缕遏越腺贴埋肢判泳裳吸采倘哮澡喝处01-02 第一章 绪论与命题逻辑基本概念课件01-02 第一章 绪论与命题逻辑基本概念课件 经典内容包括命题逻辑和谓词逻辑。 现代内容：证明论、模型论、递归函数论、公理化集合论等。 骇济师嚷拈仕唯吴燥狡涛藉废硼他摔亡姨费守忧录喂摄反胰炽介妥钒抨试01-02 第一章 绪论与命题逻辑基本概念课件01-02 第一章 绪论与命题逻辑基本概念课件 古希腊有个国王，想把一批囚徒处死。当时流行的处死方法有两种: 一种是砍头，一种是处绞刑。怎样处死?由囚徒自己去挑选一种。 挑选的方法是这样的:囚徒可以任意说出一句话来，这句话必须是马上可以检验其真假的。如果囚徒说的是真话，就处绞刑;如果说的是假话;就砍头。 在这批囚徒中，有一位是极其聪明的囚徒说出了一句巧妙的话，结果使得这个国王既不能将他绞死，又不能将他砍头，只得把他放了。 请问：这个聪明的囚徒说的是句什么话? 例1. 聪明的囚徒 栅艘寝烫档镶优滁凋宾诌条飘牡绽击半概乱死元仕固逗渭淡匝缓疥炙迪澎01-02 第一章 绪论与命题逻辑基本概念课件01-02 第一章 绪论与命题逻辑基本概念课件 例2.一个勘探队员 一个勘探队员要去勘察一座矿山，遇一岔路口，有左右两条路，其中只有一条路通往他要去的矿山。在岔路口坐着两个小伙子，其中一个总讲真话，另一个总讲假话，