一个定理证明检查器

介绍了一种新型的形式说明语言 PD_ Cal,该语言具有良好的表达能力以及丰富的类型 .通过对由该语言描述的定理证明过程进行类型检查 ,可判断该证明是否是给定定理的正确的证明 .在该思想的基础上 ,设计并实现了PD_ Cal定理证明检查器 .

从苦学 到发明——记嘉定区成人教育中心电视中专毕业生朱海章

在上海市电视中等专业学校举行的92届电器专业毕业设计公开答辩会上,一名身材瘦高的学员走上讲台,把几张电气原理图挂在黑板上,开始作答辩报告:"我的毕业设计是本单位的一个实际项目:数显温控表速率设定。我在玻璃退火炉的温度控制调节仪上设计安装了一个控制电路。

关于远距离教育质量评估的几点思考

顾名思义,远距离教育系指"教"、"学"双方在物理位置上相隔一定的距离,因而在教学活动中不能经常直接会面,而只能借助于电视、广播和文字教材等教学媒体来进行知识传播的一类教育形式。广播电视大学、函授大学以及自学考试,就是远距离教育的几种主要模式。近年来,随着现代通讯传播技术的发展,远距离教育已经成为成人教育的重要方式之一。