**CS441: Discrete Structures for Computer Science, **

Location (class): (Section A) SENSQ 5502 and (Section B) IS 404
Class time: (Section A) Mon/Wed, 1:00 - 2:15pm, and (Section B) Mon/Wed, 3:00 - 4:15pm
Instructor: Nils Murrugarra (email: nem177 AT pitt DOT edu; use “[CS 441]” at the beginning of the subject line)
Instructor’s office hours: TBD
Instructor’s office: SENSQ 5419
Teaching Assistants
[Grader]
TA ( email AT pitt DOT edu )
Office Hours: Time @ Location

[Recitation]
TA ( email AT pitt DOT edu )
Office Hours: Time @ Location

Canvas: used for announcements and assignment submission

Schedule

Date	Chapter	Topic	Slides
01/13	The Foundations	Introduction	lec_1.intro [pdf] [pptx]
01/15		Propositional Logic	lec_2.prop-logic [pdf] [pptx]