CS441: Discrete Structures for Computer Science, Spring 2026
Location (class): (Section A) IS 403 and (Section B) SENSQ 5502
Class time: (Section A) Tue/Thu, 9:30 - 10:45am, and (Section B) Tue/Thu, 4:00 - 5: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] |