WIT Press


An Environment For Supporting The Learning Of Abstract Algebra

Price

Free (open access)

Paper DOI

10.2495/SQE970021

Volume

17

Pages

12

Published

1997

Size

1,049 kb

Author(s)

G. Cioni, A. Colagrossi & M. Temperini

Abstract

An environment for supporting interactive abstract algebra learning is pre- sented. 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. 1 Introduction Computer aided instruction has surged ahead during last years^'*. Among the main topics of interest there is the support to teaching and learning the basics of abstract algebra^. The comprehension of concepts in abstract algebra is based on the un- derstanding of some principles that are fun

Keywords