程序逻辑
程序逻辑技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
程序逻辑 全部资料 500 份
逻辑测试笔
这份详尽的逻辑测试笔使用手册，不仅涵盖了从基础到高级的应用技巧，还提供了丰富的案例分析，非常适合电子工程师和爱好者深入学习。无论你是初学者还是经验丰富的专业人士，都能从中获得宝贵的知识与灵感。此资源完全免费，并且保证内容的完整性，是您不可或...
2025-12-09
2
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑...
2014-11-26
37