【摘 要】
：
本文提出的构造系统是在Ｍａｎｉｎ—ｌｏｆ类型理论的基础上建立的。目的是为了规范地说明问题，和从问题的规范说明中构造性地提取合适的程序，从而为软件测试提供一种形式化的理论和有效方法，构
【机 构】
：
黑龙江大学应用数学研究所，哈尔滨工业大学
论文部分内容阅读
本文提出的构造系统是在Ｍａｎｉｎ—ｌｏｆ类型理论的基础上建立的。目的是为了规范地说明问题，和从问题的规范说明中构造性地提取合适的程序，从而为软件测试提供一种形式化的理论和有效方法，构造系统能使软件测试系统实现独立完成，并为程序的正确性验证提供了支持。
The tectonic system proposed in this paper is based on the Manin-lof type theory. The purpose is to formally explain the problem and extract the appropriate procedure structurally from the specification of the problem so as to provide a formalized theory and effective method for software testing. The construction of the system enables the software testing system to be completed independently. Support for the correctness of the program verification.
其他文献
近年来,我县紫云英产籽量逐年下降,单产很低,为了解决这个问题,1981年我们对紫云英留种田进行了喷施磷酸二氢钾和硼砂的对比试验,取得了显著的增产效果。试验经过试验分四种
摘要：在中职院校电子商务教学工作开展过程中，逐渐开启了新模式，形成校企双主体模式，进一步针对校企双主体模式下开展教学工作出现的难题加以分析和理解，提出有效的解决措施，提高我国中职院校校企模式下教学工作一体化开展效率，推动教师服务企业发展，培养人才，更好的促进我国社会各个方面的可持续发展和进步。 关键词：中职电子；专业校企；双主体模式；一体化研究 【中图分类号】F713.36-4；G712 校
文/rn经描典写范文二rn扫一扫,丰富你的摘抄本,本月佳 尽掌握!句描写亮点分解:请注意小作者一开始入水的姿势,再和之后的描写进行对比.描写亮点分解:你看出专业入水姿势与外
【摘要】语言是思维的工具，思维的根本存在于语言，体现在语文教学中，就是语文学习与思维活动的统一。新课标中指出：要培养学生养成独立思考的习惯，能够大胆勇敢地提出质疑并进行探究，发展思维的严谨性与批判性。批判性思维是高中语文核心素养的重要内容，也是高中语文教学中培养学生发展的新方向。思辨读写是语文品质的保证，对于发展和提升学生的思维有着重大的意义。本文就思辨读写基于高中生语文核心素养的教学改进进行了研
腐殖酸能刺激植物的生长发育,试验证明,水稻、小麦、玉米以及蔬菜等作物,用腐殖酸浸种或浸根,都有一定的效果。本试验目的在于探讨用腐殖酸浸茶树扦插短穗是否具有刺激作用,
棉花是较耐盐的作物,但其耐盐力也有一定的限度,一般土壤含盐量在0.2%以下,棉花能正常生长发育,结合适宜的栽培技术,也可以获得高产.土壤含盐量在0.2-0.3%吋,出苗困难,棉株
“一切数学来源于生活,来源于生活的现实。”把数学问题转化为生活问题模型,让学生在兴趣和生活中学好数学。
“All mathematics comes from life, from the reality of li
目的：了解复发性阿弗他溃疡（recurrent aphthous ulcer，RAU）患者外周血中细胞因子白细胞介素12（IL-12）和白细胞介素27（IL-27）的表达情况，探讨IL-12和IL-27在RAU发病机制中的作用及意义
摘要：近年来，随着新课改的实施，我国高中教学革新有着突飞猛进的发展，我国高中政治的教学改革效果有着显著的提高。但是，课改的进行也伴随着教学问题的产生。本文根据新课标背景下的高中政治课堂存在的问题进行总结，并加以分析，提出相应对策，以此提高高中政治的教学质量。 关键词：新课标；高中政治；教学；对策 【中图分类号】G633.2 随着我国教育事业的不断创新，新课标下的教育改革存在一定的弊端，我国教
【摘要】通过分析数学思维的特点，并研究数学思维与语文教学之间的共同点，实现数学思维在语文课堂中的准确嫁接与植入，能够有效地引导语文课堂教学创新与发展，实现语文课堂教学突破性的进步。 【关键词】数学思维;语文课堂;诗词教育 【中图分类号】G623 【文献标识码】A 跨学科教学思维的融合一直是学者和专家关注的研究话题，也是创新教学模式的重要途径之一。如何将小学