=ADD=
=reftype=
14
=number=
01-18
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2001/01-18.ps.gz
=year=
2001
=month=
12
=author=
Jun; Youngcook
=title=
Theorema-based TI-92 Simulator for Exploratory Learning
=abstract=
One of the Theorema system's capabilities provides a computional session
that enables a developer to simulate an existing graphing calculator such
as TI-92. Moreover, the deductive reasoning facility of Theorema allows the
simulator to deal with propositional and predicate logic for pedagogical
purposes. We present how to apply the use of such a simulator to help
students explore mathematical ideas in terms of the blackbox/whitebox
principle. This experimental approach is demonstrated with integrated modes
of computing, solving and proving. This paper is motivated by how to
encourage students to expore his/her own mathematical thinking based on
algorithmic and logical operations built into the Theorema system.
=howpublished=
Proceedings of Int. Conf. on Technology in Mathematics Teaching (ICTMT), 6-10 Aug 2001 
=sponsor=
FWF project SFB F013
=keywords=
automatic reasoning, TI92 simulator