关于W_1L演算的注记

本文在文献[1]的基础上对W_1L演算的可证公式进行了推证,并在W_1L系统上添加了五条新的公理构成一个新演算系统W_2L,证明在kleenec系统的99条定理中,强蕴涵词的弗晰赋值为真的或有效的公式在W_2L中均可证,一切赋值不真的公式在W_2L中都是不可证的。     

课件开发平台中教与学策略的设计研究

目前，国内教学软件开发所采用的诸多媒体编著工具及程序设计语言均未提供对教与学理论的直接支持，不利于提高课件质量，促进课件的普及与发展，基于此种原因，研究开发了ＩＭ－ＣＤＥ智能多媒体课件开发工具它具有简单、易学、科学等特点，是教师们开发优秀课件的好帮手本文将通过对此系统的分析与介绍，着重对课件开发工具中教与学策略的选择、设计、组织与实现等方面的问题进行探讨和研究     

数据流语言

本文介绍了一种新型的计算机语言──数据流语言，并讨论数据流语言的特性和它的执行模式、设计规则。     

智能教学系统集成开发环境及其认知型学生模型的研究与实现

介绍智能教学系统（ＩＴＳ）集成开发环境（ＩＤＥ）的设计思想、系统结构及特点，并着重介绍在ＩＴＳ－ＩＤＥ中运用认知学习理论构建的认知学生模型．该系统集编辑、修改、图形制作、声音合成、交互策略信息输入、课件调试运行为一体，真正实现了所见即所得的图文声同屏编辑制作方式，不会编写计算机程序的教师也可以用它设计出自己所教课程的ＣＡＩ课件