网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(990)
河北工业大学:《离散数学》课程PPT教学课件(讲稿)第五章 代数系统
文档格式:PPT 文档大小:405KB 文档页数:72
一、代数系统的基本概念和基本性质 二、群论 三、 同态与同构 四、环与域
北京大学:《离散数学》系列课程之三《数理逻辑》第26章 命题逻辑(26.6)命题演算自然推理形式系统N
文档格式:PDF 文档大小:1.89MB 文档页数:84
一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:
北京大学:《离散数学》系列课程之三《数理逻辑》第26章 命题逻辑(26.5)推理形式
文档格式:PDF 文档大小:176.49KB 文档页数:11
一、前两节介绍了“命题”的形式。 二、本节介绍“推理”的形式。 三、推理是逻辑的研究对象
北京大学:《离散数学》系列课程之三《数理逻辑》第27章(27.3)一阶谓词演算自然推演系统Ng
文档格式:PDF 文档大小:1.95MB 文档页数:81
一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:
北京大学:《离散数学》系列课程之一《集合论与图论》第12讲 序数
文档格式:PDF 文档大小:503.17KB 文档页数:26
一、良序,序数, 二、序数与基数 三、ZFC+CH系统 四、Collatz猜想
北京大学:《离散数学》系列课程之一《集合论与图论》第7讲 关系幂运算与关系闭包
文档格式:PDF 文档大小:0.98MB 文档页数:52
一、关系幂(power)运算 二、关系闭包(closure)
北京大学:《离散数学》系列课程之一《集合论与图论》第5讲 二元关系的基本概念
文档格式:PDF 文档大小:1.07MB 文档页数:61
1.有序对与卡氏积 2.二元关系 3.二元关系的基本运算
北京大学:《离散数学》系列课程之一《集合论与图论》第21讲 根树
文档格式:PDF 文档大小:812.07KB 文档页数:45
1.根树 2.根树的周游 3.最优树, Huffman算法 4.最佳前缀码
北京大学:《离散数学》系列课程之一《集合论与图论》第4讲 集合恒等式
文档格式:PDF 文档大小:1.1MB 文档页数:63
1.集合恒等式与对偶原理 2.集合恒等式的证明 3.集合列的极限 4.集合论悖论与集合论公理
北京大学:《离散数学》系列课程之一《集合论与图论》第3讲 集合的概念与运算
文档格式:PDF 文档大小:841.35KB 文档页数:47
1.集合的概念 2.集合之间的关系 3.集合的运算 4.文氏图、容斥原理
首页
上页
47
48
49
50
51
52
53
54
下页
末页
热门关键字
盈利能力
工艺材料
工业化
专业考察
制冷空调
宜春学院
血流动力
序列分析
误差分析
吴朝霞
温州大学
图书发行学
铜陵学院
数据库及应用
商务谈判、管理学
森林生态学
三维
切应力
频域分析
农药分析
陇东学院
力学实验
凯里学院
教学社会学
护理系
韩语翻译
公司地理论
txt
IC课程设计
SoC方法学
SPSS统计分析
SQLSERVER数据库基础
swot分析
UG模具设计基础
unix编程
vfp课程设计
VF程序设计
VI创意设计
web前端
Web网页设计
搜索一下,找到相关课件或文库资源
990
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有