ERIC Number: EJ386413
Record Type: CIJE
Publication Date: 1988
Reference Count: 0
The Use of CAI to Enhance Human Interaction in the Learning of Deductive Proof Construction.
Croy, Marvin J.
Computers and the Humanities, v22 n4 p277-84 1988
Describes a project which aims at improving human interaction in a deductive logic course via the use of a proof-checking computer program. Shows that the use of computers in education need not separate teachers from students, but rather can provide information concerning student needs and supply opportunities for addressing those needs both within and outside the classroom. (GEA)
Publication Type: Journal Articles; Reports - Descriptive
Education Level: N/A
Authoring Institution: N/A