网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(751)
西安电子科技大学出版社:面向21世纪高等学校计算机类专业系列教材《离散数学》课程教学资源(PPT课件讲稿)目录(编著:蔡英、刘均梅)
文档格式:PPT 文档大小:38KB 文档页数:4
第1章命题逻辑 第2章一阶逻辑 第3章集合的基本概念和运算 第4章二元关系和函数 第5章代数系统的基本概念
《大学物理》课程PPT教学课件:第二篇 实物的运动规律 第六章 能量能量守恒定律
文档格式:PPT 文档大小:1.49MB 文档页数:43
在牛顿以前很久,已经有一些有胆识的 思想家认为,从简单的物理假说出发,通 过纯逻辑的演绎,应当有可能对感官所能 氨画知觉的现象作出令人信服的解释。但是 是牛顿才第一个成功地找到一个用公式清 楚表述的基础,从这个基础出发,他能用 数学的思维,逻辑地、定量地演绎出范围
《离散数学》课程PPT教学课件(讲稿)第2章 一阶逻辑(2.3)一阶逻辑等值式
文档格式:PPT 文档大小:111KB 文档页数:26
▪等值式 ▪基本等值式 ▪量词否定等值式 ▪量词辖域收缩与扩张等值式 ▪量词分配等值式 ▪前束范式
《离散数学》课程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 范式
《离散数学》课程PPT教学课件(讲稿)第5章 谓词逻辑的等值和推理演算
文档格式:PPT 文档大小:281.5KB 文档页数:56
5.1 否定型等值式 5.2 量词分配等值式 5.3 范式 5.4 基本的推理公式 5.5.1 推理规则 5.5.2 使用推理规则的推理演算举例 5.6 谓词逻辑的归结推理法
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.3)命题形式和真值表
文档格式:PDF 文档大小:204KB 文档页数:20
一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题
计算机类本科规划教材:《离散数学》课程配套电子教案(PPT课件讲稿)第1章 命题逻辑
文档格式:PPT 文档大小:579KB 文档页数:66
1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论
浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.1.3)谓词与量词 Predicates and Quantifiers
文档格式:PPT 文档大小:205KB 文档页数:44
前两节介绍的命题与命题演算是命题逻辑的内容,其基本组成单位是原 子命题。一般地,原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如,电子商务是计算机技术的一个应用系统,这里“电子商务”是主 语,而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题:
浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.3)谓词与量词 Predicates and Quantifiers
文档格式:PPT 文档大小:247KB 文档页数:45
前两节介绍的命题与命题演算是命题逻辑的内容,其基本组成单位是原 子命题。一般地,原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如,电子商务是计算机技术的一个应用,这里“电子商务”是主语, 而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题:
复旦大学哲学系:《现代西方哲学》课程教学资源(PPT课件)第三章 新康德主义
文档格式:PPT 文档大小:69.5KB 文档页数:12
新康德主义继承和发展康德的“哥白尼变更”学说,旨在超越以二 元分立和理性独断为特征的近代哲学的形而上学。他们或用生理学的新 发展来证明康德的“哥白尼变更”理论;或把客体当做主要对象,从对 数学的自然科学的研究中发挥康德的先验逻辑学说,致力于发现各门科 学的一般的逻辑结构或形式
首页
上页
14
15
16
17
18
19
20
21
下页
末页
热门关键字
机构设计
什么管理
考核
哈尔滨工程大学
过渡
定价]
编码
重庆
文化地理
统计原理
试验设计
现代通信原理
水利计算
生物无机化学
矿物加工前沿
概率统计随机过程
发明
电脑的组装
电流
材料设计
MATLAB基础与应用
中枢
哲学原理
数据库原理~
射频与微波电路设计
金融分析
环境概论
概率论基础
机械制图/机械基础
河北建材职业技术学院
韩语听力
光路计算
钢结构原理
儿童发展
大学物理学
AutoCAD
《有机化学》
《水污染控制过程》
C课程设计
MATLAB编程
搜索一下,找到相关课件或文库资源
751
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有