【摘 要】
：
本文介绍了基于微机的归纳法推理系统．用该系统，作者已证明了一批计算机程序的正确性及一些有价值的程序属性，包括算术表达式编译程序的正确性、ＦＯＲＴＲＡＮ编译程序的正确性、ＬＩＳＰ解释程序的正
论文部分内容阅读
本文介绍了基于微机的归纳法推理系统．用该系统，作者已证明了一批计算机程序的正确性及一些有价值的程序属性，包括算术表达式编译程序的正确性、ＦＯＲＴＲＡＮ编译程序的正确性、ＬＩＳＰ解释程序的正确性等．文中简介了系统的理论基础、数据类型、总体结构，举例说明了系统的推理能力等．
This article introduces a microcomputer-based inductive reasoning system. With this system, the authors have demonstrated the correctness of some computer programs and some valuable program attributes, including the correctness of arithmetic expressions compiled programs, the correctness of FORTRAN compilers, and the correctness of LISP interpreters. This paper introduces the theoretical basis of the system, data types, the overall structure, an example of the system’s reasoning capabilities.
其他文献
摘 要：班级是学校管理的基本单位，也是联系学校和学生家庭的重要纽带。初中生朝气蓬勃，风华正茂，思想逐步成熟。初中班主任，作为班级的组织者和管理者，其教育和管理方式直接影响到学生的学习质量与学习效率，更会影响到学生品德素质的养成。这是班主任工作的意义所在。因此初中班主任需要了解学生特点，根据本班学生特点，选择适合本班的管理方法，加强并推进班级的管理工作，致力于创建和谐班级环境，为学生的全面发展提供有
LInux的国际化是LInux中文本地化的前提。该文首先论述了现阶段LInux在LInux核心、LInux文件系统、用户接口、应用程序这个层次上的国际化所遇到的问题，并简要阐述了这些问题
本文主要介绍“国际机器与机构理论联盟”(IFToMM)这一国际组织的发展概况.这一组织是联合国教科文组织(UNESCO)的正式成员,在国际学术界具有重要的地位.
1.2.8 生态与环境研究 遥感技术在调查上海城市污染现状,研究城市生态环境中也发挥了重要的作用。例如: 1990年,本市利用彩红外航片结合地面典型调查,揭示了上海市区与近郊
当今社会的城市工业废水在给社会和生活带来便利和快捷的同时,也给环境造成了一定的污染和后患.由于废水的污染,出现了许多死河和臭水沟的现象,空气和饮用水问题也成了难以解
本文首先探讨文体教学在大学英语中的必要性,并从词汇、句法和语篇三个层面分析论证了文体教学对大学英语写作的启发意义。作者强调大学英语教师应当培养学生的文体意识,提高
摘 要：近几年，幼兒教育的情况已经引起了国家教育部门的高度重视。幼儿园阶段的孩子年龄较小，将故事与幼儿教育进行有机结合已经成为了幼儿教育发展的必然趋势。传统教学模式已经无法适应现代幼儿课堂教学，幼儿教师应该结合幼儿的学习能力以及年龄因素选择合适的教学方法为其开展故事教学。本文就故事教学在幼儿教育中的重要性展开了一系列的研究。 关键词：故事教学；幼儿教育；重要性；研究 一、 前言 在国家不断推
摘 要：学前教育對于儿童来说十分重要，关系到迈进小学的起点问题。儿童是祖国的未来，也是民族的希望，儿童的健康成长关系到祖国的前途。作为一名幼儿教师就是要站在这个普通的岗位上把这个神圣的教育工作发扬光大。游戏教学，在幼儿教学中占有一定的位置，寻找合适的游戏让小朋友们在游戏中寓教于乐，能够达到事半功倍的效果。 关键词：游戏教育；语言表达能力；感知能力；审美观；健康发展；适应能力；知识 游戏是童年成
近年来中国的经济一直处于迅速发展时期，油气供需矛盾日益尖锐，世界国际化经营的发展给ＣＮＰＣ提供了千载难逢的机遇。ＣＮＰＣ应当顺应潮流，抓住机遇，发挥整体实力的优势，制定合理的优惠政策，充分