网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(1417)
高等学校计算机专业教材:《离散数学》课程教学资源(PPT课件讲稿)第二章 谓词逻辑
文档格式:PPT 文档大小:162KB 文档页数:33
第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论
《数理逻辑》课程教学资源(PPT课件讲稿)第1章 命题逻辑的基本概念
文档格式:PPT 文档大小:216.5KB 文档页数:53
命题逻辑研究的是命题的推理演算. 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化
《电工电子技术》课程教学资源(PPT课件讲稿)第14章 逻辑门电路 14.2 逻辑代数及应用
文档格式:PPT 文档大小:230KB 文档页数:7
14.2.1 逻辑代数及基本运算 14.2.2 逻辑代数的运算法则
《电子电路基础》组合逻辑电路——逻辑代数(2)§1.5 逻辑函数的化简
文档格式:PPT 文档大小:851.5KB 文档页数:45
§1.5 逻辑函数的化简
《离散数学》课程教学资源(PPT课件讲稿)第二章 谓词逻辑
文档格式:PPT 文档大小:899KB 文档页数:86
2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用
天津大学:《离散数学》课程教学资源(PPT课件讲稿)数理逻辑讲义(第一章 命题逻辑、第二章 谓词逻辑)
文档格式:PPT 文档大小:496.5KB 文档页数:148
第一章 命题逻辑
南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 02 谓词逻辑初步
文档格式:PPTX 文档大小:718.94KB 文档页数:40
问题1:如何基于命题逻辑进行推理? 问题2:什么是(一阶)谓词逻辑? 问题3:如何基于谓词逻辑进行推理?
哈尔滨理工大学:《离散数学 Discrete Mathematics》课程教学资源(PPT课件讲稿)05 一阶逻辑等值演算与推理
文档格式:PPT 文档大小:415.5KB 文档页数:60
5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论
《电气测试技术》课程教学资源(参考资料,打印版)数据域测试——逻辑分析仪的原理及应用
文档格式:PDF 文档大小:8.4MB 文档页数:74
1数据域分析 2逻辑分析仪的基本原理 3逻辑分析仪的应用
浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.1)逻辑
文档格式:PPT 文档大小:191.5KB 文档页数:42
研究推理的一门学科 数理逻辑:用数学方法研究推理的一门数学学科-------- 一套符号体系 + 一组规则
首页
上页
93
94
95
96
97
98
99
100
下页
末页
热门关键字
实验方法]
工程定额
北京航空航天大学
香港大学
体制
三峡
企业业务流程管理
金陵学院
环境与社会保护
高斯定理
动物科学
电势
催化加氢
齿轮计算
《旅游经济学》
大学物理学]
大学数学
磁化
创作
船舶阻力与推进
传感器
测量操作
滨州学院
《模拟电子》]
半导体三极
爆破工程
WINDOWS编程
N
“C语言程序设计”]
“分离技术”]
M2
Fortran语言程序设计
GIS开发与设计
GPS]
EXCEL与数据处理
DB
COD
C]
《网络教学与学习》
《网页设计》
搜索一下,找到相关课件或文库资源
1417
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有