Logic and Sets in the Computer Science Curriculum
A.Soritiadou,
P. Kefalas
Abstract: Computer Science is not
just about Programming. Although this is well known to the academics, first
level students can hardly conceive how mathematics could play a essential
role in Computer Science. In this paper, we record our experience on the
importance of teaching Logic and Set Theory in a Computer Science curriculum
through a course in Discrete Mathematics. We present the appropriate concepts
of logic and set theory required for Computer Science students in a Bachelor’s
programme. The objective of this paper is not only to show how these concepts
are spread in a wide variety of Computer Science courses but also to argue
that the learning experience gained from getting involved in fundamental
problem solving enhances various skills of the Computer Science students.
Keywords: CS Curriculum, Dicrete Mathematics, Logic, Sets
Submitted to: 2nd Panhellenic Logic Symposium
Available: Hardcopy on request from the authors. .
Back
to Dept. of Computer Science, CITY Liberal Studies
Back
to Petros Kefalas home page