Title :
Creating and evaluating interactive formal courseware for mathematics and computing
Author :
Constable, Robert L.
Author_Institution :
Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
Abstract :
The application of the the Nupri proof development system to the teaching of college-level mathematics is explored. The advantages of this method include the flexibility to accommodate the needs of students with very diverse backgrounds and the creation of an environment that encourages collaborative learning
Keywords :
courseware; hypermedia; interactive systems; mathematics; mathematics computing; teaching; theorem proving; Nupri proof development system; collaborative learning; college-level mathematics; hypertext; interactive formal courseware evaluation; mathematics education; student needs; teaching; theorem prover; Algebra; Computer languages; Courseware; Education; Hardware; Libraries; Logic functions; Logic programming; Mathematics; Programming profession;
Conference_Titel :
Frontiers in Education Conference, 1996. FIE '96. 26th Annual Conference., Proceedings of
Conference_Location :
Salt Lake City, UT
Print_ISBN :
0-7803-3348-9
DOI :
10.1109/FIE.1996.570000
