单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第四节 联结词全功能集一3种常用联结词 定义 设p q为两个命题 复合命题p q之中恰有一个成立称为p与q的排斥或记为p⊕q称作排斥或(异或)联结词 p⊕q为真当且仅当pq中恰有一个为真 p⊕q ? (p? ? q) ?(?p ?q) 定义 设p q为两个命题复合命题p与q的否定称为p与q的与非式记为
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第二章 一阶逻辑第一节 一阶逻辑基本概念 在一阶逻辑中:(1)F(x):x位于南美洲. a:墨西哥 命题符号化为:F(a)(2) F(x):x是无理数 G(x):x是有理数 命题符号化为:F( )→G( )(3)F(xy):x>yG(xy):x<y 命
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第五章 代数系统的一般性质 代数系统是由一个非空集合和该集合上的一个或多个代数运算组成其内容起源于19世纪是近世代数的核心内容群论概念是该系统中最重要的概念法国天才数学家伽罗瓦是大家公认的群论概念的开创者在计算机科学中例如程序设计的语义研究数据结构的
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级 第四章 二元关系和函数第一节 集合的笛卡尔积与二元关系 第二节 关系的运算S?RR?S图3第三节 关系的性质 第四节 关系的闭包 图 5第五节 等价关系和偏序关系 图6123图7二 偏序关系3.哈斯图 描述有穷的偏序集 利用偏序关系的
Click to edit Master title styleClick to edit Master text stylesgood1Second levelgood2Third levelgood3Fourth levelgood4Fifth levelgood5离散数学Click to edit Master title styleClick to edit Master text sty
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第二部分 集合论第三章 集合的基本概念和运算第一节 集合的基本概念二集合的表示法 1.枚举法----通过列出全体元素来表示集合 A={abcd}:逗号花括号 2.谓词法----通过谓词概括集合元素的性质 B={xP(x)}:B由使P(x)为真的全体x构成 实例: 枚举法
#
Level 1Level 2Level 3Level 4Level 5Click to edit Master title style第1章 命题逻辑 命题逻辑 逻辑是研究推理的科学 数理逻辑是用数学方法研究推理的形式结构和推理规律的数学学科由于它使用一套符号来表达各种推理的逻辑关系因此数理逻辑又称为符号逻辑 从广义上讲数理逻辑包括集合论模型论递归论证明论和命题演算谓词演算但本书只研究两个
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第一篇 数理逻辑第一章 命题逻辑§1.1命题符号化及其联结词 §1.1.1 命题 命 题 真 值 原子命题
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级离 散 数 学(命题逻辑)Discrete Mathematics(Logic of Prepositions)计算机科学与技术及相关专业专业基础课程 (讲习文稿)主讲教师:段禅伦课程讲习文稿主要参考书籍1.国家精品课程主讲教材: 屈婉玲耿素云张立昂(北京大学). 离散数学.高等教育出版社. 2008年3月.2.国家精品课程
违法有害信息,请在下方选择原因提交举报