- 1、本文档共113页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
01第一章-命题逻辑.ppt
离散数学 班级1412 专业:计算科学与技术 教师:刘章书 2010-2011学年下学期 主要内容 数理逻辑 集合论 代数结构 图论 组合分析初步 形式语言和自动机初步 教材与教学参考书 教材:张清华等,离散数学,机械工业出版社,2010. 教学参考书: 1. 耿素云、屈婉玲、张立昂,离散数学(第四版),清华大学出版社, 2008. 2.耿素云、屈婉玲,离散数学(修订版),高等教育出版社, 2007.(十一五规划教材) 3.贲可荣、袁景凌、高志华,离散数学,清华大学出版社, 2007.(高等学校计算机教育规划教材) 离散数学课程地位: 计算机系核心课程 信息类专业必修课程 其它类专业的重要选修课程 离散数学的后继课程: 数据结构、操作系统、 算法分析与设计、 数据库、c++语言…… 学习该课程的目的: 一方面,它给后继课,如数据结构、编译系统、操作系统、数据库原理、软件工程与方法学、计算机网络、程序设计等,提供必要的数学基础; 另一方面,通过学习离散数学,可以培养和提高自己的抽象思维和逻辑推理能力,为以后的软、硬件学习和研究开发工作,打下坚实的数学基础。 教学要求: 通过该课程的学习,学生应当了解并掌握计算机科学中普遍采用的离散数学中的一些基本概念、基本思想、基本方法。 自学要求: 通过反复看书及做课后习题,来加深对该课程中的一些基本概念的理解,逐步提高自己的抽象思维和逻辑推理能力。 离散数学课程的学习方法: 强调:逻辑性、抽象性; 注重:概念、方法与应用 离散数学的学习要领: 概念(正确) 必须掌握好离散数学中大量的概念 判断(准确) 根据概念对事物的属性进行判断 推理(可靠) 根据多个判断推出一个新的判断 离散数学的内容 第一部分 数理逻辑:命题逻辑、谓词逻辑 第二部分 集合论:集合、关系、函数 第三部分 代数系统:运算、代数系统、半群、 群、环、域、格、布尔代数 第四部分 图论:点与边、 路与圈、最短路、 Euler图、Hamilton图、平面图、树 离散数学与计算机的关系 第一部分 数理逻辑 计算机是数理逻辑和电子学相结合的产物。 第二部分 集合论 集合是一种重要的数据结构关系,关系数据库的理论基础函数,所有计算机语言中不可缺少的一部分。 第三部分 代数系统 计算机编码和纠错码理论数字逻辑设计基础计算机使用的各种运算。 第四部分 图论 数据结构、操作系统、编译原理计算机网络原理的基础。 数理逻辑的创始人是Leibniz,为了实现把推理变为演算的想法,他把数学引入了形式逻辑。其后,又经多人努力,逐渐使得数理逻辑成为一门专门的学科。 上个世纪30年代以后,数理逻辑进入一个崭新的发展阶段,逻辑学不仅与数学结合,还与计算机科学等密切关联。 1931年Godel不完全性定理的提出,以及递归函数可计算性的引入,促使了1936年Turing机的产生,十年后,第一台电子计算机问世。 数理逻辑与计算机学、控制论、人工智能的相互渗透推动了其自身的发展,模糊逻辑、概率逻辑、归纳逻辑、时态逻辑等都是目前比较热门的研究领域。 本章和下一章我们只从语义出发,对数理逻辑中的命题逻辑与谓词逻辑等作一简单的、直接的、非形式化的介绍,将不涉及任何公理系统。 第一章 命题逻辑 1. 命题及其表示 命题:是指具有确定真值的陈述句或者能够判断真假的陈述句。 命题的真值:命题的判断结果。真值只取两个值: 真(1或T)、假(0或F)。 真命题:真值为真的命题。 假命题:真值为假的命题。 判断命题的两个步骤: 1、是否为陈述句; 2、是否有确定的、唯一的真值。 注意: 感叹句、祈使句、疑问句都不是命题. 陈述句中的悖论以及判断结果不惟一确定的也不是命题。 (1)、(2)、(3)、(4)、(5)和(6)都是命题。其中(1)、(2)、(4)是真命题,(3)是假命题。 至于(5)和(6)真假值是确定的,只是现在无法知道,因此它是命题。 (7)、(8)、(9)、(10)、(11)都不是命题。原因在于(7)是祈使句,(8)是感叹句,(9)是疑问句,而(10)是悖论,即若(10)的真值为真,即“我正在说假话”为真,也就是我说的是假话,因此(10)又是错误的;反之,若(10)的真值为假,即“我正在说假话”为假,也就是我在说真话,因此 (10)的真值应为真。 像(10)这样既不为真又不为假的陈述
您可能关注的文档
- #5s理念教育-5S理念教育.ppt
- %9B六级考试备考经验分享 Microsoft PowerPoint 演示文稿.ppt
- (1-12)仪器分析第四版答案完整版.ppt
- (2011-10-)人力管理师培训-(一级理论知识与文件框).ppt
- (2013年新大纲)思想道德修养与法律基础_演示文稿.ppt
- (duan)第04-05讲 计算机网络体系结构-OSI模型.ppt
- (中文)绪论2_数字信号处理方法和应.ppt
- (人教新课标)四年级美术下册课件 珍爱国宝——秦始皇陵兵马俑 1.ppt
- (何自力)比较制度经济学八.ppt
- (信息论)第2章信息的统计度量.ppt
- 数据仓库:Redshift:Redshift与BI工具集成.docx
- 数据仓库:Redshift:数据仓库原理与设计.docx
- 数据仓库:Snowflake:数据仓库成本控制与Snowflake定价策略.docx
- 大数据基础:大数据概述:大数据处理框架MapReduce.docx
- 实时计算:GoogleDataflow服务架构解析.docx
- 分布式存储系统:HDFS与MapReduce集成教程.docx
- 实时计算:Azure Stream Analytics:数据流窗口与聚合操作.docx
- 实时计算:Kafka Streams:Kafka Streams架构与原理.docx
- 实时计算:Kafka Streams:Kafka Streams连接器开发与使用.docx
- 数据仓库:BigQuery:BigQuery数据分区与索引优化.docx
最近下载
- 叉车司机 国家职业能标准.doc VIP
- 初中物理 2023-2024学年云南省曲靖市八年级(下)期末物理试卷.pdf VIP
- Siemens 西门子家电 洗衣干衣机 WN54A3X00W 产品功能表.pdf
- 工会基础知识考试题库【附答案】.docx VIP
- 履带吊安拆专项施工方案(专家会) (1).docx VIP
- 会展搭建供应商入围项目 投标方案(技术标115页).docx VIP
- 11BS3给水工程华北标图集.docx VIP
- DB37T 4199-2020 中小学校食堂建设与设备配置规范.docx VIP
- 长输管道工程项目管理的建议及对策.docx VIP
- 4.严重违法行为平台服务停止制度.pdf VIP
文档评论(0)