数据库课程设计格式参考.doc

福建农林大学计算机与信息学院 计算机类 课程设计报告 课程名称： 程序设计方法学 课程设计题目： 阿克曼函数的递归实现正确性证明 姓 名： 林振宏 系： 计算机 专 业： 计算机科学与技术 年 级： 04级 学 号： 041150090 指导教师： 李小林 职 称： 讲师 2007年 07月 10日  福建农林大学计算机与信息学院计算机类 课程设计结果评定 评语： 成绩： 指导教师签字： 任务下达日期： 评定日期： 目 录 1课程设计的目的 ……………………………………………… 1 2课程设计要求 ……………………………………………… 1 3课程设计报告内容 ……………………………………………… 1 3.1递归和递归条件 ………………………………………… 1 3.2设计用例 ………………………………………… 1 3.3 Ackermann函数的C++实现 ………………………………… 2 3.4程序N-S图及流程图 ………………………………………… 3 3.5测试结果 ………………………………………………… 4 3.6程序验证 ………………………………………………… 6 4总结 …………………………………………… 8 5附录(参考文献) …………………………………………… 8 阿克曼函数递归实现的正确性证明 1.课程设计的目的 程序设计方法是编程的指导思想，决定了我们用什么样的方式组织编写程序，一个程序的成功与否完全由它决定；语言和环境是编写程序的工具，程序由他们制造；而算法则是灵魂，是解决问题（处理数据）的方法步骤；而数据结构则是我们加工的对象，也是我们编写程序的根本目的。本课程设计的目的是使学生学习并掌握综合运用《程序设计方法学》、《面向对象编程思想》及相关课程所学知识，分析和解决实际问题。通过实践，将课本上的知识加以运用，培养良好的程序设计思维和编程习惯，提高程序设计 的能力，将程序设计方法和编程思想良好地结合起来。 2.课程设计的要求 能综合运用《程序设计方法学》、《面向对象编程思想》及相关课程所学知识，解决实际问题，并且设计的软件有一定的可用性、健壮性。课程设计报告中应包括模块设计、调试分析、测试结果、附录等内容。课程设计完成后，提交课程设计报告。 3.课程设计报告内容 3.1 递归和递归条件 一个对象部分地由自己组成或按它自己定义的则称为递归。 一个问题要采用递归方法来解决时，要符合下面三个条件： 1.可以把要解决的问题转化为一个新的问题，而这个新的问题的解法和原来的相同，只是所处理的对象有规律地递增或者递减。 2.可以应用这个转化过程使问题得到解决 3.必定要有一个明确的结束递归的条件 3.2 设计用例 Ackermann函数： y+1 ,x=0 Ack(x-1,y) ,y=0 Ack(x-1,Ack(x,y-1)) ,x0y0 核心算法： int Ack(int x,int y) { if (x==0) { return y+1; } else { if (y==0) { return Ack(x-1,1); } else { return Ack(x-1,Ack(x,y-1)); } } } 3.3 Ackermann函数的C++实现 创建两个文本文件,命名为input.txt和output.txt,Ackermann函数的两个参数从input文本取得输入,output文本用来存入运算结果。C++实现代码如下(.cpp文件): #include fstream.h #include iostream ifstream fin(input.txt); ofstream fout(output.txt); using namespace std; int Ack(int,int); void main() { in