网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(100)
《计算机系统概论》第一讲 数字电路与数理逻辑(陈天洲)
文档格式:PPT 文档大小:358.5KB 文档页数:43
一、 英国人布尔创立 二、 代表着一种因果关系,无所谓大小 三、 0和1的基本逻辑,二进制
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.6)命题演算自然推理形式系统N
文档格式:PDF 文档大小:1.89MB 文档页数:84
一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.3)一阶谓词演算自然推演系统Ng
文档格式:PDF 文档大小:1.95MB 文档页数:81
一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:
立即下载
《数理逻辑》课程教学资源(PPT课件讲稿)第5章 谓词逻辑的等值和推理演算
文档格式:PPT 文档大小:387KB 文档页数:74
5.1 否定型等值式 5.2 量词分配等值式 5.3 范式 5.4 基本的推理公式 5.5 推理演算 5.6 谓词逻辑的归结推理法
立即下载
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第一章 命题逻辑(主讲:肖明军)
文档格式:PPT 文档大小:1.58MB 文档页数:94
1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统
立即下载
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第一章 命题逻辑(主讲:肖明军)
文档格式:PPT 文档大小:1.56MB 文档页数:87
1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统
立即下载
东南大学远程教育:《离散数学》课程教学资源(PPT课件讲稿)第一章 数理逻辑(命题逻辑)
文档格式:PPT 文档大小:1.12MB 文档页数:191
第一章命题逻辑 1命题 2命题联结词 3命题变元与命题公式 4等价式 5永真蕴含式 6命题联结词总结 7范式和判定 8推论规则和证明方法
立即下载
《离散数学》课程PPT教学课件讲稿(数理逻辑)第二章 命题逻辑的等值和推理演算
文档格式:PPT 文档大小:173KB 文档页数:74
2.1 等值定理 2.2 等值公式 2.2.3 置换规则 2.2.4 等值演算举例 2.4 联结词的完备集 2.4.1 命题联结词的个数 2.4.2 联结词的完备集 2.5 对偶式 2.6 范式
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.3)命题形式和真值表
文档格式:PDF 文档大小:204KB 文档页数:20
一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.4)联结词的完全集
文档格式:PDF 文档大小:195.24KB 文档页数:18
为什么只考虑五个联结词?即 这五个联结词能否表示所有联结词? 这五个联结词是否有多余的? 要回答这两个问题,必须回答:
立即下载
上页
1
2
3
4
5
6
7
8
下页
末页
热门关键字
现代物流管理
辅导管理
二级
电喷
三维
企业偿债能力
内动力
旅游信息管理系统
教育管理
教学科研方法
计算机通信网
基本数据
货币经济学
环境与资源保护法
化工管路
工程计价
服装图案设计
风险分析
飞机结构设计与分析
发现
对象]
电源技术
电离
电工原理
地物
地理教学
德州科技职业学院
大学院英语
达朗伯原理
场量基本方程
偿债能力
财务分析第九版
包庇
坝工新材料
CAD系统
mysql数据库]
“微机原理与接口”
flash动画
FTP服务器
br
搜索一下,找到相关课件或文库资源
100
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有