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 条
  • [31] Building Bridges to Algebra through a Constructionist Learning Environment
    Geraniou, Eirini
    Mavrikis, Manolis
    CONSTRUCTIVIST FOUNDATIONS, 2015, 10 (03): : 321 - 330
  • [32] Learning beginning algebra with spreadsheets in a computer intensive environment
    Tabach, Michal
    Hershkowitz, Rina
    Arcavi, Abraham
    JOURNAL OF MATHEMATICAL BEHAVIOR, 2008, 27 (01): : 48 - 63
  • [33] A logical approach to abstract algebra
    Coquand, Thierry
    Lombardi, Henri
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2006, 16 (05) : 885 - 900
  • [34] Jay Leno and Abstract Algebra
    Glesser, Adam
    Bonsangue, Martin
    JOURNAL OF HUMANISTIC MATHEMATICS, 2016, 6 (01): : 242 - 248
  • [35] Abstract algebra, a comprehensive introduction
    Toller, Owen
    MATHEMATICAL GAZETTE, 2023, 107 (569): : 372 - 373
  • [36] A logical approach to abstract algebra
    Coquand, T
    NEW COMPUTATIONAL PARADIGMS, 2005, 3526 : 86 - 95
  • [37] A WAY OF TEACHING ABSTRACT ALGEBRA
    FREEDMAN, H
    AMERICAN MATHEMATICAL MONTHLY, 1983, 90 (09): : 641 - 644
  • [38] A BASIC ABSTRACT SEMANTIC ALGEBRA
    MOSSES, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 87 - 107
  • [39] Abstract algebra uses homomorphisms
    MacLane, S
    AMERICAN MATHEMATICAL MONTHLY, 1996, 103 (04): : 330 - 331
  • [40] An evolving algebra abstract machine
    DelCastillo, G
    Durdanovic, I
    Glasser, U
    COMPUTER SCIENCE LOGIC, 1996, 1092 : 191 - 214
12345