论文部分内容阅读
本文利用数组给出Ackermann函数的一个非递归解,并证明其正确性。
Ackennann函数的非递归解
【摘 要】
：
本文利用数组给出Ackermann函数的一个非递归解,并证明其正确性。
【机 构】
：
郑州大学计算机科学系,郑州大学计算机科学系
【出 处】
：
郑州大学学报：自然科学版
【发表日期】
：
1990年2期
【基金项目】
：
河南省自然科学基金
其他文献
本文合成了一系列偶氮型液晶配体,通过元素分析、IR、UV和NMR等手段对其结构进行了表征。采用DSC和偏光显微镜方法研究了它们的液晶行为和相变温度变化规律。更多还原
文中描述了利用恒流泵代替数字滴定计构成微机控制自动电位滴定仪的组成以及利用校正法解决非平衡电位滴定中终点误差校大的问题。本法用于低浓度试液的沉淀滴定及氧化-还原
采用再生胶与天然胶按不同比例混合并用，测试其物理机械性能，电绝缘性能及耐老化性，分析比较发现，再生胶20％，天然胶80％混合并用可替代原全天然胶生产XH－02A型和XH－00A型电缆橡皮护套，并
本文在抽象距离空间中建立了映射族的公共随机不动点定理,改进和推广了引文中的主要结果。更多还原
本文基于MC6845芯片在日立PC(16000)机显示系统的应用,主要说明了6845的初始化参数及如何控制某些内部寄存器和控制寄有器去完成一些所要求的显示功能。为拥有该机的用户进行
本文提出使程序分析的机械化效率得以提高的一种途径——广义归结,并证明了这一方法的正确性。更多还原
本文描述了具有一个Bose坐标和一个Fermion坐标的单粒子量子力学系统。在文(Ⅰ)中,用了Fermion坐标的距阵表示法,也用了Fermion坐标的反对易C数实现;用了Schrodinger波函数和
应用XRD、SEM与BET测比表面等手段对蜂窝形多孔陶瓷钯催化剂及其失活状态进行了测试。结果表明,长时间受热造成催化剂比表面下降,表面组成改变且活性组分钯在表面的存在减少
本文应用保角变换法，对外圆－内微带传输线作了精确分析，从而得出其特性阻抗和分布电容的表示式。
本文用能量估计方法和Leary—Schauder不动点定理,讨论了一类任意阶拟线性抛物型方程解的渐近性质。