点击切换搜索课件文库搜索结果(901)
文档格式:PPT 文档大小:220KB 文档页数:69
2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论
文档格式:PPT 文档大小:1.64MB 文档页数:151
第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论
文档格式:PDF 文档大小:8.11MB 文档页数:107
第一节 可行性分析与详细调查 第二节 管理业务调查 第三节 数据流程调查 第四节 数据字典 第五节 描述处理逻辑的工具 第六节 系统化分析 第七节 研究和确定管理模型 第八节 新系统的逻辑方案
文档格式:PPT 文档大小:1.49MB 文档页数:26
1、约束项、任意项和无关项 (1)约束项 例如:有三个逻辑变量A、B、C,它们分别表示一台电动机正转、反转和停止的命令
文档格式:PPT 文档大小:688KB 文档页数:87
在命题逻辑中,命题是命题演算的基本 单位,不关心每个简单命题反映的具体内容, 没有进一步研究命题的内部结构,因而在实 际应用中存在很多缺陷
文档格式:PPT 文档大小:562.5KB 文档页数:113
1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论
文档格式:PPT 文档大小:103.5KB 文档页数:5
一、实验目的 1 .掌握中规模集成译码器、数据选择器的逻辑功能和使用方法。 2 .了解译码器的应用。 3 .学习用数据选择器构成组合逻辑电路的方法
文档格式:PDF 文档大小:238.89KB 文档页数:16
马吉「Bryan Magee」:卡尔·波普尔1902年出生于维也纳,在 那里生活到三十余岁。他从不是维也纳学派〔Vienna Cir-cle]的会 员,因为他尽管也具有他们的大部分兴趣,却不同意他们的学说。几 乎可以说,他的第一本书,Logikder Forschung——字面的意思 是\探究的逻辑\——就是反对维也纳学派的。遗憾的是,尽管它于 1934年秋季出版,然而直至四分之一世纪后才有了英译本(书名为 《科学发现的逻辑》[The Logic of Scientific Dinscovery])
文档格式:PPT 文档大小:58KB 文档页数:44
一、系统设计是根据说明书的规定和逻辑功能的要求,利用一切可利用的技术手段和方法,将系统的逻辑模型转化为系统的物理模型. 二、系统设计所使用的方法是自顶向下的结构化方法. 三、系统分析——干什么?系统设计——怎么干?
文档格式:PPT 文档大小:111KB 文档页数:26
▪等值式 ▪基本等值式 ▪量词否定等值式 ▪量词辖域收缩与扩张等值式 ▪量词分配等值式 ▪前束范式
首页上页7677787980818283下页末页
热门关键字
搜索一下,找到相关课件或文库资源 901 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有