第6章 图? 6.1 图的基本概念? 6.2 图的连通性? 6.3 图的矩阵表示? 6.4 几种特殊的图 6.1 图的基本概念? 6.1.1 无向图与有向图? 6.1.2 顶点的度数与握手定理? 6.1.3 简单图、完全图、正则图、圈图、轮图、方体图? 6.1.4 子图、补图? 6.1.5 图的同构
分类：
其他好文 时间：
2016-02-10 22:09:43
阅读次数：
665
? 4.4.1 等价关系? 4.4.2 等价类和商集? 4.4.3 集合的划分? 4.4.4 偏序关系? 4.4.5 偏序集与哈斯图
分类：
其他好文 时间：
2016-02-10 22:09:37
阅读次数：
630
4.3.1关系性质的定义和判别– 自反性与反自反性– 对称性与反对称性– 传递性? 4.3.2 关系的闭包– 闭包定义– 闭包计算– Warshall算法
分类：
其他好文 时间：
2016-02-10 19:53:55
阅读次数：
403
第4章 关系? 4.1 关系的定义及其表示? 4.2 关系运算? 4.3 关系的性质? 4.4 等价关系与偏序关系 4.1 关系的定义及其表示? 4.1.1 有序对与笛卡儿积? 4.1.2 二元关系的定义? 4.1.3 二元关系的表示 笛卡儿积 是有序对 二元关系的定义 表示方式：关系的集合表达式、
分类：
其他好文 时间：
2016-02-10 19:52:01
阅读次数：
267
第2章 命题逻辑? 2.1 命题逻辑基本概念? 2.2 命题逻辑等值演算? 2.3 范式? 2.4 命题逻辑推理理论 蕴涵联结词 等价联结词 p <--> q为真 当且仅当 p与q同时为真或同时为假. 合式公式 真值表：命题公式在所有可能的赋值下的取值的列表 ,含n个变项的公式有2n个赋值 等值式：
分类：
其他好文 时间：
2016-02-10 15:21:40
阅读次数：
737
否定联结词¬ 合取联结词 析取联结词V 蕴涵联结词-> 等价联结词<-> 德摩根律 命题变项:取值为0或1的变元, 也用p,q,r等表示. 重言式(永真式)矛盾式(永假式)可满足式:不是矛盾式的命题公式 基本等值式 重要推理规则(推理定律) 谓词与量词 包含与相等 幂集 集合运算 基本集合恒等式
分类：
其他好文 时间：
2016-02-10 13:11:39
阅读次数：
273
逻辑推理的形式结构 直接证明法 间接证明法 归谬法(反证法) 数学归纳法
分类：
其他好文 时间：
2016-02-10 13:08:14
阅读次数：
210
0.前言：在路上，再上路在前言《程序员修炼之路-(0)前言：在路上, 再上路》中已经对知识体系进行了梳理，主要分为问题定义、算法与数据结构、系统平台API、编程语言实现、代码设计、测试验证等等。目前集中精力编写算法与数据结构部分，这可能也是最艰难的一部分。其他部分之前零零散散有所涉及，之后再慢慢补充。1.计算机数学离散数学与具体数学。2.算法分析设计对于这一部分的内容编排，主要以《算法设计与分析基础...
分类：
其他好文 时间：
2016-02-10 12:04:44
阅读次数：
170
目前不及格科目：离散数学 补考及格的日期目标：开学补考就过 达成该目标的行动计划：在假期就开始进行科目的复习，复习中遇到的不懂的问题先尝试自己解决，无法解决的在群里找同学帮助，同学解释后依旧无法明白的整理成册，开学问老师，抓住开学后刚开课大家都不忙的时间将问题彻底解决。 由于下个学期选课看起来很多，
分类：
其他好文 时间：
2016-01-30 02:29:25
阅读次数：
118
学习科目：离散数学第一部分-数理逻辑 通过对PPT的学习掌握了命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理理论。 笔记： 两个重要量词分配等值式： 所有有关数理逻辑的题都是在这些公式的基础上进行推理，掌握好这些公式命题逻辑部分的题基本不会有大问题，多
分类：
其他好文 时间：
2016-01-30 02:08:09
阅读次数：
197
