网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(167)
东北大学:《离散数学》课程教学资源(PPT课件讲稿)绪论、第一章 命题逻辑(主讲:许桂清)
文档格式:PPT 文档大小:858KB 文档页数:149
• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式,及其应用 • 命题逻辑推理
立即下载
东北大学:《离散数学》课程教学资源(PPT课件讲稿)绪论、第一章 命题逻辑(主讲:许桂清)
文档格式:PPT 文档大小:858KB 文档页数:149
• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式,及其应用 • 命题逻辑推理
立即下载
概率逻辑中的命题相关性与逻辑运算
文档格式:PDF 文档大小:433.73KB 文档页数:6
原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点
立即下载
电子工业出版社:计算机类本科规划教材《离散数学》课程教学资源(PPT课件讲稿)第1章 命题逻辑
文档格式:PPT 文档大小:579KB 文档页数:66
1.1命题及联结词 1.2命题公式与翻译 1.3真值表和等价公式 1.4重言式 1.5范式 1.6全功能联结词集 1.7对偶式与蕴含式 1.8命题逻辑的推理理论
立即下载
计算机类本科规划教材:《离散数学》课程配套电子教案(PPT课件讲稿)第1章 命题逻辑
文档格式:PPT 文档大小:579KB 文档页数:66
1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论
立即下载
人民邮电出版社:高等学校21世纪教材《离散数学》电子教案(PPT课件)第一章 命题逻辑
文档格式:PPT 文档大小:562.5KB 文档页数:113
1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论
立即下载
高等学校计算机专业教材:《离散数学》课程PPT课件_第五章 谓词逻辑
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和提高; 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同;能将自然语言符号 化;能用谓词逻辑进行推理;理 解前束范式的意义
立即下载
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第四章 真值表方法与命题演算
文档格式:PPT 文档大小:229KB 文档页数:45
第一节 真值表方法 第二节 命题演算的证明方法 第三节 假设证明法与反证法的区别与综合应用 一、假设证明法与反证法的区别 二、假设证明法与反证法的综合应用 1、在证明中的综合应用 2、在推理中的综合应用 三、命题逻辑定理的证明
立即下载
人民邮电出版社:《离散数学》第五章 谓词逻辑(刘贵龙)
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和提高; 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同;能将自然语言符号 化;能用谓词逻辑进行推理;理 解前束范式的意义
立即下载
东北大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 谓词逻辑
文档格式:PPT 文档大小:508KB 文档页数:98
2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论
立即下载
首页
上页
4
5
6
7
8
9
10
11
下页
末页
热门关键字
SQLSERVER数据库基础
TRANSLATION
上海交通大学
基尔霍夫定律
1:5
中国科学技术大学
脂环烃
园林
新视野大学英语
消化
肾上腺素能药物
神经系统
辽宁工业大学
兰州交通大学
抗艾滋病药
机械工业出版社
贵州医科大学
电路
代谢
BR
AutoCAD
flash动画
C语言
Photoshop
安徽医科大学
XML应用
Stokes公式
PS-Br储能电池
PLC
ppt
Multisim
C程序设计
c/c
Flac3D
Flash
Logistic
Logistic回归分析
CAXA制造工程师
CI设计``
《图论》
搜索一下,找到相关课件或文库资源
167
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有