离散
Champhoenix
这个作者很懒,什么都没留下…
展开
-
离散期末复习 第四章 二元关系和函数
离散期末复习 第四章 二元关系和函数目录4.1 集合的笛卡尔积与二元关系4.2 关系的运算4.3 关系的性质4.4 关系的闭包4.5 等价关系和偏序关系4.1 集合的笛卡尔积与二元关系(1)定义 有序对设由两个元素 x 和 y,按照一定的顺序组成的二元组称为有序对,记作<x, y>.x 为第一元素, y 为第二元素。(2)定义 笛卡尔积设A, B为集合,用 A 中元素为第一元素, B 中元素为第二元素构成有序对, 所有这样的有序对组成的集合称作A与 B 的笛卡尔积, 记作原创 2021-01-07 16:52:34 · 818 阅读 · 0 评论 -
离散期末复习 第三章 集合的基本概念和运算
离散期末复习 第三章 集合的基本概念和运算目录3.1 集合的基本概念3.2 集合的基本运算3.3 集合中元素的计数3.1 集合与元素设 A, B为集合,若 B 中的每个元素都是 A 的元素,则称 B 为 A 的子集合,简称子集.真子集3.2 集合基本运算相对补集和绝对补集对称差集合运算的算律3.3 集合中元素的计数包含排斥原理...原创 2021-01-03 10:57:20 · 265 阅读 · 0 评论 -
离散期末复习 第二章 一阶逻辑
离散期末复习 第二章 一阶逻辑目录2.1 一阶逻辑基本概念2.2 一阶逻辑合式公式及解释2.3 一阶逻辑等值式与前束范式2.1 一阶逻辑基本概念将表示具体或特定个体的词称作个体常项, 用小写字母 a, b, c,…表示.将表示抽象或泛指的个体的词称作个体变项, 用小写字母 x, y, z, …表示.称个体变项的取值范围为个体域或论域,以 D表示.➢ 有限个体域,如 {a, b, c}, {1, 2}➢ 无限个体域,如 N, Z, R, …约定有一个特殊的个体域,它由宇宙间一切事物组成,原创 2021-01-03 10:37:42 · 669 阅读 · 0 评论 -
离散期末复习-第一章命题逻辑
第一章 命题逻辑1.1 命题符号化及联结词1.2 命题公式及分类1.3 等值演算1.4 范式1.5 联结词全功能集1.6 组合电路(不考)1.7 推理理论命题(Proposition): 判断结果惟一的陈述句。命题的真值: 命题的判断结果。真值只取两个值:真或假(1或0)真命题: 与事实相符或表达的判断正确; 真值为真。假命题: 与事实不符或表达的判断错误; 真值为假。规定: 任何命题的真值都是唯一的;不能非真非假,也不能既真又假。简单命题:简单陈述句构成的,不能再被继续分割的原创 2020-12-31 17:44:04 · 880 阅读 · 0 评论 -
离散-如何确定哈斯图极大极小元、最大最小元、最大最小上下界
如何确定哈斯图极大极小元、最大最小元、最大最小上下界1.如果图中有孤立结点,那么这个结点既是极小元也是极大元,并且图中既无最小元也无最大元(特殊情况)2.除了孤立结点以外,其他的极小元是图中所有向下通路的终点,其他的极大元是图中所有向上通路的终点。3.图中唯一的极小元是最小元,唯一的极大元是最大元,否则最小元和最大元不存在。4.设B为偏序集<A,<=>的子集,若B种存在极大元,它就是B的最小上界,否则从A-B中选择那些向下可达B中每一个元素的结点,它们都是B的上界,其中的最小元是B原创 2020-12-28 16:48:41 · 32533 阅读 · 9 评论