一阶逻辑
一阶逻辑技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
一阶逻辑 热门资料
查看全部 500 份 →Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑...
2014-11-26
37
安全协议一阶逻辑模型中攻击重构的实现
针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题，对安全协议一阶逻辑模型进行扩展，对逻辑推理中的规则及合一化操作进行分类，给出操作置换规则，在此基础上开发能对攻击进行重构的协议验证原型
2024-01-09
5
无沦是用离散逻辑、可编程逻辑
无沦是用离散逻辑、可编程逻辑，还是用全定制硅器件实现的任何数字设计，为了成功地操 作，可靠的时钟是非常关键的。设计不良的时钟在极限的温度、电压或制造工艺的偏差情况下将 导致错误的行为，并且调试困难、花销很大。 在设计PLD/FPGA时通...
2014-01-13
22