Descriptor
| Classroom Techniques | 1 |
| Computer Science Education | 1 |
| Higher Education | 1 |
| Induction | 1 |
| Mathematics Education | 1 |
| Programming Languages | 1 |
| Thinking Skills | 1 |
Source
Author
| Neff, Norman D. | 1 |
Publication Type
| Reports - Descriptive | 1 |
| Speeches/Meeting Papers | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Download full textNeff, Norman D. – 1995
This paper describes applications of logic programming technology to the teaching of the inductive method in computer science and mathematics. It discusses the nature of inductive thought and its place in those fields of inquiry, arguing that a complete logic programming system for supporting inductive inference is not only feasible but necessary.…
Descriptors: Classroom Techniques, Computer Science Education, Higher Education, Induction
