文件名称:Ackermann
- 所属分类:
- 其它资源
- 资源属性:
- [Windows] [Visual C] [源码]
- 上传时间:
- 2008-10-13
- 文件大小:
- 5.83kb
- 下载次数:
- 0次
- 提 供 者:
- 陈**
- 相关连接:
- 无
- 下载说明:
- 别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容均来自于网络,请自行研究使用
1928年,Wilhelm Ackermann (1896 - 1962,David Hilbert的学生) 发现x的y次幂的z-重积分 A(x,y,z)是递归的但不是原始递归的。Rosza Peter将A(x,y,z)简化到二元函数,初始条件由Raphael Robinson简化。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : 13898369ackermann.rar 列表 Ackermann\Ackermann.cpp Ackermann\Ackermann.dsp Ackermann\Ackermann.dsw Ackermann\Ackermann.ncb Ackermann\Ackermann.opt Ackermann\Ackermann.plg Ackermann\Debug Ackermann