Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。...
逻辑技术技术资料
📦 资源总数：22405
💻 源代码：28130
🔥 逻辑技术热门资料
查看全部22405个资源 »基于MCS-51单片机的数字钟设计 [摘要] III [ABSTRACT] IV 引言 1 1绪论 2 1.1 集成电路 2 1.2 主要技术的背景 2 1.2.1 发展历史 2 1.
基于MCS-51单片机的数字钟设计 [摘要] III [ABSTRACT] IV 引言 1 1绪论 2 1.1 集成电路 2 1.2 主要技术的背景 2 1.2.1 发展历史 2 1.2.2 现状 3 1.2.3 发展趋势 3 2器件简介 4 2.1 LED显示器 4 2.1...
介绍一个实现由IVR、TTS和ASR系统支持的CT技术系统
介绍一个实现由IVR、TTS和ASR系统支持的CT技术系统，并介绍如何建立和测试基于CT技术的语音控制逻辑。...
功能见文档：综合地运用所学的 《数字逻辑》的基本知识
功能见文档：综合地运用所学的 《数字逻辑》的基本知识，使用电脑EWB仿真技术，独立完整地设计一定功能的电子电路。...
第1章 TURBO PASCAL高级编程技术 1.1 单元及其使用 1.2 与汇编语言混合编程 1.3 与C语言混合编程 1.4 过程类型及其使用 1.5 中断例程的编写方法
第1章 TURBO PASCAL高级编程技术 1.1 单元及其使用 1.2 与汇编语言混合编程 1.3 与C语言混合编程 1.4 过程类型及其使用 1.5 中断例程的编写方法 1.6 动态数组及其使用 1.7 扩充内存(EMS)及其使用 1.8 扩展内存(XMS)及其...
💻 逻辑技术源代码
查看更多 »📂 逻辑技术资料分类