点击切换搜索课件文库搜索结果(990)
文档格式:PPT 文档大小:267.5KB 文档页数:47
3.2 归结演绎推理 3.3 应用归结原理求取问题答案 3.4 归结策略 3.6 Horn子句归结与逻辑程序 3.7 非归结演绎推理
文档格式:PPT 文档大小:74.5KB 文档页数:12
项目一计算机基础知识 任务1了解计算机 1、计算机的发展过程 第一台电子计算机:美国宾夕法尼亚大学,1946年2月,命名为“ENIAC” 第一代(46-57年):以电子管为逻辑元件。 第二代(58-64年):以晶体管为逻辑元件。 第三代(65-71年):以集成电路为主要功能器件。 第四代(72—至今):将CPU、存储器及各接口做在大规模集成电路芯片上
文档格式:PDF 文档大小:1.44MB 文档页数:53
复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统
文档格式:PDF 文档大小:752.21KB 文档页数:23
一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理
文档格式:PDF 文档大小:1.38MB 文档页数:60
实验一 PLC 和触摸屏的使用 . 6 实验二 编程软件 CX-PROGRAMMER 的使用. 10 实验三 基本逻辑控制. 18 实验四 定时计数控制. 22 实验五 模拟电位器及系统时间的应用实验. 26 实验六 逻辑控制系统设计综合实验. 31 实验七 数据传送比较及运算类指令编程实验. 37 实验八 移位指令编程实验. 42 实验九 跳转与互锁指令编程实验. 47 实验十 步进顺序控制编程实验. 52
文档格式:PPT 文档大小:3.49MB 文档页数:89
第一节 基本逻辑电路 第二节 双稳态触发器 第三节 脉冲的计数和显示 第四节 数模和模数转换
文档格式:PPT 文档大小:75KB 文档页数:13
法律实现是法律运行的重要环节,属于必须 握的内容。 木章首先介绍法律实现的基本内容,然后介绍 法律效力,法律效力是法律实现的基本逻辑前 最后介绍法律运行环节的逻辑延伸概 念,包括法律实效、法律效果、法律效益
文档格式:PPTX 文档大小:763.62KB 文档页数:102
一般译码原理 捕错译码 大数逻辑译码 仿真流程及Gaussian噪声的产生 用生成多项式的根定义循环码 BCH码 RS码 一般译码原理 捕错译码 大数逻辑译码 仿真流程及Gaussian噪声的产生
文档格式:PPT 文档大小:524.5KB 文档页数:58
一、计算机中的常用计数制、编码及其相互间的转换; 二、二进制数的算术运算和逻辑运算; 三、符号数的表示及补码运算; 四、二进制数运算中的溢出问题; 五、基本逻辑门及译码器; 六、定点数与浮点数的表示方法
文档格式:PDF 文档大小:2.33MB 文档页数:67
一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则
首页上页8586878889909192下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有