智能教学系统PCICAI,SETTI和GITUS

来源 :计算机学报 | 被引量 : 0次 | 上传用户:srldf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> ICAI(智能计算机辅助教学)是信息科学的研究课题之一,也是计算机和人工智能应用的一个重要方面,为了减轻教师一部分重复劳动,辅助学生学习,我们研制了PCICAI(命题演算智能辅助教学系统),SETTI(集合论智能辅助教学系统)和GITUS(群论智能辅助教学系统)三个系统。更多还原
其他文献
天气变动和原油价格的走势成为本月美豆市场影响最为关键的因素:以美豆11月合约为例,在6月初,突破了5月中旬以来的整理平台之后,借助天气、美国农业部利多的月度报告一路上攻,6月1
本文提出一种基于特征量化值(区间值,离散值或符号值)的多元分类树的构造方法。多元分类树在模式识别、人工智能及决策支持系统等领域有着重要的应用.
本文提出的算法模拟了由万有引力和屏蔽现象所引起的力学过程.这种拟物的方案可为许多NP难度的问题得出有价值的近似算法.该算法对拟物类型的选择与现代递归论中的有穷损害优
本文提出了二叉线索树中的准相连、局部根、局部路径概念.叙述并证明了准相连定理和局部路径定理.给出了消除二叉后序线索树中困难访问的算法.
<正> 1.引言 为了便于描述程序的控制结构,文[1,2]引入了多出口Petri网的概念,并指出,在一定意义下,多出口Petri网与一般Petri网是等价的。本文旨在从理论上讨论这两个概念的
10月24日.2008年东北3省饲料生产技术与管理研讨会在哈尔滨隆重召开。本次研讨会由江苏牧羊集团主办.会议得到了黑龙江省饲料工业办公室、饲料工业协会的大力支持。
模板工程是现浇混凝土板结构施工所用的临时性工程,具有工程量大且复杂的特点。为确保模板工程的安全,主要是要求模板及支撑体系的承载力和刚度满足规范要求。因此,在模板方
1人口东欧国家的人口数量正在下降,2005年.大多数东欧国家的人口数量比2000年减少。据预测,到2010年东欧的大多数国家人口数量也将进一步减少。2000年,该地区的人口总数为3.38亿左
目的探讨小儿慢性乙型肝炎(CHB)应用干扰素α-1b治疗后能够取得的疗效。方法选取2013年2月至2015年11月期间我院收治的85例小儿CHB患者观察临床疗效,其中58例患儿作为治疗组,
转醛醇酶(transaldolase,TALDO)缺陷病是一种罕见的先天性戊糖磷酸通路(pentose phosphate pathway,PPP)缺陷累及多系统的常染色体隐性遗传性疾病。2001年由Nanda等首次报道,临床