数理逻辑是研究推理的数学学科，它首先完成是对现象的一种符号化处理，基于符号化处理，它在将着重于推理过程以及推理的结果。 命题： 称所表达的判断式真或假但不能可真可假的陈述句为命题。 命题的符号化： 一般使用小写字母p、q、r、s来表示简单的陈述句命题。在这些陈述句中均无连接词出现，称它们为简单命题或 ...
分类：
其他好文 时间：
2016-09-02 13:23:22
阅读次数：
214
简介 SymPy是一个符号计算的Python库。它的目标是成为一个全功能的计算机代数系统，同时保持代码简 洁、易于理解和扩展。它完全由Python写成，不依赖于外部库。SymPy支持符号计算、高精度计算、模式匹配、绘图、解方程、微积分、组合数学、离散 数学、几何学、概率与统计、物理学等方面的功能。( ...
分类：
其他好文 时间：
2016-08-30 22:32:41
阅读次数：
7378
作为程序员我们应该知道什么，这是很重要的。不知不觉做软件已经做了十年，有成功的喜悦，也有失败的痛苦，但总不敢称自己是高手，因为和我心目中真正的高手们比起来，还差的太远。世界上并没有成为高手的捷径，但一些基本原则是可以遵循的。 1. 扎实的基础。 数据结构、离散数学、编译原理，这些是所有计算机科学的基 ...
分类：
其他好文 时间：
2016-08-19 11:22:18
阅读次数：
117
一阶逻辑这个一块属于离散数学的内容，它的功能就是将自然事物给符号化以为体系的确立奠定语言基础。 回想无论学汉语还是英语的语法，我们都是从句子的主干学起，那么数学作为一门语言，它的句子当然也有所谓的主干。 个体词：个体次是所研究对象可以独立存在的具体的或者抽象的客体。具体而特定的客体个体成为个体常项， ...
分类：
其他好文 时间：
2016-08-16 23:50:21
阅读次数：
292
最近在看离散数学，又看到这让人纠结的三门问题。想到其实把这个问题用第一章的逻辑与证明的知识把这个问题简化几次就根本没人会纠结了。 例1：两个人完抽牌游戏。游戏规则这样的，一共三张牌，里面有一张王牌，两张普通牌，甲先抽一张，乙抽两张。 请问：甲，乙抽到王牌的几率是多少。 我想，没人会纠结吧。甲，三分之 ...
分类：
其他好文 时间：
2016-08-06 14:27:30
阅读次数：
150
第3章 栈和队列 3.1 栈 3.2 栈的应有和举例 3.3 栈与递归的实现 3.4 队列 3.5 离散事件模拟第4章 串 4.1 串类型的定义 4.2 串的表示和实现 4.3 串的模式匹配算法 4.4 串操作应用举例第5章 数组和广义表 5.1 数组的定义 5.2 数组的顺序表现和实现 5.3 矩 ...
分类：
其他好文 时间：
2016-08-02 00:49:39
阅读次数：
241
转自 http://www.cnblogs.com/zxhl/p/4690748.html ACM进阶计划ACM队不是为了一场比赛而存在的，为的是队员的整体提高。大学期间，ACM队队员必须要学好的课程有：lC/C++两种语言l高等数学l线性代数l数据结构l离散数学l数据库原理l操作系统原理l计算机组 ...
分类：
其他好文 时间：
2016-07-25 00:12:52
阅读次数：
212
-_-！工作近五年，一切回归原点。需求到软件实现，就是一个数据建模的过程。看《离散数学及其应用》有感。 ...
分类：
编程语言 时间：
2016-06-17 19:39:49
阅读次数：
160
短程线、距离：记Γ是vi到vi的一掉路径，Γi = min{Γ1、Γ2、Γ3…}，那么Γi就是vi和vj之间的短程线，其长度即是vi与vj之间的距离。 点割集、割点：记p(G)为G的连通度，对于点集V的子集V’，V’任意的子集V’’，满足p(G-V’’)>p(G)，那么V便成为一个点割集，当某个点割 ...
分类：
其他好文 时间：
2016-06-12 10:49:19
阅读次数：
190
几种特殊的图： 二分图： 定义：对于G，存在点集V1、V2满足V1∩V2 = ?，V1∪V2 = V，并对于任意边eij，有vi、vj分别属于V1、V2，则称这样的图是二分图，也叫二部图、偶图、双图。这里需要注意的是，我们这里约定n阶零图(不含边的图)也是二分图。(并且这里我们主要讨论无向二分图) ...
分类：
其他好文 时间：
2016-06-12 10:47:06
阅读次数：
160
