网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(397)
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第一章 命题逻辑(主讲:肖明军)
文档格式:PPT 文档大小:1.58MB 文档页数:94
1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统
哈尔滨理工大学:《离散数学 Discrete Mathematics》课程教学资源(PPT课件讲稿)03 命题逻辑的推理理论
文档格式:PPT 文档大小:401.5KB 文档页数:45
–推理的形式结构 –自然推理系统P
哈尔滨理工大学:《离散数学 Discrete Mathematics》课程教学资源(PPT课件讲稿)01 命题逻辑基本概念
文档格式:PPT 文档大小:483KB 文档页数:46
– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类
华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1/2)
文档格式:PPT 文档大小:1.07MB 文档页数:87
1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论
上海交通大学:《离散数学》课程教学资源(讲义)第四章 谓词逻辑的基本概念
文档格式:PDF 文档大小:1.11MB 文档页数:137
上海交通大学:《离散数学》课程教学资源(讲义)第四章 谓词逻辑的基本概念
上海交通大学:《离散数学》课程教学资源(PPT课件)第二章 命题逻辑的等值和推理演算
文档格式:PPT 文档大小:281.5KB 文档页数:78
上海交通大学:《离散数学》课程教学资源(PPT课件)第二章 命题逻辑的等值和推理演算
上海交通大学:《离散数学》课程教学资源(讲义)第二章 题逻辑的等值与推理演算
文档格式:PDF 文档大小:5.82MB 文档页数:327
上海交通大学:《离散数学》课程教学资源(讲义)第二章 题逻辑的等值与推理演算
清华大学计算机系列教材:《离散数学——数理逻辑与集合论》教学资源(石纯一、王家廞)
文档格式:PDF 文档大小:4.32MB 文档页数:230
清华大学计算机系列教材:《离散数学——数理逻辑与集合论》教学资源(石纯一、王家廞)
上海交通大学:《离散数学》课程教学资源(讲义)第五章 谓词逻辑的等值和推理演算
文档格式:PDF 文档大小:1.36MB 文档页数:137
上海交通大学:《离散数学》课程教学资源(讲义)第五章 谓词逻辑的等值和推理演算
东南大学:《离散数学》课程教学资源(PPT课件讲稿)第三章 命题逻辑的推理理论
文档格式:PPT 文档大小:566KB 文档页数:52
第一节 推理的形式结构 第二节 自然推理系统P
首页
上页
9
10
11
12
13
14
15
16
下页
末页
热门关键字
ppt
BR
1:5
西南大学]
11
电流]
c/c
中文
证券经济学
语篇分析
衍射分析
论文设计
采集]
be
C语言上机
JAVA程序设计
计算机三级
计算机基础课
锅炉总图
工程测量
高电压]
分散控制系统
读书方法]
动画原理
萃取分离]
车辆电器
测量电极
材料工程]
VB程序语言设计]
SDH原理]
PROE设计
GIS概论与应用
Plasma
flash
CAD/CAM应用技术
《水工建筑物》
《电工技术》
ASP程序设计
ASP网站设计
AUTOCAD
搜索一下,找到相关课件或文库资源
397
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有