How can students learn thinking formally and logically
while playing a computer game?
screenshot shows interaction with
simulated 3D world
students learn what a well-formed formula, sentence and true
statement is
endless new exercises due to built-in intelligence
Barwise and Etchemendy won the 1997 Educom Medal for this
disadvantage: fake world is hardly situated in learner's
experience
other packages: Hyperproof, Turing's world
|
