Programming in Prolog (3rd ed.)
Programming in Prolog (3rd ed.)
Foundations of computer science
Foundations of computer science
What computing is all about
A logical approach to discrete math
A logical approach to discrete math
The Go¨del programming language
The Go¨del programming language
Reasoned programming
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs
Computer language usage in CS1: survey results
ACM SIGCSE Bulletin
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Recursion in gradual steps (is recursion really that difficult?)
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
A report on the use of HyperTalk in CS1 within a liberal arts setting
ACM SIGCSE Bulletin
'Programming language paradigms' instruction through designing a new paradigm
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Linking different programming paradigms: thoughts about instructional design
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Teaching formal methods: lessons to learn
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
| Hi-index | 0.04 |
This paper presents a curriculum designed for a two semester foundation course for Computer Science majors. Our course distributes the widely accepted basic toolbox of algorithms and data structures over functional, logic and imperative programming. In this way the programming paradigm becomes a problem solving tool instead of a monolingual impediment to a wider view of problem solving patterns. A strong laboratory component is essential for the success of this approach.