网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(167)
上海交通大学:《离散数学》课程教学资源(PPT课件)第二章 命题逻辑的等值和推理演算
文档格式:PPT 文档大小:281.5KB 文档页数:78
上海交通大学:《离散数学》课程教学资源(PPT课件)第二章 命题逻辑的等值和推理演算
立即下载
华南师范大学:《逻辑学》课程教学资源(课件讲稿)第三章 命题逻辑
文档格式:PDF 文档大小:2MB 文档页数:168
1. 命题及其符号表达 2. 命题的逻辑性质 3. 命题推理 4. 命题演算
立即下载
河北工业大学计算机科学技术与软件学院:《离散数学》第二章 谓词逻辑(郭永芳)
文档格式:PPT 文档大小:449.5KB 文档页数:85
在命题逻辑中,把命题分解到原子命题为 止,认为原子命题是不能再分解的,仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样,有些推理用命题逻辑就难 以确切地表示出来。例如,著名的亚里士多德 三段论苏格拉底推理:
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.9)赋值
文档格式:PDF 文档大小:2.33MB 文档页数:67
一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则
立即下载
东南大学远程教育:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑
文档格式:PPT 文档大小:164KB 文档页数:41
1.1 命题与联结词 1.2 命题公式及其分类 1.3 等值演算 1.4 命题公式的标准形式 1.5 命题演算的推理理论
立即下载
北京大学:《离散数学》系列课程之一《集合论与图论》第1讲 命题逻辑基础
文档格式:PDF 文档大小:648.3KB 文档页数:35
1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明
立即下载
《离散数学》课程教学资源(PPT课件讲稿)第1章 命题逻辑
文档格式:PPT 文档大小:836KB 文档页数:82
1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论
立即下载
华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(2/2)
文档格式:PPT 文档大小:1.07MB 文档页数:87
1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论
立即下载
华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1/2)
文档格式:PPT 文档大小:1.07MB 文档页数:87
1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论
立即下载
北京大学:《离散数学》系列课程之一《集合论与图论》第2讲 一阶逻辑基础
文档格式:PDF 文档大小:803.77KB 文档页数:44
1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则
立即下载
上页
1
2
3
4
5
6
7
8
下页
末页
热门关键字
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
高等教育资讯网 版权所有