An environment for supporting the learning of abstract algebra

被引：0
|
作者：
Cioni, G
Colagrossi, A
Temperini, M
机构：
来源：
SOFTWARE QUALITY ENGINEERING | 1997年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
An environment for supporting interactive abstract algebra learning is presented. The environment is based on the definition of an object-oriented programming language integrated with an automated deduction tool. The class construct is enhanced by allowing for defining axioms for the objects in that class. We present the main features of the environment, and show some significant examples based on work sessions.
引用
收藏
页码：15 / 26
页数：12
相关论文
共 50 条
12345