1. 命题逻辑
命题逻辑研究以命题为基本单位构成的前提和结论之间的可推导关系。我们将讨论
命题逻辑的基本概念，以及基于命题的真值解释实行演绎的等值演算和自然推理演
算。
1.1 命题的概念
? 一个命题是一个非真即假的陈述句。
» 命题具有真假值，而且非真即假
» 陈述句限定源于命题的判断属性
» 或然性的排除
» 命题的真假判定问题：真假的常识性影响；真假的时间性影响；判定方法...
分类：
其他好文 时间：
2016-04-17 23:05:14
阅读次数：
465
1.计算机科学概论 计算机科学概论 2.计算机数学基础 高等数学 线性代数 概率论与数理统计 离散数学及其应用 离散数学教程(北大版) 什么是数学 具体数学：计算机科学基础 3.C语言 谭浩强C程序设计 C primer plus The C programming language C和指针 C专 ...
分类：
其他好文 时间：
2016-04-13 18:36:14
阅读次数：
100
杭电上碰巧有几道求最小割的题目，用网络流解超时。通过离散数学中的一些知识可以将平面图最小割转化为最短路径，通过最短路解提高效率。这个转化过程很简单，但是很巧妙，详细内容可以参考《浅析最大最小定理在信息学竞赛中的应用》。1. 【HDU】 3870 Catch the Theves有一个网格拓扑，每条边 ...
分类：
其他好文 时间：
2016-04-05 02:04:52
阅读次数：
317
你所在的学校有计算机科学专业和软件工程专业么？相关专业的教学计划和毕业出路有什么不同？阅读有关软件工程和计算机科学的区别的文章，谈谈你的看法。 答： 在教学上，计算机科学偏理论，而软件工程偏实践。但是毕业出路大体上没有什么不同。 计算机科学中的理论研究部分，大多可以从形式上证明，与数学、离散数学、说
分类：
其他好文 时间：
2016-03-05 23:26:53
阅读次数：
198
题目中文的不解释啊。。。 须要注意的就是：离散数学中，有向图的邻接矩阵A表示全部点之间路径长度为1的路径数量，A^n则表示路径长度为n的路径数量。故须要求某两点在(A^t1)~(A^t2)的路径数量之和。 奥运 Time Limit: 1000/1000 MS (Java/Others) Memor
分类：
其他好文 时间：
2016-02-22 15:56:31
阅读次数：
152
3.2 一阶逻辑等值演算? 3.2.1 一阶逻辑等值式与置换规则– 基本等值式– 置换规则、换名规则、代替规则? 3.2.2 一阶逻辑前束范式 否定词 从里面出来和从两面进来，量词符号都要变化 量词分配的时候 不变。 同方向的没有分配率。 US(全称指定规则 Universal Specify)ES
分类：
其他好文 时间：
2016-02-12 16:16:49
阅读次数：
330
2.4 命题逻辑推理理论? 2.4.1 推理的形式结构– 推理的前提与结论,正确推理– 推理定律? 2.4.2 自然推理系统P– 推理规则– 直接证明法, 附加前提证明法,归谬法(反证法), 归结证明法 推理定律——重言蕴涵式 左边是真的，右边就是真的。 7、拒取式：-> 非B --> 非A 8、假
分类：
其他好文 时间：
2016-02-12 16:16:37
阅读次数：
487
第7章 树及其应用7.1 无向树7.2 根树及其应用 ? 7.1.1 无向树的定义及其性质? 7.1.2 生成树与基本回路和基本割集? 7.1.3 最小生成树 无向树的定义无向树: 连通无回路的无向图平凡树: 平凡图森林: 每个连通分支都是树的非连通的无向图树叶: 树中度数为1的顶点分支点: 树中度
分类：
其他好文 时间：
2016-02-10 23:23:30
阅读次数：
1091
6.2 图的连通性 ? 6.2.1 通路与回路– 初级通路(回路)与简单通路(回路)? 6.2.2 无向图的连通性与连通度– 连通图、连通分支– 短程线与距离– 点割集、割点、边割集、割边(桥)– 点连通度与边连通度 ? 6.2.3 有向图的连通性及其分类– 可达性– 弱连通、单向连通、强连通– 短
分类：
其他好文 时间：
2016-02-10 23:21:30
阅读次数：
1731
第5章 函数? 5.1 函数定义及其性质? 5.2 函数的复合与反函数 5.1 函数定义及其性质? 5.1.1 函数的定义– 函数定义– 从A到B的函数? 5.1.2 函数的像与完全原像? 5.1.3 函数的性质– 函数的单射、满射、双射性– 构造双射函数 满射：就是Y全用了。 单射：一对一。说明是
分类：
其他好文 时间：
2016-02-10 22:12:23
阅读次数：
490
