Descriptor
| Classroom Techniques | 2 |
| Higher Education | 2 |
| Thinking Skills | 2 |
| Algorithms | 1 |
| Computer Science Education | 1 |
| Computer Uses in Education | 1 |
| Cooperative Learning | 1 |
| Induction | 1 |
| Logical Thinking | 1 |
| Mathematics Education | 1 |
| Problem Solving | 1 |
| More ▼ | |
Source
| Journal of Computing in… | 1 |
Author
| Gray, John S. | 1 |
| Neff, Norman D. | 1 |
Publication Type
| Reports - Descriptive | 2 |
| Guides - Classroom - Teacher | 1 |
| Journal Articles | 1 |
| Speeches/Meeting Papers | 1 |
Education Level
Audience
| Practitioners | 1 |
| Teachers | 1 |
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
Peer reviewedGray, John S. – Journal of Computing in Higher Education, 1998
Describes use of the little-known Shuttle Puzzle in computer programming to elucidate the process of analyzing a problem and synthesizing observations into an algorithm that can be used to generate a programming solution. The process used to solve the problem reflects one that an expert uses. The method could be adapted for small-group cooperative…
Descriptors: Algorithms, Classroom Techniques, Computer Uses in Education, Cooperative Learning
