NotesFAQContact Us
Collection
Advanced
Search Tips
Descriptor
Algorithms1
Calculus1
College Mathematics1
Computer Assisted Instruction1
Computer Uses in Education1
Higher Education1
Mathematical Logic1
Mathematics Education1
Mathematics Instruction1
Mathematics Skills1
Programming1
Proof (Mathematics)1
Skill Development1
More ▼
Source
Author
Clark, Kevin Andrew1
Publication Type
Reports - Research1
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing one result Save | Export
Constructing and Implementing Algorithms for the Teaching of Propositional Calculus by Computer.
PDF on ERIC Download full text
Clark, Kevin Andrew – 1991
The objectives of this research were to review existing computer-assisted instruction systems for propositional calculus proofs or elementary logic and to develop an instructional computer program that guides students in the valid construction of propositional calculus proofs. The system is unique in that it provides assistance at each step of the…
Descriptors: Algorithms, Calculus, College Mathematics, Computer Assisted Instruction