网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(751)
马弗炉钢丝热处理的计算机控制及仿真
文档格式:PDF 文档大小:459.41KB 文档页数:4
开发了一种用于钢丝热处理过程的自动控制系统和相应的模拟系统.控制系统由工控机和可编程逻辑控制器(PLC)组成.控制系统软件包括组态程序、加热模型程序、PLC逻辑控制程序和数据库.该控制系统可以根据产量、产品规格和工艺要求控制马弗炉和铅浴炉的温度,或调整钢丝的拉速以适应当前马弗炉的温度,获得最佳热处理效果和产量.模拟系统包括模拟软件,燃烧数学模型软件和两块数据采集卡
东北大学:《离散数学》课程教学资源(PPT课件讲稿)期末总复习
文档格式:PPT 文档大小:1.64MB 文档页数:151
第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论
《离散数学》课程PPT教学课件(讲稿)第1章 命题逻辑(1.3-1.4)命题逻辑等值演算、联结词全功能集
文档格式:PPT 文档大小:88.5KB 文档页数:19
▪等值式 ▪基本等值式 ▪等值演算 ▪置换规则 ▪复合联结词 排斥或 与非式 或非式 ▪真值函数 ▪联结词全功能集
华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 一阶逻辑
文档格式:PPT 文档大小:688KB 文档页数:87
在命题逻辑中,命题是命题演算的基本 单位,不关心每个简单命题反映的具体内容, 没有进一步研究命题的内部结构,因而在实 际应用中存在很多缺陷
人民邮电出版社:高等学校21世纪教材《离散数学》电子教案(PPT课件)第二章 谓词逻辑
文档格式:PPT 文档大小:220KB 文档页数:69
2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论
人民邮电出版社:高等学校21世纪教材《离散数学》电子教案(PPT课件)第一章 命题逻辑
文档格式:PPT 文档大小:562.5KB 文档页数:113
1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论
西安交通大学:《MATLAB程序设计》课程教学资源(讲义)第5章 关系和逻辑运算
文档格式:DOC 文档大小:29.5KB 文档页数:8
除了传统的数学运算, MATLAB支持关系和逻辑运算。如果你已经有了一些编程经验, 就会对这些运算熟悉。这些操作符和函数的目的是提供求解真/假命题的答案。一个重要的应用是控制基于真/假命题的一系列 MATLAB命令(通常在M文件中)的流程,或执行次序
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.7)命题演算推理形式系统P
文档格式:PDF 文档大小:1.44MB 文档页数:53
复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.9)赋值
文档格式:PDF 文档大小:2.33MB 文档页数:67
一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.8)N与P的等价性
文档格式:PDF 文档大小:752.21KB 文档页数:23
一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理
首页
上页
15
16
17
18
19
20
21
22
下页
末页
热门关键字
机构设计
什么管理
考核
哈尔滨工程大学
过渡
定价]
编码
重庆
文化地理
统计原理
试验设计
现代通信原理
水利计算
生物无机化学
矿物加工前沿
概率统计随机过程
发明
电脑的组装
电流
材料设计
MATLAB基础与应用
中枢
哲学原理
数据库原理~
射频与微波电路设计
金融分析
环境概论
概率论基础
机械制图/机械基础
河北建材职业技术学院
韩语听力
光路计算
钢结构原理
儿童发展
大学物理学
AutoCAD
《有机化学》
《水污染控制过程》
C课程设计
MATLAB编程
搜索一下,找到相关课件或文库资源
751
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有