Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。[
上传时间： 2014-11-26
上传用户：BIBI
八皇后问题是一个古老而著名的问题，是回溯算法的典型例题。该问题是十九世纪著名的数学家高斯1850年提出：在8X8格的国际象棋上摆放八个皇后，使其不能互相攻击，即任意两个皇后都不能处于同一行、同一列或同一斜线上，问有多少种摆法。可以利用递归方法分别一一测试每一种摆法，直到得出正确的答案。 要求： 1、在处理每个题目时，要求从分析题目的需求入手，按设计抽象数据类型、构思算法、通过设计实现抽象数据类型、编制上机程序和上机调试等若干步骤完成题目，最终写出完整的分析报告。前期准备工作完备与否直接影响到后序上机调试工作的效率。在程序设计阶段应尽量利用已有的标准函数，加大代码的重用率。 2、.设计的题目要求达到一定工作量（300行以上代码），并具有一定的深度和难度。 3、程序设计语言推荐使用C/C++，程序书写规范，源程序需加必要的注释 4、每位同学需提交可独立运行的程序； 5 、每位同学需独立提交设计报告书（每人一份），要求编排格式统一、规范、内容充实，不少于10页（代码不算）； 6、课程设计实践作为培养学生动手能力的一种手段，单独考核。
标签：
上传时间： 2016-03-03
上传用户：498732662
输入四个点，判断此四点是否可形成一个平行四边形。 程序中描述了一个抽象数据类型Vector2D，表示一个向量。具有（x,y）两个值。其本身具有减另一个向量（minus(Vector2D)），判断自身是否为零向量（iszero()），与另一个向量对应值y,x乘积之差(inner(Vector2D))。由于两个向量平行，则乘积之差x1*y2-x2*y1=0。点A，B，C，D四点组成平行四边形的条件是AB//CD，BC//DA且各个向量皆不为零向量。 首先声明四个向量。向量i获得值的方法是由getPoint(int i)获得。然后根据Vector2D重载后的toString（）函数将各个向量输出查看。最后判断此四点是否可组成平行四边行。
标签： 输入
上传时间： 2016-04-30
上传用户：qq521
用类创建一个银行账户，对本金进行利息计算，并实现ADT（抽象数据类型）的接口。
标签：
上传时间： 2016-05-02
上传用户：BOBOniu
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 < < 。 亲兄弟问题要求给定序列中每个元素的亲兄弟元素的位置。元素i a 的亲兄弟元素为k a 时，称k 为元素i a 的亲兄弟元素的位置。当元素i a 没有亲兄弟元素时，约定其亲兄弟元素 的位置为-1。 例如，当n=10，整数序列为6，1，4，3，6，2，4，7，3，5 时，相应的亲兄弟元素位 置序列为：4，2，4，4，7，6，7，-1，9，-1。 « 编程任务： 对于给定的n个整数0 1 1 , , , n- a a a 组成的序列，试用抽象数据类型栈，设计一个O(n) 时间算法，计算相应的亲兄弟元素位置序列。 « 数据输入： 由文件input.txt提供输入数据。文件的第1 行有1 个正整数n，表示给定给n个整数。 第2 行是0 1 1 , , , n- a a a 。 « 结果输出: 程序运行结束时，将计算出的与给定序列相应的亲兄弟元素位置序列输出到output.txt 中。 输入文件示例 输出文件示例 input.txt 10 4 2 4 4 7 6 7 -1 9 -1 output.txt 6 1 4 3 6 2 4 7 3 5
上传时间： 2013-12-17
上传用户：shizhanincc
Ex4-22 单射函数问题 « 问题描述： 设函数f将点集S = {0,1, , n -1}映射为f (S) = { f (i) | iÎ S} Í S 。单射函数问题要 从S中选取最大子集X Í S 使f (X )是单射函数。 例如，当n=7， f (S) = {1,0,0,2,2,3,6} Í S 时， X = {0,1,6} Í S 是所求的最大子集。 « 编程任务： 对于给定的点集S = {0,1, , n -1}上函数f，试用抽象数据类型队列，设计一个O(n)时 间算法，计算f的最大单射子集。 « 数据输入： 由文件input.txt 提供输入数据。文件的第1 行有1 个正整数n，表示给定的点集 S = {0,1, , n -1}。第2 行是f (i)的值，0 £ i < n。 « 结果输出: 程序运行结束时，将计算出的f的最大单射子集的大小输出到output.txt中。 输入文件示例 输出文件示例 input.txt 7 1 0 0 2 2 3 6 output.txt 3
上传时间： 2016-05-28
上传用户：tyler
给定m个n维向量a , a , ,am 1 2 ，向量分类问题要求将相同的向量划分为同一类。试用 抽象数据类型表设计解向量分类问题的有效算法。
上传时间： 2016-06-11
上传用户：lps11188
给定m个n维向量a , a , ,am 1 2 ，向量分类问题要求将相同的向量划分为同一类。试用 抽象数据类型表设计解向量分类问题的有效算法。
上传时间： 2013-12-16
上传用户：古谷仁美
1) 以二叉链表为存储结构，写出建立二叉树、先序（中序、后序）遍历二叉树、求二叉树节点总数、叶子数、树高度的算法。 完成队列抽象数据类型的顺序、链式表示与实现。并对上面建立的二叉树按层次遍历。
标签： 存储结构
上传时间： 2016-08-22
上传用户：yepeng139
函数程序设计haskell的作业，实现一个抽象数据类型tree模块
上传时间： 2017-08-16
上传用户：王小奇
