Logic in first courses for computer science majors
1995, World Conference on Computers in Education VI
https://doi.org/10.1007/978-0-387-34844-5_45Abstract
ABS'IRACT This paper describes the curriculum design of a two-semester introductory course for computer science majors. In each semester the course starts with logic and logic programming. The middle third of the semester continues with functional programming. The last third of the semester is dedicated to imperative programming. In such a presentation sequence reasoning leads to specifications which in turn lead to implementations. The concerns for 'WHAT?' are separated from concerns for 'HOW?'. The advantages and disadvantages of the inclusion of all three major programming paradigms are discussed.
References (12)
- ACM Curriculum Committee (1968) Curriculum 68. Comm. ACM 11 (3) pp. 151-197.
- Austing, R. (ed.) 1979) Curriculum 78. Comm. ACM, 22, (3) pp. 147- 166.
- ACMIIEEE-CS Curriculum Task Force (1991) Computing Curricula 1991. IEEE Comp. Soc. Press.
- Harrison R. (1993) The Use of Functional Languages in Teaching of Computer Science. Journal of Functional Programming 3 (1) pp. 67-75.
- Joosten, S., van den Berg, K. and van der Hoeven, G. (1993) Teaching Functional Programming to First-Year Students. Journal of Functional Programming 3 (1) pp. 49-65.
- Lambert, T., Lindsay, P. and Robinson, K., (1993) Using Miranda as a First Programming Language. Journal of Functional Programming 3 (1) pp. 5- 34.
- Clocksin, W. F. and Mellish, C. S. (1987) Programming in Prolog. Third Edn., Springer Verlag, New York.
- Hill, P. M. and Lloyd, J. W. ( 1994) The Goede! Programming Language. MIT Press.
- Gries, D. and Schneider, F. B., (1993) A Logical Approach to Discrete Math. Springer Verlag, New York.
- Wirth, N. (1976) Algorithms+ Data Structures= Programs. Prentice Hall.
- van de Snepscheut, J. L. A. (1993) What Computing is All About. Springer Verlag, New York.
- Reinfelds, J. (1994) Curriculum Design for a Three Paradigm First Course. NMSU Computer Science Department Technical Report, NMSU- CSTR-9412.