前言 此文是在本人学习完离散数学中的数理逻辑部分后，对标题中各部分之间的联系存在很大的疑惑。特此进行总结，水平有限，如有错误，欢迎指正。 从逻辑代数开始 逻辑代数是一种用于描述客观事物逻辑关系的数学方法，由英国科学家乔治·布尔 (George·Boole) 于19世纪中叶提出，因而又称布尔代数。 所 ...
分类：
其他好文 时间：
2020-04-04 22:49:26
阅读次数：
95
目录 范式定义 第一范式 第二范式 第三范式 反范式 范式定义 范式：Normal Format，是一种离散数学中的知识，是为了解决数据的存储与优化的问题：保存数据的存储之后，凡是能够通过关系寻找出来的数据，坚决不再重复存储，终极目标是为了减少数据的冗余。 范式背景： 范式概念： 目前关系数据库有六 ...
分类：
数据库 时间：
2020-03-20 12:35:06
阅读次数：
81
早上 十点到十二点（两小时视频学习离散数学） 我觉得我就只能看懂集合了。 下午 一点半到五点半（java视频学习） 从函数看到了包定义，主要是其中自己也在类来类去，一看是看到类能调用另一个类以为是什么高级操作，结果直接在同一个包下的public可以调来调去。 其中还设置了下esc的代码颜色，找了半天 ...
分类：
其他好文 时间：
2020-03-15 22:05:16
阅读次数：
59
早上九点到十二点（两小时视频学习一小时做题） 线性代数 矩阵基本性质 矩阵转置 想起了以前做的斐波拉契矩阵做法，当时看矩阵乘法就看了一下午。前行乘后列， 矩阵和行列式都好多计算啊。 没有离散数学书和练习册，随便网上找了几个简单矩阵计算题做，一小时也没做三四个， 下午 二点到六点 一直在看 java视 ...
分类：
其他好文 时间：
2020-03-14 21:52:47
阅读次数：
64
集合 偏序集 偏序集合：指配备了部分排序关系的集合。 对非空集合 A 上的关系 R，如果 R 是自反的、反对称的和传递的，则称 R 为 A 上的偏序关系。 偏序关系 R (记作 $\preceq$ )： 自反性：对任意 $\forall a \in A$，有 $ \in R$ 反对称性：$\fora ...
分类：
其他好文 时间：
2020-03-09 18:01:11
阅读次数：
49
虽然很简单吧，但是毕竟算是除了刷题外第一个自己写出来的有一点用的代码，所以还是打算水一篇博客 主要思路就是把式子转化成后缀表达式，然后再用后缀表达式求值的方法来计算，其中每个命题变元的情况是用没有剪枝的深搜枚举出来的 下面是代码 ...
分类：
其他好文 时间：
2020-03-06 13:04:48
阅读次数：
80
分析： 本题最重要的是通过向量的想法来解决这一类关系，这样思维难度大大降低，首先我们明白一点 根据传递性的定义（也就是离散数学中的传递性），x->y =x->z+z>y 我们要知道的一点是，并查集中的题目都是有传递性的，而传递性的题目并不一定能通过并查集解决 我们知道我们要将两个不同的集合合并，就是 ...
分类：
其他好文 时间：
2020-02-25 12:33:11
阅读次数：
65
第一章 什么是证明 本学习报告用书是由电子工业出版社出版的《计算机科学中的数学 信息与只能时代的必修课》一书，会在我本身的理解上对原书内容加以修改，可能会与原书内容有出入；若有问题欢迎在下面评论指正探讨。:) 本章内容： 1.什么是命题，以及命题的相关种类 2.谓词跟命题的关系 3.了解公理化方法 ...
分类：
其他好文 时间：
2020-01-20 13:15:48
阅读次数：
142
参考书目 [TOC] 大一上 微积分A(1) 高等微积分教程（上），刘智新，闫浩，章纪民编著，清华大学出版社 线性代数(1) 俞正光，林润亮，鲁自群，《线性代数与几何(上)》 程序设计基础 程序设计基础（第3版），吴文虎、徐明星 编著 离散数学(1) 数理逻辑与集合论(第2版)，石纯一等编著，清华大 ...
分类：
其他好文 时间：
2020-01-17 00:01:42
阅读次数：
181
软件工程师需要具备以下几个方面的知识结构 （1）具有扎实的计算机专业知识 这是软件工程理由能够从事软件一切工作最基本的前提，是软件工程最基本的素质，这要求软件工程师必须精通高等数学、离散数学、电子学、编程语言、数据结构等课程。 （2）良好的语言表达能力和沟通能力 这是软件工程师应该具备的一个很重要的 ...
分类：
其他好文 时间：
2020-01-06 19:49:28
阅读次数：
96
