代码编织梦想

离散数学与组合数学-08谓词逻辑-爱代码爱编程

文章目录 离散数学与组合数学-08谓词逻辑8.1 谓词的引入8.1.1 引入谓词逻辑8.1.2 个体词与谓词 8.2 量词的引入8.2.1 量词引入8.2.2 个体域符号化8.2.3 量词真值确定 8.3

离散数学与组合数学-07命题逻辑-爱代码爱编程

文章目录 离散数学与组合数学-07命题逻辑7.1 命题逻辑-什么是命题7.1.1 数理逻辑发展7.1.2 什么是命题7.1.3 复合命题 7.2 命题逻辑-命题联结词7.2.1 否定联结词7.2.2 合取联结词

离散数学与组合数学-04图论-爱代码爱编程

文章目录 离散数学与组合数学-04图论4.1 图的引入4.1.1 图的示例4.1.2 无序对和无序积4.1.3 图的定义 4.2 图的表示4.2.1 集合表示和图形表示4.2.2 矩阵表示法4.2.3 邻接点与

离散数学与组合数学-06特殊的图-爱代码爱编程

文章目录 离散数学与组合数学-06特殊的图6.1 欧拉图6.1.1 哥尼斯堡七桥问题6.1.2 欧拉图的定义6.1.3 无向欧拉图的判定6.1.4 有向欧拉图的判定6.1.5 一笔画问题6.1.6 求回路 6.

离散数学与组合数学-05树-爱代码爱编程

文章目录 离散数学与组合数学-05树5.1 认识树5.1.1 树的模型5.1.2 树的应用 5.2 无向树5.2.1 定义5.2.2 树的性质5.2.3 性质应用 5.3 生成树5.3.1 引入5.3.2

离散数学与组合数学-04图论-爱代码爱编程

文章目录 离散数学与组合数学-04图论4.1 图的引入4.1.1 图的示例4.1.2 无序对和无序积4.1.3 图的定义 4.2 图的表示4.2.1 集合表示和图形表示4.2.2 矩阵表示法4.2.3 邻接点与

离散数学与组合数学-03函数-爱代码爱编程

文章目录 离散数学与组合数学-03函数3.1 函数基本概念3.1.1 函数的定义3.1.2 函数举例3.1.3 函数的数量3.1.4 关系与函数的差别 3.2函数的类型3.2.1 函数类型3.2.2 函数类型的

离散数学与组合数学-02二元关系-爱代码爱编程

文章目录 离散数学与组合数学-02二元关系上2.1 序偶和笛卡尔积2.1.1 有序组的定义2.1.2 笛卡儿积笛卡儿积的性质 2.2 关系的定义2.2.1 二元关系定义与案例2.2.2 二元关系的数学符

离散数学与组合数学-02二元关系上-爱代码爱编程

文章目录 离散数学与组合数学-02二元关系上2.1 序偶和笛卡尔积2.1.1 有序组的定义2.1.2 笛卡儿积笛卡儿积的性质 2.2 关系的定义2.2.1 二元关系定义与案例2.2.2 二元关系的数学符

离散数学与组合数学-数理逻辑-02谓词演算及其形式系统-爱代码爱编程

文章目录 第二章 谓词演算及其形式系统2.1 个体谓词和量词2.1.1 个体 谓词演算永真式谓词公式的前束范式一阶谓词演算形式系统谓词逻辑的等值演算与推理 第二章 谓词演算及其形式系统 2.1 个体

离散数学与组合数学-数理逻辑-01命题与联结词-爱代码爱编程

文章目录 1. 命题与联结词1.1 命题1.2 常用联结词1.3 命题公式等价关系式-逻辑等价 logically equivalent逻辑蕴涵 logically implication 1.4 命题的等值演

离散数学与组合数学-01-爱代码爱编程

文章目录 1. 离散数学与组合数学大纲要求概述1.1 离散数学概述1.2 组合数学概述1.3. 离散数学前言 第1章 数理逻辑1.1 命题与联结词1. 命题2.联结词 2.集合论3.代数系统4.图论