Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。...
抽象数据类型技术资料
📦 资源总数：25994
💻 源代码：94646
探索抽象数据类型（ADT）的世界，这里是电子工程师深化编程技能与算法理解的宝库。包含25,994个精选资源，从基础概念到高级应用，全面覆盖队列、栈、树等核心结构。通过掌握ADT，您不仅能优化代码效率，还能在软件开发、嵌入式系统设计等领域游刃有余。立即加入我们，开启您的专业成长之旅，让每一次下载都成为通往卓越工程师之路的坚实一步。
🔥 抽象数据类型热门资料
查看全部25994个资源 »八皇后问题是一个古老而著名的问题
八皇后问题是一个古老而著名的问题，是回溯算法的典型例题。该问题是十九世纪著名的数学家高斯1850年提出：在8X8格的国际象棋上摆放八个皇后，使其不能互相攻击，即任意两个皇后都不能处于同一行、同一列或同一斜线上，问有多少种摆法。可以利用递归方法分别一一测试每一种摆法，直到得出正确的答案。 要求： ...
输入四个点
输入四个点，判断此四点是否可形成一个平行四边形。 程序中描述了一个抽象数据类型Vector2D，表示一个向量。具有（x,y）两个值。其本身具有减另一个向量（minus(Vector2D)），判断自身是否为零向量（iszero()），与另一个向量对应值y,x乘积之差(inner(Vector2D)...
用类创建一个银行账户
用类创建一个银行账户，对本金进行利息计算，并实现ADT（抽象数据类型）的接口。...
Ex3-23 亲兄弟问题 « 问题描述： 给定n 个整数0 1 1 , , , n- a a  a 组成的序列。序列中元素i a 的亲兄弟元素k a 定义为： min{
Ex3-23 亲兄弟问题 « 问题描述： 给定n 个整数0 1 1 , , , n- a a  a 组成的序列。序列中元素i a 的亲兄弟元素k a 定义为： min{ | } k i j n j j i a = a a ³ a < < 。 亲...
💻 抽象数据类型源代码
查看更多 »📂 抽象数据类型资料分类