论文部分内容阅读
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范围。由此而引深论述了程序正确性的证明法则——Haare公里系统,逐一论述了它们在计算机程序设计中的应用和具有的深远意义。
论程序正确性的证明法则：兼对...
【摘 要】
：
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范围。由此而引深论述了程序正确性的证明法则
【机 构】
：
龙岩师专校长办公室
【出 处】
：
龙岩师专学报
【发表日期】
：
1991年3期
其他文献
油气化工码头仓储企业是储存和流转化工物资的重要载体,作为油气化工产品装卸、储运的中转基地,为当地的化工产业提供了完善的产业配套服务,从根本上解决了危化品如何快速安
运用文献分析、问卷调查等研究方法,在测量广州市老年人公共体育服务需求的基础上,从体育信息服务、体育活动服务、体育场地设施服务、体育组织服务、体育指导服务、体质监测
基于“健康中国”“国家治理”、《体育强国建设纲要(国办发〔2019〕40号)》颁布等背景,运用文献法、逻辑分析法,从社会需求、家庭需求、个体健康需求等3个方面解析了城市绿
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
当前,长江三角洲区域一体化发展已上升为国家战略。如何充分利用长三角优势科技资源,为浙江打造科技创新高地、加快建设创新型省份提供重要支撑?近日,由浙江省科技厅主办的20
本研究通过耳蜗器官体外培养模型的建立,观察了低氧对体外培养耳蜗毛细胞及螺旋神经节细胞的毒性作用;应用细胞化学方法、免疫荧光技术、RT-PCR及Western Blot等方法,观察低
【正】诗人大致分为两类.一类可称为“技艺型”,把诗当作身外之物,用来欣赏和消遣,当然也可用来养家糊口或当作走向仕途的“通行证”,诗与生命本体并无大的相涉,如宋代的王安
期刊
目的:探讨人羊膜上皮细胞作为新的种子细胞,在兔去上皮结膜基质和结膜匀浆培养液下定向诱导分化为结膜上皮,并进一步研究分化细胞的生物学特性及构建组织工程结膜用于眼表重
新时期对初中语文教学有新要求,重视全面培养学生的语文素养,塑造理论与实践能力并存的新型人才。成语是我国传统文化中的瑰宝,是初中语文教学的重要组成部分,成语故事中含有