网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(115)
东南大学:《离散数学》课程教学资源(PPT课件讲稿)第三章 命题逻辑的推理理论
文档格式:PPT 文档大小:566KB 文档页数:52
第一节 推理的形式结构 第二节 自然推理系统P
《离散数学》课程教学资源(PPT课件讲稿)第1章 命题逻辑
文档格式:PPT 文档大小:836KB 文档页数:82
1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论
中国科学技术大学:《程序分析与程序验证》课程教学资源(PPT课件讲稿)第6章 模型检测
文档格式:PPT 文档大小:843KB 文档页数:112
– 命题逻辑和谓词逻辑的简短回顾 – 线性时态逻辑及其在模型检测中的应用 – 计算树逻辑及其在模型检测中的应用
西安电子科技大学:《离散数学》课程教学课件(题解)第一章 命题逻辑 1-1 命题和联结词(主讲:黄健斌)
文档格式:PDF 文档大小:455.74KB 文档页数:20
西安电子科技大学:《离散数学》课程教学课件(题解)第一章 命题逻辑 1-1 命题和联结词(主讲:黄健斌)
西安电子科技大学:《离散数学》课程教学课件(题解)第一章 命题逻辑 1-3 逻辑等价式和永真蕴含式
文档格式:PDF 文档大小:357.09KB 文档页数:16
西安电子科技大学:《离散数学》课程教学课件(题解)第一章 命题逻辑 1-3 逻辑等价式和永真蕴含式
西安电子科技大学:《离散数学》课程教学课件(题解)第一章 命题逻辑 1-5 对偶式
文档格式:PDF 文档大小:342.45KB 文档页数:19
西安电子科技大学:《离散数学》课程教学课件(题解)第一章 命题逻辑 1-5 对偶式
福州大学:《离散数学》课程教学资源(教案讲义)第一章 命题逻辑基本概念
文档格式:DOC 文档大小:51.5KB 文档页数:5
福州大学:《离散数学》课程教学资源(教案讲义)第一章 命题逻辑基本概念
福州大学:《离散数学》课程教学资源(教案讲义)第二章 命题逻辑等值演算
文档格式:DOC 文档大小:86.5KB 文档页数:5
福州大学:《离散数学》课程教学资源(教案讲义)第二章 命题逻辑等值演算
福州大学:《离散数学》课程教学资源(课件讲稿)第三章 命题逻辑的推理理论
文档格式:PDF 文档大小:503.75KB 文档页数:27
福州大学:《离散数学》课程教学资源(课件讲稿)第三章 命题逻辑的推理理论
《离散数学》课程教学资源(教案讲义)第一章 命题逻辑
文档格式:DOC 文档大小:141.5KB 文档页数:23
《离散数学》课程教学资源(教案讲义)第一章 命题逻辑
首页
上页
2
3
4
5
6
7
8
9
下页
末页
热门关键字
三星
三维
回归分析法
管网计算
高压开关
多细胞动物
Word
matlab程序设计
STRUCTURE
PPT
laplace变换
c/c
PowerBuilder数据库
pps
pptx
PPT制作
Proe设计
Protel原理
python 北京师范大学 资源
QR分解
QUARTUS
RLC传感器
RL电路
RN
RNA
Samba
SAP
scp分析
SIMULINK
SQLSERVER数据库技术
Linux编程
Linux系统及网络应用
Logistic回归分析
M3
materials
Mathematics
Systems
tfr中南大学
vb程序设计
Web
搜索一下,找到相关课件或文库资源
115
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有