educode离散数学第15页

离散数学复习——第二章命题逻辑等值演算

2.1等值式概念：若等价式AB是重言式，则称A与B等值,记作AB，并称AB是等值式范式定义：定理2.1：(1)一个简单析取式是重言式当且仅当它同时含有某个命题变项和它的否定式.(2)一个简单合取式是矛盾式当且仅当它同时含有某个命题变项和它的否定式.定理2.2：(1)一个析取范式是矛盾式当且仅当它每个简单合取式都是矛盾式.(2)一个合取范式是重言式当且仅当它的每个简单析取式都是重言式.定理2.3（范

故梦连城·2020-09-14 16:03

离散数学-7 二元关系

定义7.1由两个元素x和y，按照一定的顺序组成的二元组称为有序对，记作.有序对性质:(1)有序性（当xy时）(2)与相等的充分必要条件是=x=uy=v.定义7.2设A,B为集合，A与B的笛卡儿积记作AB，且AB={|xAyB}.笛卡儿积性质：(1)不适合交换律ABBA(AB,A,B)(2)不适合结合律(AB)CA(BC)(A,B,C)(

lyhan1998·2020-09-14 14:05

离散数学-5 一阶逻辑等值演算与推理

定义5.1设A,B是两个谓词公式,如果AB是永真式,则称A与B等值,记作AB,并称AB是等值式基本等值式第一组命题逻辑中16组基本等值式的代换实例以及推理定律的代换实例第二组(1)消去量词等值式设D={a1,a2,…,an}①xA(x)A(a1)A(a2)…A(an)②xA(x)A(a1)A(a2)…A(an)(2)量词否定等值式①xA(x)xA(x)②

lyhan1998·2020-09-14 14:05

离散数学-2 命题逻辑等值演算

求公式主析取范式的方法步骤:方法一：等值演算设公式A含命题变项p1,p2,…,pn(1)求A的析取范式A=B1B2…Bs,其中Bj是简单合取式j=1,2,…,s(2)若某个Bj既不含pi,又不含Øpi,则将Bj展开成BjBj(pipi)(Bjpi)(Bjpi)重复这个过程,直到所有简单合取式都是长度为n的极小项为止(3)消去重复出现的极小项,即用mi代替mimi(

lyhan1998·2020-09-14 12:41

遍历整个图的最短路径问题

链接：https://www.nowcoder.com/acm/contest/188/C来源：牛客网题目描述小w不会离散数学，所以她van的图论游戏是送分的小w有一张n个点n-1条边的无向联通图,每个点编号为

weixin_30737433·2020-09-14 05:13

【考研经验】2018中科大CS考研第一经验分享

初试398：数学123，专业课123，英语84，政治68，排名第二，复试：笔试（编译原理+离散数学+数据库+系统结构）+机试+面试，排名第二，总分第一录取学硕。

计算机与软件考研·2020-09-13 21:25

数据库函数依赖——被支配了！

文章目录函数依赖概述什么是函数依赖函数依赖的特性非平凡的函数依赖其他特性函数依赖分析举例完全函数依赖与传递函数依赖完全函数依赖传递函数依赖其他概念候选键外来键逻辑蕴涵闭包小结仿佛回到了被离散数学支配的日子

Zero_Sharp·2020-09-13 15:01

离散数学n元真值函数

n元真值函数这次我们来看看离散数学中的n元真值函数，最近偶然间看见了这个n元真值函数，发现如果没接触过类似的东西，直接看书上写的东西，似乎会有点晕，于是写下这篇博客，记录我对它的理解过程。

Zero_Sharp·2020-09-13 15:00

信息安全原理与实践学习

高数渣的我，还是买了一本计算机数学基础，还是多看看，之前犯下的过错，现在应该补偿的，对于离散数学，我是真的没有头绪，还是看看网课，多结合一下实际问题，努力学下来。(mmp的数学)密码学技术(就是传

JYFelt·2020-09-13 03:57

离散数学——数论算法

最近在复习离散数学，这篇文章是《离散数学及其应用》第六版中第三章算法、整数、和矩阵中涉及到的几个算法，我想了一下，光看看也起不到什么作用，于是自己动手写了一下，下面的代码都是我自己按照书上的伪代码写出来的

weixin_30721077·2020-09-13 03:46

离散数学

“离散数学”正在深刻地影响着我们的生活！

weixin_30633405·2020-09-13 03:40

离散数学——中国剩余定理（孙子定理）

最近离散刚学中国剩余定理，初次使用，第一次做省选题，发帖记录一下。。话不多说上代码洛谷1495中国剩余定理/曹冲称象#includeusingnamespacestd;inta[15],b[15],n;unsignedlonglongm=1,m1[12],ans=0;//用longlong就行，数据只到1e18intmain(){ios::sync_with_stdio(0);//关闭同步流。ci

ether-·2020-09-13 00:57

求和求乘累加累乘符号运算法则-数学

离散数学环207两个符号的处理先将其中一个未知数当常量，另一个未知数从1至n依次递加后各项式子相加。然后再将另一个未知数从1至n依次递加后各项式子相加便是结果。

kyle1314608·2020-09-12 15:38

MIT算法导论公开课之第1课课程简介及算法分析

先修课程离散数学、概率论、编程课程算法分析算法分析是理论研究，是关于计算机性能和资源利用的研究（尤其关注性能）。

rye_whiskey·2020-09-12 13:07

计算机系为什么要学数据库原理和设计？

如果能再把离散数学、数字电路、体系结构、数据结构/算法、编译原理学通透，再加上丰

diaoju3333·2020-09-12 08:32

离散数学：集合论的代数化样例

离散数学是计算机专业重要的基础学科，它是数据库、数字逻辑电路、逻辑学、数据结构、人工智能等学科的前驱课程。

折竹丶·2020-09-12 06:49

离散数学——图论（1）

今天在OJ上碰到一个离散数学中图的问题。一直没时间也没耐心看离散数学。感觉有点枯燥。不过当用上了还是有些用处的。这里记下几次图论的东西。完善后进行整理。

wszdzh·2020-09-11 20:30

Discrete Problem 4（离散数学4）

Think:因为不知道输出的字符串是多长的，所以用getline(cin,str)；读取至换行。然后进行分割字符串，直接用stringstream来进行分割字符串，利用用set自动去重复的特性来进行存储。随后在第二组输入的时候判断之前是否出现过即s.count()是否为0，不为0就进行存储。然后直接sort排序，输出。ProblemDescriptionGiventwosetsofnumbers(

月落乌啼霜月落·2020-09-11 18:07

POJ 1308 Is It A Tree?【判断树并查集】

题目链接：vjudge传送门题目大意：给定若干条有向边，判断所给的所有边是否能组成一颗树（包含空树）具体思路：离散数学图论知识，只有一个结点入度为0，其它结点入度均为1的图是树，保存每个点的入度，最后判断即可也可按树的定义来

三寸雪·2020-09-11 18:46

《离散数学及其应用》学习(上)

一.逻辑和证明，集合，函数1.逻辑难题http://www.2144.cn/html/88/6426/二.算法，整数和矩阵三．数学推理，归纳与递归停机问题现在描述计算机科学里的一个最著名定理的证明，证明存在不能用任何过程来解决的问题，即证明存在不可解的问题。研究的这个问题是停机问题，问是否存在这样做的过程：以计算机程序和程序的输入作为输入，确定当程序依据是这个输入运行是否最终停止。可以以此帮助测试

shiyuankongbu·2020-09-11 16:23

11月24日小结

这几天晚上就是打打代码关于数学的，白天复习（其实和预习差不多）累了歇会，中午去看一下书上的知识点晚上找找模板敲一下顺便做个题目来热热手，复习一下图论的知识正好数据结构和离散数学在讲图论。哎

杜小鑫吖丶·2020-09-11 16:00

离散数学——数学结构

封闭性（closure）封闭性，即闭包(数学)。数学中，若对某个集合的成员进行一种运算，生成的仍然是这个集合的成员，则该集合被称为在这个运算下闭合。例子：5*5的矩阵关于加法和乘法关系是闭包的，因为两个5+5矩阵的总和是另一个5*5矩阵。（乘法同理）奇数的加法，乘法关系就不具备闭包关系。二元运算（Binaryoperation）二元运算(Binaryoperation)作用于两个对象的运算。作用于

至尊·2020-09-11 16:27

离散数学及其应用（英文版）--笔记1

Conditionalstatement“ifp,thenq.”与“ponlyifq”是等价的，后一个表述是有点迷惑的。“ponlyifq”里面隐含的意思：1.p不能为true，当q为false，---p（F）,q(F),statement(T)2.如果p为true，q为false，则该表述是false---p（T）,q(F),statement(F)3.当p为false，则q无所谓true或fa

大饼博士_cqqian·2020-09-11 15:57

离散数学及其应用第一章习题

1.1练习1.a)是真命题b)是假命题c)是真命题d)是假命题e)不是命题f)不是命题2.a)不是命题b)不是命题c)是假命题d)不是命题e)是假命题f)不是命题3.a)今天不是星期四b)新西兰有污染c)2+1不等于3d)缅因州的夏天不热或者不晒4.a)本周我没有买一张彩票b)本周我买了一张彩票或者星期五我中了百万美元头奖c)如果本周我买了一张彩票，星期五就能中百万美元头奖d)本周我买了一张彩票并

liang_jiayu·2020-09-11 15:03

（译）离散数学Discrete Mathematics James L. Hein

kemin原创翻译，引用注明出处，谢谢。DiscreteMathematicsJamesL.HeinDepartmentofComputerSciencePortlandStateUniversityhttp://www.amazon.com/Discrete-Mathematics-James-L-Hein/dp/0763722103Thisbookisdesignedforanintroduc

keminlau·2020-09-11 14:08

Discrete Mathematics 离散数学——图论

DiscreteMathematics离散数学——图论定理:TheHandShakingTheorem基本的图CompletegraphKnCyclesCnWhellsWnn-cubeQn二分图：BipartiteGraphs

weixin_41531090·2020-09-11 13:05

离散数学及其应用（第七版）中英课本及答案

作者:KennethH.Rosen出版社:机械工业出版社原作名:DiscreteMathematicsandItsApplications《计算机科学丛书：离散数学及其应用（原书第7版）》是介绍离散数学理论和方法的经典教材

Clementine_GO·2020-09-11 12:57

Discrete Mathematics and Its applications - 离散数学及其应用读书笔记（二）

《Discrete》书中关于BayesianSpamFilter的应用，中文可以翻译为“基于贝叶斯理论的垃圾邮件过滤器”先是一个简单的例子，基于单个单词的删选词，原文有个例子：Supposethatwehavefoundthattheword“Rolex”occursin250of2000messagesknowntobespamandin5of1000messagesknownnottobesp

dbLenis·2020-09-11 12:47

集合的交并差补运算

这是离散数学上的一个实验题，让用编程实现集合的交并差补的运算。我这是借鉴的同学的。我自己水平还达不到啊。

@struggle@·2020-09-11 12:39

菜鸟学习Android之路---java基础笔记-（3）继承以及封装

我是这样理解的，父类就像人的祖先那样，那只猴，而现在的人就是猴的子类；父类与子类用离散数学来讲就是一般和特殊的关系，（

让编程成为习惯·2020-09-11 09:44

离散数学图论经典问题之握手定理

今天学习了图论的一些经典问题，感觉挺有意思的，伟人不愧称之为伟人，想问题的方式果然与常人不同。好了，不说废话了，让我们回到今天的正题，握手定理。首先我认为学到一种新知识最好的检测方式就是利用该知识来解决实际问题。那么让我们来看一个实际案例吧。案例：唐氏夫妇邀请另外三对夫妇来家里吃饭，以知每个人都不和自己握手，不和自己的配偶握手，同时最多和一人握手一次。在大家吃完饭后，唐先生问大家握了几次手，然而每

springblogxxx·2020-09-11 04:14

四元数学习之四元数和矩阵的转换

在离散数学中有讲到半群、群、环和域的概念，其中环的定义是具有交换率和分配率（详情参考环的数学定义），而域的概念则是在环的基础上加上了交换率。所以说四元数无法满足域的定义，它是除法环的一种。何为除

iteye_13202·2020-09-10 14:09

小学生题目，难道答案不对吗?

来自：程序员最幽默（ID：humor1024）图片来自：网络0、小学生题目，难道答案32朵不对吗1、这道题，难度系数爆表.....2、在离散数学里面，这个是零元和幺元的问题。

爱编程_·2020-09-10 13:24

如何通过离散数学60+

本人74飘过（两个大题没时间写我直接空着，选择题时间花多了），一个月的备考从找资料看再结合题目首先最重要的是视频B站很强大，我看了两个版本的离散第一个版本是出自某个培训机构所以视频一直在很多集，很适合去了解不过这个版本我听到关系与函数，就开始听不懂了，当时我就慌了好难啊。（我咬牙听完）听完我当时自我感觉我把第一到第四章主要讲逻辑推导有公式，标记成很好理解，不懂就刷刷题第五到七章：集合、关系与函数、

王晨玮Mark·2020-09-04 12:22

离散数学第五版：第四章知识点概要

本章内容主要为二元关系以及函数。第一节为集合的笛卡尔积与二元关系：前半部分主要讲了有序对，第一元素，第二元素，笛卡尔积等的概念；后半部分讲了一些二元关系，比如空关系，全域关系，恒等关系，小于等于关系，整除关系，关系矩阵和关系图等。第一元素和第二元素就像是坐标的x值和y值，像是一个死规定。笛卡尔积是一个听过很多次也经常忘的概念，就像括号乘法一样，作各项的有序组合。另外其有四个性质：第一个是关于空集，

燃烧的铁蛋·2020-08-26 23:45

数据结构总结（图）

一，图的逻辑结构图的部分知识在离散数学已经有所介绍，如有向图顶点度（入度=出度=边数），注意有向图连通也是任意俩点之间连通，不是无向图有边串连所有点的形式。

_Violet_·2020-08-26 15:50

离散数学实践:常用逻辑联结词计算

准备知识在命题逻辑中，五个常用逻辑联结词是最基本的概念，它的计算是后续合式公式值的计算的基础。（1）真值的表示：整数0表示真值为假，整数1表示真值为真。（2）否定逻辑联结词：当实参为0时，返回1，否则返回0。（3）合取逻辑联结词：当两个实参同时为1时，返回1，否则返回0。（4）析取逻辑联结词：当两个实参同时为0时，返回0，否则返回1。（5）条件逻辑联结词：当条件的前件为1，后件为0时，返回0，否则

松子茶·2020-08-26 14:02

高级算法要求

基础核心课：《计算机组成原理》《计算系统概论基础》《离散数学》《操作系统》《计算机网络》《数据结构与算法》专业核心课：基础课：编程语言（C++、Java、PHP、Python）（编译原理）软件工程：软件项目管理

Shumao_94·2020-08-26 14:59

离散数学——图论笔记

Reference:《现代图论》——北京航空航天大学出版社图的基本概念1.1图的定义图是一个三元组，记作G=其中，V称为顶点集，E称为边集，φ称为E->V*V（笛卡尔积）的对应关系。1.1.1其他定义邻接结点：关于同一条边的两个结点孤立结点：不与任何结点相连接的结点（度数为0）邻接边：关联于同一个结点的两条边环：两端点相同的边平行边/重边：两结点间方向相同的若干条边对称边：两端点相同但方向互为相反

Sensente·2020-08-26 11:34

课程

1、射影几何与计算机视觉2、C语言进阶3、离散数学4、高等代数5、C++6、计算机组成原理之机器

阿米咖啡花·2020-08-25 14:34

【牛客 - 185B】路径数量（离散数学，长度为k的路径数量，图）

题干：给出一个n*n的邻接矩阵A.A是一个01矩阵.A[i][j]=1表示i号点和j号点之间有长度为1的边直接相连.求出从1号点到n号点长度为k的路径的数目.输入描述:第1行两个数n,k(20≤n≤30,1≤k≤10)第2行至第n+1行，为一个邻接矩阵输出描述:题目中所求的数目示例1输入复制420110100110010110输出复制2说明样例如图:第一条路径：1-2-4第二条路径：1-3-4解

韬光养晦_·2020-08-25 07:54

ACM/ICPC竞赛

双链表及循环链表2，树的表示与存储，二叉树（概念，遍历）二叉树的应用（二叉排序树，判定树，博弈树，解答树等）3，文件操作（从文本文件中读入数据并输出到文本文件中）4，图（基本概念，存储结构，图的运算）数学知识1，离散数学知识的应用

weixin_30678821·2020-08-25 05:11

tencent腾讯——笔试题2

基本都是基础题目，看来腾讯不准备放弃那些有思想但是还没有开始苦练基本功的人，只涉及到语言问题和简单的数据结构，其他的操作系统，编译原理，离散数学，软件工程，计算机原理，体系结构等等无一涉及，题目很多，题号不与原试题相符

tvtvtvtv·2020-08-25 04:23

离散数学，命题公式（真值表+范式（析&&主））

//此代码只支持三个变相的命题公式#include#include#include#include#includeusingnamespacestd;intCom(chara){switch(a){case'(':return5;break;case'!':return4;break;case'&':return3;break;case'|':return2;break;case'-':retur

Forward in time·2020-08-25 04:25

离散数学第五版：第五章知识点概要

第五章主要是讲图的基本概念，其中大部分内容都是考研的时候接触过的。第一节为无向图与有向图，又和以前一样，堆了若干概念定义，主要有多重集，无序积，顶点集，边集，n阶图，零图，平凡图，端点，孤立点，关联次数等等，无甚大用。第二节为通路、回路和图的连通性，主要也是讲了图的一些概念，何为连通，何为可达等等。这一节有三个可能有用的概念，一个为弱连通图，指的是对应的无向图可以连通；一个是单向连通图，指的是任意

燃烧的铁蛋·2020-08-25 03:28

牛人的ACM经验（转）

双链表及循环链表2，树的表示与存储，二叉树（概念，遍历）二叉树的应用（二叉排序树，判定树，博弈树，解答树等）3，文件操作（从文本文件中读入数据并输出到文本文件中）4，图（基本概念，存储结构，图的运算）数学知识1，离散数学知识的应用

weixin_30814223·2020-08-25 02:15

离散数学实验题目-图

离散数学实验报告计算机科学与技术系目录第一章实验概述31.1实验目的31.2实验内容31.3实验环境3第二章实验原理和实现过程42.1实验原理42.2实验过程（算法描述）42.2.1程序整体思路42.2.2

STZG·2020-08-24 17:30

SFKP • 计算机百科丨中国数据库发展史

如果能再把离散数学、数字电路、体系结构、数据结构/算法、编译原理学通透，再加上丰富的实践经验与领域特定知识，就能算是一个优秀的工程师了。

徐九·2020-08-24 16:02

一篇关于四色定理的证明争论

--我在学习离散数学的时候曾经对四色定理感过兴趣，还曾尝试证明它，哈哈，好难[@more@]方舟子遭哲学狂人挑战贴生死协议欲文明对决方舟子：福建云霄县人，被称为学术打假斗士。

cuifei1355·2020-08-24 13:37

朴素贝叶斯文本分类算法

再一次深刻认识到学好基础知识的重要性，要理解朴素贝叶斯，需要有很好的概率与数理统计，离散数学基础。一.NaiveBayes基础知识。

F_Guardian·2020-08-24 02:14

推荐频道

educode离散数学

离散数学复习——第二章 命题逻辑等值演算