点击切换搜索课件文库搜索结果(801)
文档格式:DOC 文档大小:29.5KB 文档页数:8
除了传统的数学运算, MATLAB支持关系和逻辑运算。如果你已经有了一些编程经验, 就会对这些运算熟悉。这些操作符和函数的目的是提供求解真/假命题的答案。一个重要的应用是控制基于真/假命题的一系列 MATLAB命令(通常在M文件中)的流程,或执行次序
文档格式:PDF 文档大小:204KB 文档页数:20
一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题
文档格式:PDF 文档大小:73.01KB 文档页数:6
一、实验目的 1.掌握中规模集成译码器、数据选择器的逻辑功能和使用方法。 2.了解译码器的应用。 3.学习用数据选择器构成组合逻辑电路的方法
文档格式:PPT 文档大小:69.5KB 文档页数:12
新康德主义继承和发展康德的“哥白尼变更”学说,旨在超越以二 元分立和理性独断为特征的近代哲学的形而上学。他们或用生理学的新 发展来证明康德的“哥白尼变更”理论;或把客体当做主要对象,从对 数学的自然科学的研究中发挥康德的先验逻辑学说,致力于发现各门科 学的一般的逻辑结构或形式
文档格式:PPT 文档大小:84.5KB 文档页数:18
产生于20世纪初的分析哲学,继承实证主义传统,运用现代 数理逻辑和语言分析,拒斥形而上学,认为哲学的主要任务是对 语言表达式的描述和解释,或把复杂的概念分析为简单的概念, 阐明后者之间的关系;或通过对语言的逻辑分析而解决哲学问题
文档格式:PDF 文档大小:752.21KB 文档页数:23
一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理
文档格式:PPT 文档大小:1.64MB 文档页数:151
第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论
文档格式:PPT 文档大小:1.49MB 文档页数:26
1、约束项、任意项和无关项 (1)约束项 例如:有三个逻辑变量A、B、C,它们分别表示一台电动机正转、反转和停止的命令
文档格式:PPT 文档大小:688KB 文档页数:87
在命题逻辑中,命题是命题演算的基本 单位,不关心每个简单命题反映的具体内容, 没有进一步研究命题的内部结构,因而在实 际应用中存在很多缺陷
文档格式:PPT 文档大小:535.5KB 文档页数:18
广东海洋大学:《数字电子技术》课程教学资源(PPT课件)第2章 逻辑代数及其应用 2.1.1 逻辑代数的三种基本运算 2.1.2 基本公式和若干导出公式 2. 2 代入定理及其应用
首页上页5657585960616263下页末页
热门关键字
搜索一下,找到相关课件或文库资源 801 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有