点击切换搜索课件文库搜索结果(990)
文档格式:PDF 文档大小:1.44MB 文档页数:53
复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统
文档格式:PDF 文档大小:2.33MB 文档页数:67
一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则
文档格式:PPT 文档大小:963KB 文档页数:66
认识实验 集成逻辑门电路 组合电路实验 555定时器的应用
文档格式:PPT 文档大小:75KB 文档页数:13
法律实现是法律运行的重要环节,属于必须 握的内容。 木章首先介绍法律实现的基本内容,然后介绍 法律效力,法律效力是法律实现的基本逻辑前 最后介绍法律运行环节的逻辑延伸概 念,包括法律实效、法律效果、法律效益
文档格式:PPT 文档大小:348KB 文档页数:40
5.1 关系运算符和关系表达式 5.2 逻辑运算符和逻辑表达式 5.3 if语句 5.4 switch语句 5.5 程序举例
文档格式:PPT 文档大小:2.83MB 文档页数:107
6.1时序逻辑电路的分析与设计方法 6.2计数器 6.3寄存器 6.4顺序脉冲发生器
文档格式:PPT 文档大小:1.9MB 文档页数:107
4.1组合逻辑电路的分析与设计方法 4.2加法器 4.3数值比较器 4.4编码器 4.5译码器 4.6数据选择器 4.7数据分配器
文档格式:DOC 文档大小:190.5KB 文档页数:7
一、是非题(对打“√”,错打“×”。每题2分,共10分) ()1.逻辑函数表达式的化简结果是唯一的。 ()2.多位数加法器可利用半加器通过位数扩展得到。 ()3.下图电路中,图(a)和图(b)的逻辑功能相同
文档格式:DOC 文档大小:123KB 文档页数:8
1.关系运算符和关系表达式 2.逻辑运算符和逻辑表达式 3.条件运算符及条件表达式 4.IF 语句
文档格式:DOC 文档大小:2.74MB 文档页数:4
一、填空题(每空1分,共20分) 1.11110,010002.4;3.2,上限阀值电压,下限阀值电压; 4.Qn+1=Qn+1=Qn+KQ;5.模数,数模;6.1,0; 7.时序逻辑电路,组合逻辑电路;8.高,并联使用; 9.与,或;10.只读,随机存取
首页上页7273747576777879下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有