DocumentCode
305796
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
Volume
1
fYear
1996
fDate
6-9 Nov 1996
Firstpage
420
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Frontiers in Education Conference, 1996. FIE '96. 26th Annual Conference., Proceedings of
Conference_Location
Salt Lake City, UT
ISSN
0190-5848
Print_ISBN
0-7803-3348-9
Type
conf
DOI
10.1109/FIE.1996.570000
Filename
570000
Link To Document