论文部分内容阅读
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范围。由此而引深论述了程序正确性的证明法则——Haare公里系统,逐一论述了它们在计算机程序设计中的应用和具有的深远意义。
论程序正确性的证明法则——兼对McCarthy91函数定义的讨论
【摘 要】
：
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范围。由此而引深论述了程序正确性的证明法则
【机 构】
：
龙岩师专校长办公室
【出 处】
：
龙岩师专学报
【发表日期】
：
1991年03期
其他文献
为解决大坝安全综合评价中指标权重完全主观或完全客观的问题,结合层次分析法和投影寻踪法在综合评价中的应用建立了改进的AHP-PP模型,综合评价了济南市卧虎山大坝的安全等级
为更好地贯彻“商标兴市”的战略,推进辖区经济又好又快发展,安徽省九华山风景区工商分局采取积极措施,促进辖区商标工作的开展。一是坚持舆论先行,增强社会各界的商标法律意
德育基地是青少年教育的重要场所,其特定内涵和典型环境蕴含着丰富的教育资源,为青少年了解历史,考察现实起了桥梁作用。建立并利用德育基地开展青少年教育,强化了教育的直
河南省许昌县国土资源局就如何践行群众路线进行了认真研究,得出了要立足本职工作、迅速行动、全心全意为人民群众服务的结论。目前,许昌县国土资源局召开了局党组扩大会议,
数学活动(数学思维)是普遍的科学活动形式。以培养学生数学活动能力、正确的科学态度和哲学观点为重要目的的数学教育,主要是通过“数学活动的教学”来进行的。如何目标明确
如图1所示,超声波纸浆机包括超声波发生装置、电机、固定圆盘、第一转动圆盘、刀片固定杆、第二转动圆盘、销轴、刀片、进料口、出料口、阀门,其底部内侧设置有超声波发生装
2014年11月22日,河南能源化工集团旗下碳纤维公司完成的聚丙烯腈(PAN)基碳纤维用原丝蒸汽牵伸炉、PAN基碳纤维聚合脱单废水资源化综合利用两个项目通过河南省科技厅组织的成
今年是中国人民解放军建军86周年。走过86年光辉历程的人民解放军，在中国共产党的领导下，为了民族的解放、祖国的尊严、人民的利益，浴血奋战，取得了辉煌的战绩、立下了不朽的功勋。人民解放军从弱到强，在战斗中发展壮大，从单一兵种到发展成为各兵种俱全的现代化军队，成为党和人民信任的卫国长城。 党的群众路线教育实践活动在全党如火如荼开展之际，习近平总书记强调，军队开展党的群众路线教育实践活动，必须标准更高
今年7月初,52岁的李书福亲往冰岛首都雷克雅未克,以4550万美元(约合人民币2.8亿元)的投资金额,成为冰岛碳循环国际公司的重要股东。此举堪称吉利汽车今年以来最大手笔的投资