网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(1394)
《离散数学》课程PPT教学课件(讲稿)第5章 谓词逻辑的等值和推理演算
文档格式:PPT 文档大小:281.5KB 文档页数:56
5.1 否定型等值式 5.2 量词分配等值式 5.3 范式 5.4 基本的推理公式 5.5.1 推理规则 5.5.2 使用推理规则的推理演算举例 5.6 谓词逻辑的归结推理法
东北大学:《数据结构》课程教学资源(学习资料)第一章 参考答案
文档格式:DOC 文档大小:37.5KB 文档页数:3
第一章参考答案 一、名词解释(略) 二、填空题 1、数据表示数据处理 2、机内表示 3、逻辑结构逻辑结构上的基本运算存储结构和运算评价和选择
北京大学:《离散数学》系列课程之三:《数理逻辑》第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 命题逻辑的推理理论
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.9)赋值
文档格式:PDF 文档大小:2.33MB 文档页数:67
一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则
马弗炉钢丝热处理的计算机控制及仿真
文档格式:PDF 文档大小:459.41KB 文档页数:4
开发了一种用于钢丝热处理过程的自动控制系统和相应的模拟系统.控制系统由工控机和可编程逻辑控制器(PLC)组成.控制系统软件包括组态程序、加热模型程序、PLC逻辑控制程序和数据库.该控制系统可以根据产量、产品规格和工艺要求控制马弗炉和铅浴炉的温度,或调整钢丝的拉速以适应当前马弗炉的温度,获得最佳热处理效果和产量.模拟系统包括模拟软件,燃烧数学模型软件和两块数据采集卡
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.8)N与P的等价性
文档格式:PDF 文档大小:752.21KB 文档页数:23
一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.4)联结词的完全集
文档格式:PDF 文档大小:195.24KB 文档页数:18
为什么只考虑五个联结词?即 这五个联结词能否表示所有联结词? 这五个联结词是否有多余的? 要回答这两个问题,必须回答:
《电子技术基础》课程教学资源:参考试卷(3)试卷
文档格式:DOC 文档大小:190.5KB 文档页数:7
一、是非题(对打“√”,错打“×”。每题2分,共10分) ()1.逻辑函数表达式的化简结果是唯一的。 ()2.多位数加法器可利用半加器通过位数扩展得到。 ()3.下图电路中,图(a)和图(b)的逻辑功能相同
河南中医药大学:《管理信息系统》课程教学资源(PPT课件)第06章 管理信息系统的系统分析
文档格式:PPTX 文档大小:2.45MB 文档页数:214
• 第一节 系统开发的生命周期法和结构化方法 • 第二节 可行性分析和详细调查概述 • 第三节 管理业务调查 • 第四节 数据流程调查 • 第五节 数据字典 • 第六节 描述处理逻辑的工具 • 第七节 系统化分析 • 第八节 研究和确定管理模型 • 第九节 提出新系统的逻辑方案
首页
上页
115
116
117
118
119
120
121
122
下页
末页
热门关键字
工程学
中介
河北大学
出版]
像点位移
现代工程管理
现代创业方法
文学史
网络课程]
图书设计
塑性成形原理
实变函数与泛函分析基础
生活中的物理学
商业经济学
量子性
沥青分类
老舍研究
可以
精度设计
结构化面试
基础心理学
化工原理一
河北经贸大学
和声分析
函数分析
海洋地质
复变函数和积分计算
地基]
初等数学
材料研究与测试方法
材料研究方法
材料成型数值模拟
标志设计]
变量
北京工业大学]
保险学
VIsual.FoxPro应用]
pathology
PLC原理]
IT项目管理
搜索一下,找到相关课件或文库资源
1394
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有