时序逻辑
在计算机出现后的最初几十年里，计算机实质上是一个巨大的计算器，数字被录入，计算结果被输出。直到20世纪70年代，科学家们才意识到需要正确地验证这些计算结果。随着电脑变得更强大，软件更先进，多任务和变化的数据核查变得更加困难。
资源总数
500
时序逻辑 热门资料
查看全部 500 份 →可编辑逻辑控制器解决方案
PLC系统由电源、CPU和多个模拟及数字I/O模块组成，可控制、执行和监控复杂的机器变量；PLC设计用于多输入和输出配置，具有扩展的温度范围、卓越的电噪声抑制性能、抗震性和抗冲击能力。
2013-11-14
86
可编辑逻辑控制器解决方案
PLC系统由电源、CPU和多个模拟及数字I/O模块组成，可控制、执行和监控复杂的机器变量；PLC设计用于多输入和输出配置，具有扩展的温度范围、卓越的电噪声抑制性能、抗震性和抗冲击能力。
2015-01-01
91
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑...
2014-11-26
37