Descriptor
| Algorithms | 2 |
| Computer Assisted Instruction | 2 |
| Computer Uses in Education | 2 |
| Mathematics Education | 2 |
| Mathematics Instruction | 2 |
| Mathematics Skills | 2 |
| Calculus | 1 |
| College Mathematics | 1 |
| Computer Oriented Programs | 1 |
| Consumer Education | 1 |
| Courseware | 1 |
| More ▼ | |
Source
Author
| Clark, Kevin Andrew | 1 |
Publication Type
| Guides - Classroom - Teacher | 1 |
| Reports - Research | 1 |
Education Level
Audience
| Practitioners | 1 |
| Teachers | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Download full textClark, 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
New York City Board of Education, Brooklyn, NY. Div. of Curriculum and Instruction. – 1986
This document serves as Volume II of a two-part course designed to improve mathematical proficiency and understanding as the student is given practice in relevant problem-solving situations. It includes the mathematics skills needed to make sound consumer decisions. The purpose of this course is to review, reinforce and extend concepts learned in…
Descriptors: Algorithms, Computer Assisted Instruction, Computer Oriented Programs, Computer Uses in Education
