搜索资源列表
SimpleTruthTable.tar
- 用c++写的逻辑表达式真值表，可以实现 a&!(b|c)的真值表。特点是代码简短，风格规范，注释少而精。适合离散数学和模拟电路课程的学习。 tar.gz包内有README，按里面写的编译运行。-With c++ Write truth table logic expressions, you can achieve a & (b | c)! Truth table. Is characterized by a short code, style norms, comment concise.
discrete-mathematics_1
- 合肥工业大学计算机与信息学院离散数学（上）课件-Hefei University of Computer and Information Science Discrete Mathematics (on) Courseware
Image-analysis
- 字图像处理(Digital Image Processing)是通过计算机对图像进行去除噪声、增强、复原、分割、提取特征等处理的方法和技术。数字图像处理的产生和迅速发展主要受三个因素的影响：一是计算机的发展；二是数学的发展（特别是离散数学理论的创立和完善） 三是广泛的农牧业、林业、环境、军事、工业和医学等方面的应用需求的增长。-digital image processing,classic algorithms,digital image processing,classic algorith
codes
- 离散数学中判断关系性质等的程序,可用于学习理解离散数学-Judging the prosperities of relations in discrete mathematics
chuandi
- 离散数学中判断二元关系是否传递，有的话输出提示-Discrete Mathematics determine whether the transfer binary relation, any output tips
eryuanguanx
- 离散数学课程设计的题，计算二元关系的等价类及商集-Discrete mathematics curriculum design problems, computing and business set of equivalence classes of binary relations
Equivalence-relation
- 离散数学中显示7元素所有的等价关系，采用关系闭包实现-Shows all the equivalence relation of seven elements in discrete mathematics, USES the relationship between closure
function
- 求有向图的所有强连通分支。给定一个有向图D求出其所有的强连通分支。用java实现。涉及到离散数学的知识-Finding All connected components of a directed graph
oular
- 离散数学里面的欧拉回路问题，先输入顶点数和边数，然后把边的两个顶点输入。-Discrete Mathematics inside loop Euler problem, enter the number of vertices and edges, and then the input side of the two vertices.
relation
- 判断矩阵是否是自反的，对称的，离散数学中的二元关系。-Matrix to determine whether it is reflexive and symmetric, Discrete Mathematics in the binary relation.
Chinas-postal-problem
- 计算机离散数学-图论-中的中国邮路问题的一种解决方案，可在dev，VC下调试成功-Computer discrete mathematics- China postal problem in graph theory, a solution, can be in dev, VC debugging success
discrete-mathematics-design
- 关于《离散数学》的程序，以及txt的编码文档（自己编写的）-About " Discrete Mathematics" program, as well as txt file encoding (write your own)
求主析取主合取、真值表并判断是否相等
- cpp文件可实现“求主析取主合取及其真值表，并能判断是否相等”(The program can be realized for disjunctive conjunctive and truth table, and determine whether equal")
判断输入是否为命题公式
- 本程序可以实现：判断输入得公式是否为命题公式(This procedure can determine whether the input is propositional formula)
判断两命题公式是否蕴含
- 本程序可实现：判断两个输入的命题公式是否蕴含(This document can determine whether or not the two propositional formulas contain)
离散优化
- 该算法是对数学计算的优化处理，可很便利的应用于工程中数学优化计算中(The algorithm is an optimization of mathematical computation)
twxversalsmarttree
- 离散数学重言式判别以及逻辑表达式求值原代码()
QBHU
- 离散数学中---------一阶谓词演算源代码()
bloxpy
- 离散数学中关系的闭包运算,包括自反闭包,对称闭包,传递闭包()
47508802
- 这是离散数学中集合与图论部分的算法实现 压缩包中有六个算法,均是,cpp文件,编译运行后,完全正确,已通过验证！()