点击切换搜索课件文库搜索结果(100)
文档格式:PPT 文档大小:566KB 文档页数:52
第一节 推理的形式结构 第二节 自然推理系统P
文档格式:PPT 文档大小:481.5KB 文档页数:30
数字集成电路的设计流程 设计输入:以电路图或HDL语言的形式形成 电路文件;输入的文件经过编译后,可以 形成对电路逻辑模型的标准描述; 逻辑仿真(功能仿真):对如上形成的逻 辑描述加入输入测试信号,检查输出信号 是否满足设计要求;在此没有考虑任何时 间关系,只是检测逻辑是否有错;
文档格式:PPT 文档大小:452KB 文档页数:22
数字集成电路的设计流程 设计输入:以电路图或HDL语言的形式形成 电路文件;输入的文件经过编译后,可以 形成对电路逻辑模型的标准描述; 逻辑仿真(功能仿真):对如上形成的逻 辑描述加入输入测试信号,检查输出信号 是否满足设计要求;在此没有考虑任何时 间关系,只是检测逻辑是否有错;
文档格式:PPT 文档大小:209KB 文档页数:41
第一节 命题概述 第二节 命题的分类和命题形式 第三节 命题形式的逻辑性质和真值表 第四节 真值函项 第五节 多重复合命题语句的符号化
文档格式:PPT 文档大小:686KB 文档页数:87
为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容
文档格式:PPT 文档大小:1.19MB 文档页数:72
命题的基本概念 命题联结词 命题合式公式、重言式 自然语句的形式化
文档格式:PPT 文档大小:74KB 文档页数:31
一、谬误的概念及种类 二、非形式谬误的特征 三、谬误的成因
文档格式:PPT 文档大小:604KB 文档页数:19
组合逻辑电路的分析,就是将电路图上的连接,转化为易于归纳的形式,进而了解电路的功能。分析步骤如下: (1)从输入向输出逐级推导,得到最终的输出表达式 (在这个过程中,有时可以设几个中间变量) (2)表达式化简。 (3)由逻辑表达式列出真值表
文档格式:DOC 文档大小:163KB 文档页数:16
第一节词项的概述 从思维内容的角度讲,人们以概念为起点构成判断,由判断构成推理,而逻辑学撇开思维具体内 容,通过语言的形式结构,研究思维形式结构。因此我们的研究以词项一—即对语词的逻辑抽象为最 基础的部分
文档格式:PPT 文档大小:1.58MB 文档页数:94
1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统
首页上页345678910下页末页
热门关键字
搜索一下,找到相关课件或文库资源 100 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有