Descriptor
| Classroom Techniques | 2 |
| Higher Education | 2 |
| Programming Languages | 2 |
| College Faculty | 1 |
| College Instruction | 1 |
| Computer Assisted Instruction | 1 |
| Computer Science | 1 |
| Computer Science Education | 1 |
| Curriculum Development | 1 |
| Induction | 1 |
| Mathematics Education | 1 |
| More ▼ | |
Source
Publication Type
| Books | 1 |
| Guides - Non-Classroom | 1 |
| Reports - Descriptive | 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
Keating, Anne B.; Hargitai, Joseph – 1999
This book provides a guide to college faculty with limited Internet experience on how to incorporate the World Wide Web (WWW) into college curriculum and instruction. The book begins with an informal history of computing and a guide to the geography of the Internet, and goes on to provide an analytical framework for thinking about networks,…
Descriptors: Classroom Techniques, College Faculty, College Instruction, Computer Assisted Instruction
