论文部分内容阅读
<正> ICAI(智能计算机辅助教学)是信息科学的研究课题之一,也是计算机和人工智能应用的一个重要方面,为了减轻教师一部分重复劳动,辅助学生学习,我们研制了PCICAI(命题演算智能辅助教学系统),SETTI(集合论智能辅助教学系统)和GITUS(群论智能辅助教学系统)三个系统。更多还原