Contents

C241: Discrete Structures for Computer Science

Spring 2008

Announcements

4/24/08: The solutions for assignment 10 have been posted on the assignments page.

4/21/08: The solutions for assignment 9 have been posted on the assignments page.

4/16/08: The solutions for assignment 8 have been posted on the assignments page.

4/15/08: Assignment 10 has been posted on the assignments page. It is due Wednesday, April 23th.

4/14/08: Class today (Monday, April 14th) is cancelled. There will be a substitute lecture during recitation on Wednesday.

4/07/08: The AI's office hour at 1pm this Tuesday (tomorrow) is cancelled. Please come to the office hour from 5-6 on the same day instead.

4/07/08: Assignment 9 has been posted on the assignments page. It is due Wednesday, April 16th.

4/02/08: According to the Office of the Registrar's final exam schedule the time and date of the final exam will be Wednesday, April 30, 12:30-2:30 p.m. The covered meterial will be topics related to assignments 8,9, and 10. It will be open-book and open-notes.

4/02/08: Assignment 8 has been posted on the assignments page. It is due Wednesday, April 9th.

3/31/08: The solutions for assignment 7 have been posted on the assignments page.

3/31/08: If you do not have back one or more of the graded assignments 5-7, please pick them up from the shelf in Lindley Hall 401 (between the Professor and AI's offices).

General Information

Course Description

Credits: 3
Prerequisites: C211
Textbook: Discrete Mathematics and Its Applications, 6th Edition, Kenneth H. Rosen
Topics: The mathematical foundations of computer science, including combinatorics, propositional and predicate logic, proofs, induction, sets, relations, running time of programs, trees and graphs.

Time & Location

Lecture: Monday, Wednesday 11:15pm - 12:30pm
Location: BH 215

Discussion Sections (Recitation):
Wednesday 4pm-6pm, BH 215
Thursday 6pm-8pm, BH 214

Instructor

Dirk Van Gucht
LH401B
Office Hours: Tu and Th, 11-12.

Associate Instructor

Mathias Niepert
LH401A
Office Hours: Tu 1-2 & 5-5:30, Th 3-4

Undergraduate Instructor

Dylan Bargatze
LH310
Office Hours: by appointment