Instructor

Joan Feigenbaum

Phone: 203-432-6432

Office: AKW 512

Office hours: Thursdays 10:30am to 12:30pm or by appointment

TA

Debayan Gupta

Phone: 203-606-5157

Office: AKW 503

Office hours: Mon 2:30-4pm & Tue-Thu 2:30-5:30pm or by appointment

Peer Tutor

Avi Arfin

Phone: 650-776-2797

Office: AKW Zoo

Office hours: Wed 2:30-4:30pm & Sat 2-4pm.

Peer Tutor

Mika Sumida

Phone: 201-403-1892

Office: AKW Zoo

Office hours: Sun & Mon 8-10pm

You can contact the professor's assistant, Judi Paige, at {phone: 203-436-1267, email: }.


Meeting Times: Tuesdays & Thursdays, 1:00-2:15pm

Room: Davies Auditorium

Textbook: Kenneth H. Rosen, "Discrete Mathematics and Its Applications", 7th Edition (McGraw Hill).

Course Description

Introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra. Emphasis on applications to computer science: recurrences, sorting, graph traversal, Gaussian elimination. For more information and the topics to be covered, see the webpages for the 2009, 2010, and 2011 iterations of CPSC 202.

Announcements

Schedule

Tuesday, Sep 11: First HW Assignment Due
Tuesday, Sep 18: Second HW Assignment Due
Tuesday, Sep 25: Third HW Assignment Due
Tuesday, Oct 02: Fourth HW Assignment Due
Tuesday, Oct 09: Fifth HW Assignment Due
Thursday, Oct 11:First In-Class Exam
Friday, Oct 19: Fall Semester Drop Date
Tuesday, Oct 23: Sixth HW Assignment Due
Thursday, Nov 01:Seventh HW Assignment Due
Thursday, Nov 08:Eighth HW Assignment Due
Tuesday, Nov 27:Ninth HW Assignment Due
Tuesday, Dec 04:Tenth HW Assignment Due
Thursday, Dec 06:Second In-Class Exam

Notes