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 条
  • [41] Teaching computational abstract algebra
    Kaltofen, E
    JOURNAL OF SYMBOLIC COMPUTATION, 1997, 23 (5-6) : 503 - 515
  • [42] LINDSTRUM,AO - ABSTRACT ALGEBRA
    FOULKES, HO
    NATURE, 1967, 216 (5116) : 727 - &
  • [43] On abstract systems and system algebra
    Wang, Yingxu
    PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, VOLS 1 AND 2, 2006, : 332 - 343
  • [44] Does generalization in infant learning implicate abstract algebra-like rules?
    McClelland, JL
    Plaut, DC
    TRENDS IN COGNITIVE SCIENCES, 1999, 3 (05) : 166 - 168
  • [45] Does generalization in infant learning implicate abstract algebra-like rules?
    Center for the Neural Basis of Cognition, Carnegie Mellon University, 4400 Fifth Avenue, Pittsburgh, PA 15213-2683, United States
    Trends Cogn. Sci., 5 (166-168):
  • [46] A LITTLE COLOR IN ABSTRACT ALGEBRA
    WENE, GP
    AMERICAN MATHEMATICAL MONTHLY, 1982, 89 (06): : 417 - 419
  • [47] Parents supporting learning: a non-intensive intervention supporting literacy and numeracy in the home learning environment
    Niklas, Frank
    Cohrssen, Caroline
    Tayler, Collette
    INTERNATIONAL JOURNAL OF EARLY YEARS EDUCATION, 2016, 24 (02) : 121 - 142
  • [48] A model for supporting authentic learning and seamless learning in ubiquitous computing environment
    Chen, Min-Chih
    Chen, Yuh-Min
    Chu, Hui-Chuan
    Yang, Hui-Mei
    Wang, Chin-Bin
    IMSCI '07: INTERNATIONAL MULTI-CONFERENCE ON SOCIETY, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS, 2007, : 279 - +
  • [49] Scale: Supporting community awareness, learning, and evolvement in an organizational learning environment
    Soller, A
    Guizzardi, R
    Molani, A
    Perini, A
    ICLS2004: INTERNATIONAL CONFERENCE OF THE LEARNING SCIENCES, PROCEEDINGS: EMBRACING DIVERSITY IN THE LEARNING SCIENCES, 2004, : 489 - 496
  • [50] An Environment for Supporting Active Learning in Courses on Language Processing
    Sierra, Jose-Luis
    Fernandez-Pampillon, Ana Ma
    Fernandez-Valmayor, Alfredo
    ITICSE '08: PROCEEDINGS OF THE 13TH ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, 2008, : 128 - 132
12345