Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Go...
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Go...
八皇后问题是一个古老而著名的问题,是回溯算法的典型例题。该问题是十九世纪著名的数学家高斯1850年提出:在8X8格的国际象棋上摆放八个皇后,使其不能互相攻击,即任意两个皇后都不能处于同一行、同一列或同...
输入四个点,判断此四点是否可形成一个平行四边形。 程序中描述了一个抽象数据类型Vector2D,表示一个向量。具有(x,y)两个值。其本身具有减另一个向量(minus(Vector2D)),判断自...
用类创建一个银行账户,对本金进行利息计算,并实现ADT(抽象数据类型)的接口。...
Ex3-23 亲兄弟问题 « 问题描述: 给定n 个整数0 1 1 , , , n- a a  a 组成的序列。序列中元素i a 的亲兄弟元素k a 定义为: min{ ...
Ex4-22 单射函数问题 « 问题描述: 设函数f将点集S = {0,1, , n -1}映射为f (S) = { f (i) | iÎ S} Í ...
给定m个n维向量a , a , ,am 1 2  ,向量分类问题要求将相同的向量划分为同一类。试用 抽象数据类型表设计解向量分类问题的有效算法。...
给定m个n维向量a , a , ,am 1 2  ,向量分类问题要求将相同的向量划分为同一类。试用 抽象数据类型表设计解向量分类问题的有效算法。...
1) 以二叉链表为存储结构,写出建立二叉树、先序(中序、后序)遍历二叉树、求二叉树节点总数、叶子数、树高度的算法。 完成队列抽象数据类型的顺序、链式表示与实现。并对上面建立的二叉树按层次遍历。...
函数程序设计haskell的作业,实现一个抽象数据类型tree模块...