![](https://img-blog.csdnimg.cn/20201014180756754.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
文章平均质量分 74
Catigeart
这个作者很懒,什么都没留下…
展开
-
离散数学 三 集合论基础
第三章 集合论基础3-1 基本概念集合、元素、∈\in∈有限集合、无限集合、(可数集合、不可数集合)列举法、描述法特点:无序、去重、元素种类不限、可以集合套娃3-2 集合间的关系被包含关系(子集)⊆\subseteq⊆:自反性、传递性、反对称性(if A⊆\subseteq⊆B && B⊆\subseteq⊆A then A=B)相等关系:A=B当且仅当A⊆\subseteq⊆B && B⊆\subseteq⊆A;自反性、传递性、对称性真被包含关系(真原创 2020-12-21 09:46:37 · 466 阅读 · 0 评论 -
离散数学 二 谓词逻辑
第二章 谓词逻辑2-1 基本概念客体、客体变元、谓词、n元谓词、命题函数、命题变元、简单命题函数、复合命题函数论域、全总个体域;全总个体域是“最大”的论域,!=全集量词、存在量词、全称量词、量词后的指导变元2-2 谓词公式及命题符号化客体函数;客体函数是论域到论域的映射,谓词是论域到{T,F}的映射原子谓词公式、谓词合式公式(谓词公式、公式)、量词的作用域(辖域)自由变元、约束变元:对约束变元用什么符号表示无关紧要一个谓词公式如果没有自由变元,它就表示一个命题一个n元谓词P(x原创 2020-12-16 19:59:30 · 1294 阅读 · 0 评论 -
离散数学 一 命题逻辑
第一章 命题逻辑1-1 命题与命题的真值命题的概念2050年人类将到达火星是命题。x+y<5不是命题。命题的真值简单命题(原子命题)与复合命题(分子命题):非A是复合命题1-2 联结词真值表PQ非PP合取QP析取QP异或QP蕴涵QP等价QFFTFFFTTFTTFTTTFTFFFTTFFTTFTTFTT关于蕴含(条件):P->Q:P是P->Q的前件,原创 2020-12-16 11:04:44 · 806 阅读 · 0 评论