智能教学系统PCICAI,SETTI和GITUS |
| |
作者姓名: | 张一立 刘亚 |
| |
作者单位: | 四川大学计算机科学系(张一立,刘亚练,林桑楠),四川大学计算机科学系(唐常杰) |
| |
基金项目: | 中科院成都计算机应用研究所基金 |
| |
摘 要: | ICAI(智能计算机辅助教学)是信息科学的研究课题之一,也是计算机和人工智能应用的一个重要方面,为了减轻教师一部分重复劳动,辅助学生学习,我们研制了PCICAI(命题演算智能辅助教学系统),SETTI(集合论智能辅助教学系统)和GITUS(群论智能辅助教学系统)三个系统。
|
关 键 词: | 智能教学系统 PCICAI SETTI GITUS |
本文献已被 CNKI 维普 等数据库收录! |
|