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 条
  • [21] A history of abstract algebra
    Neumann, Peter M.
    BSHM BULLETIN-JOURNAL OF THE BRITISH SOCIETY FOR THE HISTORY OF MATHEMATICS, 2009, 24 (01): : 53 - 57
  • [22] VISUALISATION AS A MEANING-BESTOWING PROCESS IN THE LEARNING AND TEACHING OF ABSTRACT ALGEBRA
    Ioannou, Marios P.
    Nardi, Elena
    PME 33: PROCEEDINGS OF THE 33RD CONFERENCE OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL 1, 2009, 1 : 397 - 397
  • [23] Supporting scientific discovery learning in a simulation environment
    Reid, DJ
    Zhang, J
    Chen, Q
    JOURNAL OF COMPUTER ASSISTED LEARNING, 2003, 19 (01) : 9 - 20
  • [24] ENHANCING EDUCATIONAL ENVIRONMENT BY SUPPORTING STUDENT LEARNING
    Al Harthy, Khoula
    Zameer, Anjum
    Bino, Dhivya
    INTED2015: 9TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2015, : 354 - 361
  • [25] Supporting learners' activities in a distance learning environment
    Despres, Christophe
    George, Sébastien
    International Journal of Continuing Engineering Education and Life-Long Learning, 2001, 11 (03): : 261 - 272
  • [26] Supporting Collaborative Grammar Learning via a Virtual Learning Environment
    Orsini-Jones, Marina
    Jones, David
    ARTS AND HUMANITIES IN HIGHER EDUCATION, 2007, 6 (01) : 90 - 106
  • [27] Supporting awareness to facilitate collaborative learning in an online learning environment
    Cao, Y
    Greer, J
    DESIGNING FOR CHANGE IN NETWORKED LEARNING ENVIRONMENTS, 2003, 2 : 183 - 187
  • [28] Computer supported collaborative learning environment for abstract knowledge
    Nakatani, Y
    Fukuda, T
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 1050 - 1055
  • [29] The making of GABLE: A geometric algebra learning environment in matlab
    Mann, S
    Dorst, L
    Bouma, T
    GEOMETRIC ALGEBRA WITH APPLICATIONS IN SCIENCE AND ENGINEERING, 2001, : 491 - +
  • [30] Learning beginning algebra in a computer-intensive environment
    Tabach M.
    Hershkowitz R.
    Dreyfus T.
    ZDM, 2013, 45 (3): : 377 - 391
12345