CS441: Discrete Structures for Computer Science, Fall 2026
Location (class): SENSQ 5502
Class time: Tue/Thu, 11:00 am- 12:15pm
Instructor: Nils Murrugarra (email: nem177 AT pitt DOT edu; use “[CS 441]” at the beginning of the subject line)
Instructor’s student hours: Mon 10:30am - 12pm and Thu 2:45-4:15pm
Instructor’s office: SENSQ 5419
Teaching Assistants
[Grader]
Jatin Khilnani ( Jatin.Khilnani AT pitt DOT edu )
Student Hours: Mon 11am-12pm, Tue 10-11am and Fri 11am-12pm @ SENSQ 6804
[Recitation]
Emily Rojas ( esr107 AT pitt DOT edu )
Student Hours: Tue 4-6pm and Wed 4-5pm @ SENSQ 5804
Kylie Phillips ( kep208 AT pitt DOT edu )
Student Hours: Mon 11:45am-2:45pm @ IS 2A11
John Onubogu ( jco48 AT pitt DOT edu )
Student Hours: Tue 3-5pm @ zoom and Fri 11am-12pm @ SENSQ 6503
Canvas: used for announcements and assignment submission
Schedule
| Date | Chapter | Topic | Slides |
|---|---|---|---|
| 08/25 | The Foundations | Introduction | lec_1.intro [pdf] [pptx] |
| 08/27 | Propositional Logic | lec_2.prop-logic [pdf] [pptx] | |
| 09/01 | Propositional Logic | ||
| 09/03 | Puzzles and Propositional Equivalence | lec_4.prop-equiv [pdf] [pptx] | |
| 09/08 | Predicates and Quantifiers | lec_5.predicates [pdf] [pptx] | |
| 09/10 | Nested Quantifiers | lec_6.nested-quantifiers [pdf] [pptx] | |
| 09/15 | Rules of Inference | lec_7.rules-of-inference [pdf] [pptx] | |
| 09/17 | Informal Proofs | lec_8.informal-proofs [pdf] [pptx] | |
| 09/22 | Proof Methods | lec_9.proof-methods [pdf] [pptx] | |
| 09/24 | Basic Structures | Sets | lec_10.sets [pdf] [pptx] |