E-COM-NET
首页
在线工具
Layui镜像站
SUI文档
联系我们
推荐频道
Java
PHP
C++
C
C#
Python
Ruby
go语言
Scala
Servlet
Vue
MySQL
NoSQL
Redis
CSS
Oracle
SQL Server
DB2
HBase
Http
HTML5
Spring
Ajax
Jquery
JavaScript
Json
XML
NodeJs
mybatis
Hibernate
算法
设计模式
shell
数据结构
大数据
JS
消息中间件
正则表达式
Tomcat
SQL
Nginx
Shiro
Maven
Linux
educode离散数学
离散数学
_集合论部分_总结
集合论知识点&例题集合论,我个人感觉是在之前命题逻辑和谓词逻辑上的延伸。学好了前两章,看后面的集合论就会很快。这部分内容还是比较少的,下一章二元关系内容还是比较多的,也有好多新的概念。——来自一只学不会大物的小笨鸟
Bi9R!ver
·
2020-12-16 11:44
数学
线性代数
集合论
离散数学
中 集合、关系、群 的证明方法(英文证明附例题)
集合子集关系证明A是B的子集证明A中任意的元素都在B中即可句式ForeachelementainsetA,wehaveabelongstoB.SoAisthesubsetofB.(以下我都尽量用符号吧,毕竟符号更直观点)两个集合相等证明A=B证明A,B互为子集即可句式ForeachelementainsetA,wehavea∈B,i.eA⊆B.ForeachelementainsetB,wehav
makerjack001
·
2020-12-14 14:22
笔记
一些关系(
离散数学
中的)的算法设计思想
证明既定关系给出如下所示的学生成绩统计表学生\课程A₁A₂……AnX₁A₁(X₁)A₂(X₁)…………X₂A₁(X₁)A₂(X₁)……………………………………Xm………………An(Xm)根据学生的学习成绩,写出求解获取所有学生的集合上序关系的算法描述:即若学生Xi,在所有课程上的成绩都优于学生Xj,则学生对(Xi,Xj)满足序关系,这一序关系以矩阵的形式输出。思路有n个学生,就构建一个n行n列的学
makerjack001
·
2020-12-14 14:00
笔记
算法
【
离散数学
】计算主析取范式(基于真值表)
【问题描述】请根据给定的命题公式,计算其真值为T的小项,列出主析取范式,并输出结果。【输入形式】输入一个字符串(字符串长度>=1;--i;}intlen=argument.size();for(i=0;i#include#include#include#include#include#include#includeusingnamespacestd;//联结词优先!*|-=高到低unsignedc
C-S=Cong
·
2020-12-11 00:24
杂记
算法
数据结构
字符串
我的算法不可能这么简单—ST表
(吸收率,详见
离散数学
代数系统的吸收率)ST表为离线算法,因此区间给定后,不能进行修改,
Eloik
·
2020-12-03 12:38
我的算法不可能这么简单
算法
acm竞赛
编程真的很难学吗,为什么很多大学生都觉得学习编程很难呢?
大学开设的教程,理论性的东西居多,而且开设科目还很多,很难学的很精炼,就拿计算机科学与技术这个专业来说,基本上计算机类的课程全部开设了,C语言,网络基础,操作系统,数字电路,模拟电路,汇编语言,
离散数学
yiduedu2008
·
2020-11-26 09:43
疑难解惑区
网络
编程语言
java
华南农业大学编译原理实验_编译原理课程教与学(教学大纲)
):编译原理/CompilerPrinciple学分:4总学时:64理论学时:40实验学时:24课程性质:专业核心类课程必修开课学期:6适用专业:计算机科学与技术先修课程:面向对象程序设计,数据结构,
离散数学
weixin_39718460
·
2020-11-23 10:44
华南农业大学编译原理实验
哈工大编译原理实验语法分析
山东大学编译原理实验
编译原理什么是移进规约冲突
编译原理实验
编译原理实验二
nfa确定化和dfa最小化
离散数学
反对称关系_
离散数学
——图【学习笔记】
哈斯图步骤详解详细图解——怎样一步步从普通关系图转换成哈斯图特殊元素——最大/小元极大/极小元最大/小元&极大/小元的区别上界求上界/上确界的实例下界求下界/下确界的实例上/下(确)界的总结拟序拟序是反对称是如何得出的同一集合A上的拟序关系与偏序关系之间的关系全序关系全序集的哈斯图良序关系有限全序集一定是良序集一张图表明偏序、全序、良序关系之间的关系函数从A到B的一切函数构成集合集合A到集合B存在
weixin_39768247
·
2020-11-22 14:57
离散数学反对称关系
Java垃圾回收机制与分代回收策略
可达性分析可达性分析算法是从
离散数学
中的图论引入的,JVM把内存中所有的对象之间的引用关系看作一张图,通过一组名为”GCRoot"的对象作为起始点,从这些节点开始向下搜索,搜索所走过的路径称为引用链,最后通过判断对象的引用
-Sloth-
·
2020-10-17 18:26
面试_Java
【晨间日记】2020年10月13日
2020年10月13日天气:晴【90天践行目标】(128/210)①减重20斤②每日写时间规划③写晨间日记【昨日践行】①夜跑半小时+引体向上*5②时间规划已完成③晨间日记已完成【今日青蛙】①写
离散数学
作业
语瞳SAMA
·
2020-10-13 07:20
1.1 绪言
离散数学
形成能力评价(Rosen)数学推理能力组合分析能力离散结构分析和应用能力算法思维能力应用于建模能力
阿米咖啡花
·
2020-10-11 00:36
【晨间日记】2020年10月5日
2020年10月5日天气:阴【90天践行目标】(120/120)①5:30早起②22:30早睡③写晨间日记【昨日践行】①5:41起床②22:43入睡③晨间日记已达成【今日青蛙】①刷概率论、
离散数学
的习题
语瞳SAMA
·
2020-10-05 07:38
【
离散数学
】实验 一个简单的自动逻辑推理问题
一个公安人员审查一件盗窃案,已知的事实如下:(1)A或B盗窃了x;(2)若A盗窃了x,则作案时间不能发生在午夜前;(3)若B证词正确,则在午夜时屋里灯光未灭;(4)若B证词不正确,则作案时间发生在午夜前;(5)午夜时屋里灯光灭了;求解谁是盗贼,并打印输出。要求封装逻辑表达式函数(析取、合取)。下面给出了两种大致相同的代码实现(Java):个人感觉第二个更好一点点。publicclassReason
星拱北辰
·
2020-09-26 21:34
#
离散数学
实验:随机生成图判断是否为欧拉图并给出欧拉(回)路
#include#include#include#include#include#defineMAX1000usingnamespacestd;inta[MAX][MAX];//图的矩阵intb[MAX];//记录各节点的度boolvisit[MAX],ff=true;//记录是否被访问过inteuler[MAX],ans[MAX];//欧拉路intm,n;//m表示结点个数,n表示边的条数int
curryone1
·
2020-09-17 15:47
acm
考研复试 |
离散数学
——第二章 一阶逻辑
加强记忆:1.一阶逻辑中的一些重要等值式2.1一阶逻辑基本概念个体词:可以独立存在的客体谓词:用来刻画个体词的性质或个体词之间关系的词语个体常项个体变项个体域(论域):个体变项的取值范围全总个体域:当无特殊声明时,个体域由宇宙间的一切事物组成谓词常项,谓词变项元数,n元谓词,0元谓词量词特性谓词注意事项2.2一阶逻辑合式公式及解释字母表项原子公式合式公式回顾:指导变项,辖域,约束出现,自由出现封闭
卫龙女孩
·
2020-09-17 15:37
考研复试
离散数学
第一章绪论
为了感兴趣而学,参考b站北大《
离散数学
》视频1.1主要内容(集合论和图论)1.2命题逻辑包括基本逻辑符号以及其基本等值式,以及重要推理定律3个方面内容,但仅限于对命题为基本单位的推理。
LeetCoder
·
2020-09-17 15:20
离散数学
离散数学
及其应用第七版中文电子书和答案
为了省去大家找资料的麻烦,现将我辛苦收集到(还有淘宝买到的)的KennethH.Rosen所著的《
离散数学
及应用》百度云奉上。快捷、自由地获得知识和资源,才是互联网的真谛。
STARK_LEE
·
2020-09-17 15:57
资源分享
离散数学
中容易混淆的表述
离散数学
容易混淆的表述:if,onlyif,unless,除非…否则等等,请看下面的博客:https://lewin671.github.io/2018/10/07/Hypothetical-Propositions
Lewin671
·
2020-09-17 15:22
离散数学
欧拉路(有向/无向图的欧拉回路/)
知其然第一次接触欧拉回路是在
离散数学
这本书上,今天再次复习,便写下此博客。欧拉回路是数学家欧拉在研究著名的德国哥尼斯堡(Koenigsberg)七桥问题时发现的。
BigZong
·
2020-09-17 15:38
__欧拉回路
离散数学
复习--第二章:一阶逻辑
2.1一阶逻辑基本概念如果没有事先给出一个个体域,都以全总个体域为个体域。于是,引入一个新的谓词M(x)M(x)M(x):全称量词∀x(M(x)→F(x))\forallx(M(x)\toF(x))∀x(M(x)→F(x))存在量词∃x(M(x)∧F(x))\existsx(M(x)\landF(x))∃x(M(x)∧F(x))当个体域为有限集时,D={a1,a2,...,an}D=\{a_1,a
==樛木==
·
2020-09-17 15:38
知识补充
离散数学
一阶逻辑
离散数学
第一章总结
离散数学
第一章1.公式类型1)重言式也是永真式,公式真值恒为1。2)矛盾式永假式,真值恒为0。3)可满足式不是矛盾式的就都是可满足式。重言式一定是可满足式。
skn000
·
2020-09-17 15:19
离散数学总结
算法
拓扑学
动态规划
图论
离散数学
复习笔记-1
量词辖域的确定方法:1.若量词后有括号,则括号内的子公式就是量词的辖域2.若量词后没有括号,则与量词邻接的子公式就是该量词的辖域约束变元的改名规则:1.将量词中出现的变元以及该量词辖域中此变量所有约束出现都用新的个体变元替换2.新的变元一定要有别于改名辖域中的所有其他变量自由变元的代入规则:1.将公式中出现该自由变元的每一处都用新的个体变元替换2.新变元不允许在原公式中以任何约束形式出现前束范式的
马上有人鱼线的bao160
·
2020-09-17 14:07
离散数学
离散数学
及其应用-学习笔记(1)
离散数学
既是计算机科学的理论基础,又是计算机应用必不可少的工具。
离散数学
为我们以后的计算机学科的学习提供了一切必要的数学基础。
crazyForCoding
·
2020-09-17 14:55
程序人生
离散数学
及其应用第1章笔记总结
命题是逻辑的基本构件,是一个陈述语句,或真或假。从两个或多个已知命题构造新命题的逻辑运算符称为联结词,在逻辑合取中,“但是”一词是等同于“并且”的。合取是p、q为真命题为真,否则为假;析取是p、q为假命题为假,否则为真。兼或包含两个命题都取的情况,异或则不包含。条件语句p->q是命题“如果p,则q”,只有当p为真q为假时命题为假,其余为真。p->q也可以理解为“如果q,那么p"或者是"q除非非p"
Soft'Wind
·
2020-09-17 14:03
JAVA数据结构——图
我们在
离散数学
和数据结构中都接触了图的概念,但是图在生活中应用在那边呢?图的应用处于我们生活的处处面面,如:我们去超市购买巧克力、
会上树的小可爱
·
2020-09-17 09:34
算法
优化理论与方法
2.优化的相关概念静态vs动态数学优化最优控制;连续vs
离散数学
优化的离散与连续问题控制问题的
每天进步一点点就好
·
2020-09-17 03:51
优化理论与方法
优化
python如何求导数(derivative)、求偏导(partial derivative)?(sympy库symbols()函数、diff()函数、subs()函数)
SymPy支持符号计算、高精度计算、模式匹配、绘图、解方程、微积分、组合数学、
离散数学
、几何学、概率与统计、物理学等方面的功能。
Dontla
·
2020-09-16 22:37
Python
【
离散数学
】商代数
相关资料来源于网络,侵删歉。如果文章中存在错误,请下方评论告知我,谢谢!商代数设A=是一个代数系统,~是A上的同余关系,A关于~的商代数A/~=。其中Δ’[a]=[Δa][a]*’[b]=[a*b]注意:S/~是集合的集合,即等价类的集合,形如:{[a],[b],…}*’,Δ’是集合之间的运算[k]是代数常元的集合
wingrez
·
2020-09-16 21:02
温故知新
线性代数 课堂笔记 +思维导图
文章目录思维导图(持续更新中...)第一章1.1二阶和三阶行列式1.2n阶行列式1.3行列式的性质1.4行列式按行(列)展开1.5克拉姆法则概率论课堂笔记+思维导图传送门线性代数课堂笔记+思维导图
离散数学
课堂笔记
陌陌623
·
2020-09-16 17:37
学校科目
线性代数
概率论 课堂笔记 +思维导图
文章目录思维导图(持续更新中...)第一章概率论基本概念1.1随机试验样本空间等概念1.2频率与概率1.3等可能概型1.4条件概率1.5独立性概率论课堂笔记+思维导图传送门线性代数课堂笔记+思维导图
离散数学
课堂笔记
陌陌623
·
2020-09-16 17:37
学习笔记
学校科目
算法:集合的划分原理及代码实现
在大学的
离散数学
中,会有关于划分原理的介绍。基本概念划分的概念就是把一个集合A分成若干个子集a1、a2…的过程,但是必须满足下列条件:1.a1∪a2∪….
陈陈陈小航
·
2020-09-16 06:30
算法
离散数学
基础(命题的合式公式)
1.合式公式•我们会逐渐进入命题逻辑的形式讨论:我们对命题只注意其命题形式,对联结词只注意其逻辑意义。•命题逻辑合式公式的定义给出了命题逻辑研究的对象范围。所有符合定义的合式公式构成合式公式空间,它可被视为命题逻辑的符号化语言。语言的结构包括符号表、语法规则(即合适公式定义)和语义(也即真值)。•定义:符号化语言Lp的符号表包括−小写英文字母:p,q,r,…称为命题变量(或原子变量)。所有可能出现
ChenYuanshen
·
2020-09-16 04:43
离散数学
C++实现
离散数学
中求合式表达式
在输入任何一个合式公式后,该段程序就会自动检测里面的命题变元,并要求为之输入真假值,在输入完毕后就会得出该合式公式的真假值,运用的是递归的思想。----------YYC#include#include#includeusingnamespacestd;/**说明:*用!表示否定*用&表示合取*用|表示析取*用-表示条件*用~表示双条件*/mapvalue_map;intvalue=0;strin
自由不死
·
2020-09-16 03:26
离散数学实现
C++
【应用C】C语言实现
离散数学
合式公式的递归判断
实现合式公式的递归判断,是大二
离散数学
老师给我们出的一道编程题,当时也是第一次接触递归,苦思冥想一段时间后写出来了,逻辑应该没多大问题,也测试过一组数据,应该还有BUG,希望有人提醒我,在此分享给各位。
单眼皮的根号3
·
2020-09-16 02:10
#
应用C
lua 如何支持多线程操作?
举个例子,一个只有上面打开的盒子,现在有三本书
离散数学
、c语言、汇编语言,需要将这三本书一本一本的放进去,先将
离散数学
放进去,然后c语言,接着汇编语言,现在又需要将三本书拿出去,只能先拿汇编语言,再拿c
经验之谈
·
2020-09-15 18:04
linux
C语言
上班日志
离散数学
笔记系列(四)
计数原理笔记:一、容斥原理:二、鸽笼原理:通俗版:加强版:三、排列组合:乘法原理/分步计数原理:加法原理/分类计数原理:排列数公式:常见阶乘数:错位排列公式:组合数公式:常见组合数:常见组合恒等式:经典排列组合:球盒问题:分组分配问题:其他经典计数问题:斯特林公式:四、生成函数/母函数:普通型母函数/组合型母函数:指数型母函数/排列型母函数:常用普通型母函数:一、容斥原理:特殊地:当n=2时:∣A
•*¨♪鹏湘伦♪'':*ε๑
·
2020-09-15 17:00
离散数学笔记系列
莫斯科大学数学力学系 数学部专门化课程目录
数学分析教研室专门化课程2.函数论与泛函分析教研室专门化课程3.高等代数教研室专门化课程4.高等几何与拓扑教研室专门化课程5.微分几何及其应用教研室专门化课程6.一般拓扑与几何教研室教研室专门化课程7.
离散数学
教研室专门化课程
zzwu
·
2020-09-15 16:04
Catalan数和应用 & 2015 google APAC round 2 problem D 括号配对问题
Catalan数是排列组合中很重要的一种数序列,我们先举一个排列组合数的应用来说明Catalan数的意义和如何构造Catalan数,以下例子从《
离散数学
与组合数学》中选出:对于一个N*N的网格,从左下角移动到右上角
复旦微电子
·
2020-09-15 15:24
卡特兰数——Catalan数(从一道腾讯笔试题引发的学习和思考)
2014.04.15地点:基地-----------------------------------------------------------------------------一、故事背景卡特兰数是
离散数学
中的一个重要数列
云梦泽1989
·
2020-09-15 15:47
大公司面试笔试
阿里巴巴
腾讯
面试题
离散数学
之关系(传递闭包)
传递闭包的定义:R’是R(不具有传递性质)变动最少的步骤得到的具有传递性质的关系。方法:warshall法即运行n次,每次使得MR[n][i],MR[i][n]都为1时使得MR[i][j]为1,否则还是为MR[i][j].#include#defineN10intjudge(intk,inti,intj){if(i==1&&j==1){return1;}returnk;}voidwarShall(
wjszfq
·
2020-09-15 14:47
离散数学基础
离散数学
(实验一),集合的交,并,差运算
#include#includeintinput(intd[],intn)//numa=input(A,0);numb=input(B,0);{inti;//n=0;do{scanf("%d",d+n);n+=1;}while(d[n-1]>=0);//限制集合中的数为正整数d[n-1]='\0';returnn-1;}voidsort(intd[],int*n)//sort(C,&n);并集{i
逆风行砾
·
2020-09-15 14:45
数据结构
离散数学
离散数学
实验源代码----集合运算和关系运算
#includeusingnamespacestd;intmain(){cout>n;cout>a1[i1];cout>m;chara2[100000];cout>a2[i1];charc[10000];intu=0;cout';cout<
jiangxu2006
·
2020-09-15 14:04
离散数学
趣味题目
离散数学
趣味题目1,Catalan数饭后,姐妹洗碗,妹妹把姐姐洗过的碗一个一个放进碗橱摞成一摞。
PercyLee
·
2020-09-15 13:58
我的大学时代
离散数学
实验四 关系闭包计算
一、实验目的熟悉Warshall算法,掌握求关系的自反闭包、对称闭包和传递闭包的方法。二、实验内容定义1设R是A上的二元关系,R的自反(对称、传递)闭包是关系R1,则①R1是自反的(对称的、传递的)②RR1③对任何自反的(对称的、传递的)关系R2,若RR2,则R1R2。R的自反、对称和传递闭包分别记为r®、s®和t®。定理1令RAA,则①r®=R∪IA②s®=R∪R-1③t®=R∪R2∪R3…Wa
呐_kululu
·
2020-09-15 13:39
Catalan number卡特兰数
背景知识介绍: 卡特兰数是
离散数学
中的一个重要数列,是很多生活场景的一个抽象,比如买早餐、买电影票等等。在很多大公司的笔试或者面试题中也常涉及到。
BugFree_张瑞
·
2020-09-15 13:14
编程算法
编程题整理
狄克斯特拉算法(Dijkstra)——算法思想及代码实现
这个算法可是属于真正的老经典算法了,这学期
离散数学
里学到的唯一一个算法也就是这个Dijkstra算法,这个算法实际上就有贪心算法的味道在里面,即每次都确定一个顶点的最优路径,直到遍历全图。
我是小菜狗
·
2020-09-15 02:41
算法
算法
dijkstra
离散 模运算
关于
离散数学
中的模运算(在自学离散的过程中,发现我用的教材上没有详细模运算的介绍,所以在查找了资料后,在这里做一些笔记。)(如发现有错误,还烦请大家指正。)
似个编程机器
·
2020-09-14 23:27
离散数学
离散数学
模运算
代数常数
如何提高编程研发能力
数据结构、
离散数学
、编译原理,这些是所有计算机科学的基础,如果不掌握他们,很难写出高水平的程序。据我的观察,学计算机专业的人比学其他专业的人更能写出高质量的软件。
softness202
·
2020-09-14 21:54
编程
语言
数据结构
产品
fortran
工作
我大二上第一个月的安排
算法题动态规划学习资料:力扣、acwing(mainly)数据结构栈、链表、二叉树学习资料:力扣(做题)、教材(代码实现,mainly)、算法导论数学计数原理学习资料:
离散数学
教材、《蓝书》、《红书》随机事件与分布学习资料
好喜欢萨摩猪
·
2020-09-14 21:12
其他
离散数学
习题篇 —— k倍区间
题目:给定一个长度为N的数列A1,A2,⋯,AN,如果其中一段连续的子序列Ai,Ai+1,⋯,Aj(i≤j)之和是K的倍数,我们就称这个区间[i,j]是K倍区间。你能求出数列中总共有多少个K倍区间吗?输入格式:第一行包含两个整数N和K。(1≤N,K≤100000)以下N行每行包含一个整数Ai。(1≤Ai≤100000)输出格式:输出一个整数,代表K倍区间的数目。输入样例:5212345输出样例:6
Eumenides丶
·
2020-09-14 16:30
离散数学笔记及习题
上一页
10
11
12
13
14
15
16
17
下一页
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他