![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学基础
wjszfq
天道酬勤
展开
-
离散数学之数理结构推理理论
推理理论分为三种演绎法附加前提证明法归谬法其中的附加前提证明法、归谬法都是演绎法的扩展。这里来说下演绎法前提知识:推理定理:还有用到一些等价的命题推论。这样的化,就可以来推理了。前提:A1,A2,***,Ak.结论:A->B.如:前提:p V q,¬r->¬q,¬p。结论:r。附加前提证明法:前提:A1,A2,***,Ak.结论:B.归谬法:前提:A1,A2,***,¬B结论:0....原创 2018-03-28 21:30:04 · 7798 阅读 · 0 评论 -
离散数学之关系(传递闭包)
传递闭包的定义:R’是R(不具有传递性质)变动最少的步骤得到的具有传递性质的关系。方法:warshall法即运行n次,每次使得MR[n][i],MR[i][n]都为1时使得MR[i][j]为1,否则还是为MR[i][j].#include<stdio.h>#define N 10 int judge(int k,int i,int j){ if(i==1 &&...原创 2018-05-14 16:26:47 · 34751 阅读 · 3 评论