- 1. S. Baden, Berkeley FP User's Manual, Rev. 4.1, 1982.Google Scholar
- 2. M. Carlsson and J. Widen, SICStus Prolog User's Manual, 1990.Google Scholar
- 3. R. Harper, Introduction to Standard ML, Technical Report 86-14, Department of Computer Science, University of Edinburgh, 1986.Google Scholar
- 4. P.B. Henderson and F.J. Romero, Teaching Recursion as a Problem-Solving Tool Using Standard ML, ACM SIGCSE Bulletin 20, 1, 1989, 27-30. Google ScholarDigital Library
- 5. R.A. Kowalski, Logic as a Computer Language for Children, in New Horizons in Educational Computing, M. Yazdani, Ed. Ellis Horwood, 1984. Google ScholarDigital Library
- 6. J.P. Meyers, Jr. The Central Role of Mathematical Logic in Computer Science. ACM SIGCSE Bulletin 22, 1, 1990 22-26. Google ScholarDigital Library
- 7. G. Polya, How to solve it, McGraw-Hill, Princeton, 1954.Google Scholar
Index Terms
- A declarative laboratory approach for discrete structures, logic, and computability
Recommendations
Teaching discrete structures: a systematic review of the literature
SIGCSE '11: Proceedings of the 42nd ACM technical symposium on Computer science educationThis survey paper reviews a large sample of publications on the teaching of discrete structures and discrete mathematics in computer science curricula. The approach is systematic, in that a structured search of electronic resources has been conducted, ...
A discrete structures course for a small college
Proceedings of the 5th SIGCSE symposium on Computer science educationIt is generally accepted that a course in discrete structures such as Course B3 in Curriculum 68 recommendations [1] is an important part of a Computer Science program. In many institutions a Discrete Structures course is offered in the Computer Science ...
A discrete structures course for a small college
SIGCSE '75: Proceedings of the fifth SIGCSE technical symposium on Computer science educationIt is generally accepted that a course in discrete structures such as Course B3 in Curriculum 68 recommendations [1] is an important part of a Computer Science program. In many institutions a Discrete Structures course is offered in the Computer Science ...
Comments