网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(254)
东南大学远程教育:《离散数学》课程教学资源(PPT课件讲稿)第一章 数理逻辑(命题逻辑)
文档格式:PPT 文档大小:1.12MB 文档页数:191
第一章命题逻辑 1命题 2命题联结词 3命题变元与命题公式 4等价式 5永真蕴含式 6命题联结词总结 7范式和判定 8推论规则和证明方法
立即下载
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第二章 命题的逻辑分析
文档格式:PPT 文档大小:209KB 文档页数:41
第一节 命题概述 第二节 命题的分类和命题形式 第三节 命题形式的逻辑性质和真值表 第四节 真值函项 第五节 多重复合命题语句的符号化
立即下载
东南大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑
文档格式:PPT 文档大小:1.12MB 文档页数:191
§1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法
立即下载
河北工业大学计算机科学技术与软件学院:《离散数学》第二章 谓词逻辑(郭永芳)
文档格式:PPT 文档大小:449.5KB 文档页数:85
在命题逻辑中,把命题分解到原子命题为 止,认为原子命题是不能再分解的,仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样,有些推理用命题逻辑就难 以确切地表示出来。例如,著名的亚里士多德 三段论苏格拉底推理:
立即下载
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第七章 模态逻辑
文档格式:PPT 文档大小:317KB 文档页数:34
一、模态命题及其种类 二、模态命题的真假与可能世界的理论 三、基本模态命题之间的对当关系 四、道义命题及其种类 五、模态命题推理、道义命题推理在法律中的应用
立即下载
《智能控制理论与方法》教学资源(PPT讲义课件)模糊逻辑与推理
文档格式:PPT 文档大小:1.04MB 文档页数:42
(1)精确逻辑(传统逻辑)的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中,命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题,组合成另一个命题的过 程
立即下载
《普通逻辑学》课程讲义:第四章 复合命题及其演绎推理
文档格式:DOC 文档大小:128KB 文档页数:23
第一节联言命题及其推理 一、什么是联言命题 联言命题是断定两种或两种以上事物情况同时存在的命题,它反映的是同一对象或不 同对象的不同属性的共同性和相容性。例如:
立即下载
西安交通大学:《智能控制理论与方法》课程教学资源(PPT课件讲稿)模糊逻辑与模糊推理
文档格式:PPT 文档大小:1.04MB 文档页数:42
(1)精确逻辑(传统逻辑)的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中,命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题,组合成另一个命题的过 程
立即下载
西安交通大学:《智能控制理论与方法》课程教学资源(PPT课件讲稿)模糊逻辑与推理(2)
文档格式:PPT 文档大小:1.04MB 文档页数:42
(1)精确逻辑(传统逻辑)的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中,命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题,组合成另一个命题的过 程
立即下载
西北政法大学(西北政法学院):《逻辑学》课程教学资源(PPT课件讲稿)第二章 命题的逻辑分析
文档格式:PPT 文档大小:209KB 文档页数:41
一、命题的特征与种类 二、复合命题的形式表达与刻画 三、复合命题五种联系的逻辑性质与真值表刻画 四、多重复合命题语句符号化的操作方法
立即下载
上页
1
2
3
4
5
6
7
8
下页
末页
热门关键字
茂名学院
中枢
印刷包装
通信电路原理
接口技术及应用
河海大学大学
广域
地球
《食品分析》
企业偿债能力
灭菌
美国
酶的分离
临床妇产科
赖氨酸发酵
课件编辑
脚本设计
建筑原理
极限分布
基础有机
黄瓜
环评报告
环境与规划设计
化学仪器分析
化工管路
合金
工程师]
工程经济分析
风力动力发电技术
定时
定解问题
词法分析
创意设计
传输原理]
产生
《测控电路》
《编程基础》
Oracle数据库
C+.
c++语言设计
搜索一下,找到相关课件或文库资源
254
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有