Sciweavers

5 search results - page 1 / 1
» iSTOA: Artefacts for Mathematical Interactive Learning Exerc...
Sort
View
C5
2008
IEEE
14 years 1 months ago
iSTOA: Artefacts for Mathematical Interactive Learning Exercises
Hilaire Fernandes, Thibault Carron, Stéphan...
ITS
2010
Springer
182views Multimedia» more  ITS 2010»
13 years 5 months ago
An Interactive Learning Environment for Problem-Changing Exercise
: To make a new problem from the original one and to compare their solutions are promising activities to promote a learner to be aware of the structure of these problems. Especiall...
Tsukasa Hirashima, Sho Yamamoto, Hiromi Waki
AISC
2010
Springer
14 years 5 days ago
Adapting Mathematical Domain Reasoners
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...
Bastiaan Heeren, Johan Jeuring
JAR
2007
104views more  JAR 2007»
13 years 7 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
SIGCSE
2002
ACM
202views Education» more  SIGCSE 2002»
13 years 7 months ago
A tutorial program for propositional logic with human/computer interactive learning
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
Stacy Lukins, Alan Levicki, Jennifer Burg