随笔分类 -  离散数学

152.图论
摘要：图论是近年来发展迅速而又应用广泛的一门新兴学科。它最早起源于一些数学游戏的难题研究。如1736年欧拉（L . Euler)所解决的哥尼斯堡七桥问题；以及在民间广为流传的一些游戏问题：例如迷宫问题、棋盘上马的行走路线问题等等。 这些古老的问题当时吸引了许多学者的注意，从而在这些问题研究的基础上，又提出 阅读全文
posted @ 2019-06-16 18:49 Zander_Zhao 阅读(1842) 评论(0) 推荐(1)
151.函数
摘要：1.概念 函数是二元关系中特殊的一类，也就是说，函数是一种特定类型的二元关系。本章讨论的是离散函数，它能把一个有穷集合变换到另一个有穷集合。 1.1定义 给定两个集合X和Y，设 f 是从X→Y的一种关系，若对于每一个 x ∈ X，都存在唯一一个 y ∈ Y，使得 x f y，则称关系 f 为函数（映 阅读全文
posted @ 2019-06-16 16:03 Zander_Zhao 阅读(964) 评论(0) 推荐(0)
150.关系
摘要：1.关系 1.1关系 事物之间（客体之间）的相互联系，称为关系 n元笛卡尔积A1×A2× …… ×An反映了 n 个客体之间的关系，所以是 n元关系。 序偶〈a，b〉实际上反映了二个元素之间的关系，从而是二元关系。 注意：关系和笛卡尔乘积 笛卡尔乘积的任何子集都可以定义一种二元关系。 设集合X={1 阅读全文
posted @ 2019-06-14 18:57 Zander_Zhao 阅读(1973) 评论(0) 推荐(1)
148.离散数学_谓词逻辑
摘要：1谓词 1.1引入 在研究命题逻辑中，原子命题是命题演算中最基本的单位，不再对原子命题进行分解，这样会产生两大缺点： （1）不能研究命题内部的结构，成分和内部逻辑的特征； （2）也不可能表达两个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过程。 例如 著名的“苏格拉底三段论 阅读全文
posted @ 2019-06-12 14:37 Zander_Zhao 阅读(10193) 评论(1) 推荐(3)
147.命题逻辑
摘要：1.语句 1.1命题 一个或真或假，而不能两者都是的陈述句。 说明： 1）命题是陈述句，而不能是疑问句、命令句、感叹句等； 例如（1）把门关上！ （2）你到哪里去？2）如果命题为真，我们就说它的真值为真（T或1）； 如果命题为假，我们就说它的真值为假（F或0）。 3）命题通常用大写英文字母表示，如 阅读全文
posted @ 2019-06-10 20:33 Zander_Zhao 阅读(7855) 评论(1) 推荐(2)
146.离散数学
摘要：离散数学 数理逻辑 命题逻辑 谓词逻辑 集合论 集合 二元关系 函数 代数系统 无限集合 代数 格与布尔代数 图论 阅读全文
posted @ 2019-06-10 08:14 Zander_Zhao 阅读(239) 评论(1) 推荐(0)