网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(9307)
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.3)一阶谓词演算自然推演系统Ng
文档格式:PDF 文档大小:1.95MB 文档页数:81
一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.3)命题形式和真值表
文档格式:PDF 文档大小:204KB 文档页数:20
一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题
北京大学:《离散数学》系列课程之一《集合论与图论》第14讲 图的基本概念
文档格式:PDF 文档大小:1.14MB 文档页数:61
1.预备知识,无向图,有向图,相邻,关联 2.度,握手定理度数列,可(简单)图化 3.图同构 4.图族
北京大学:《离散数学》系列课程之一《集合论与图论》第23讲 平面图
文档格式:PDF 文档大小:934.43KB 文档页数:50
一、四色问题 二、平面图,面,极大平面图 三、欧拉公式 四、Kuratowski定理 五、对偶图,自对偶图 六、外平面图 七、平面哈密顿图
北京大学:《离散数学》系列课程之一《集合论与图论》第17讲 欧拉图
文档格式:PDF 文档大小:563.07KB 文档页数:28
1.七桥问题,一笔画,欧拉通(回)路,欧拉图 2.判定欧拉图的充分必要条件 3.求欧拉回路的算法 4.中国邮递员问题
北京大学:《离散数学》系列课程之一《集合论与图论》第16讲 连通度
文档格式:PDF 文档大小:981.8KB 文档页数:54
第16讲连通度 1.点(边)割集,点连通度K,边连通度入 2. Whitney定理,简单连通图k,,δ之间的关系 3.2-连通,2-边连通的充要条件 4.割点,桥,块的充要条件
北京大学:《离散数学》系列课程之一《集合论与图论》第1讲 命题逻辑基础
文档格式:PDF 文档大小:648.3KB 文档页数:35
1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明
《数据结构》课程教学资源:第五章 数组
文档格式:PPT 文档大小:375KB 文档页数:39
5.1数组的定义 5.2数组的顺序表示和实现 5.3矩阵的压缩存储 5.3.1特殊矩阵 5.3.2稀疏矩阵
《数据结构》课程教学资源:第三章 栈和队列 3.3栈与递归的实现 3.4队列
文档格式:PPT 文档大小:287.5KB 文档页数:29
3.3栈与递归的实现 3.4队列 3.4.1抽象数据类型队列的定义 3.4.2链队列一队列的链式表示和实现 3.4.3循环队列一队列的顺序表示和实现
《数据结构》课程教学资源:第三章 栈和队列 3.1栈 3.2栈的应用举例
文档格式:PPT 文档大小:542.5KB 文档页数:29
3.1栈 3.1.1抽象数据类型栈的定义 3.1.2栈的表示和实现 3.2栈的应用举例 3.2.1数制转换 3.2.2括号匹配的检验 3.2.3行编辑程序 3.2.4迷宫求解 3.2.5表达式求值
首页
上页
918
919
920
921
922
923
924
925
下页
末页
热门关键字
英语本科
项目设计
环境资源保护法
通信与原理]
基础数学]
化学应用基础
“微机原理”]
是+中国
媒体计算
旅游专题讲座
高效液相电泳]
创新思维与设计
质量
畜牧经济学
无丝分裂
体育产业
试验设计与分析
控制器]
机电设计
定量]
蛋白质]
大学地理
厂房设计
PCB设计]
“植物学”
控制工程]
经济学(二)
建筑施工与管理
化学原理]
工程信息管理]
工程管理]
高性能计算
多媒体技术基础与应用
东北财经大学
电阻]
“化工原理”
“自动控制原理”
《工作分析》]
java语言程序设计
python工程应用
搜索一下,找到相关课件或文库资源
9307
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有