Course Description

Contents and Objecives:
This course covers the theoretical foundations of Computer Science in the areas of propositional and predicate logic, mathematical proof techniques, sets, combinatorics, functions and relations, Boolean algebra, graphs, and graph algorithms. Students successfully completing this course will have gained important insights into the theoretical foundations of computer science and be able to apply formal techniques to the analysis of problems.

All students are expected to have passed the courses Intermediate Programming (CSE 1320) and Calculus I (Math 1426) or an equivalent before attending this course.

Judith L. Gersting, Mathematical Structures for Computer Science, 6th edition, W.H. Freeman and Company, 2006

Course Materials:
Additional course materials will be available electronically. Also, changes, if any, will be announced by e-mail.

E-mail and WWW page:
There is a course web page at$\sim$huber/cse2315 . All changes and supplementary course materials will be available from this site. In addition, necessary changes or important announcements will also be distributed by e-mail. In order to receive class-related messages you have to send an e-mail to the instructor (

Tentative Office Hours:
Office hours for the course will be held by the instructor in GACB 114, TuTh 5:00 - 6:00, and W 2:00 - 3:00. The first office hours will be held on Thursday, August 26. Times are subject to change and will be posted.

If for some reason you can not make it to any of these office hours, please inform the instructor.

Teaching Assistant and TA Office Hours:
The Teaching Asistant for the course is Vamsikrishna Gopikrishna.
TA office hours for the course will be held in NH 247, MW 11:30-1:30.
The TA's email address is (please include CSE 2315 in the subject line).

Manfred Huber