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 student hours: Mon 2pm - 3:30pm and Thu 11am-12:30pm
Instructor’s office: SENSQ 5419
Teaching Assistants
[Grader]
Junqi Wang ( juw188 AT pitt DOT edu )
Student Hours: Tue/Thu 2:30-4pm @ SENSQ 5422
Yingda Fan ( YingdaFan AT pitt DOT edu )
Student Hours: Fri 12-3pm @ SENSQ 5802
[Recitation]
Rebekka Hubrich ( rjh152 AT pitt DOT edu )
Student Hours: Tue 2:30-4pm and Wed 2:15-3:45pm @ SENSQ 5804 / zoom
Anthony Arshoun ( aja138 AT pitt DOT edu )
Student Hours: Mond 1-2pm, Wed 1-2pm and Wed 3-4pm @ SENSQ 5804
Peter Ju ( zij15 AT pitt DOT edu )
Student Hours: Thu 9am-12pm @ IS 2A11
Isabelle Vazapphilly ( ijv4 AT pitt DOT edu )
Student Hours: Tue 2:15-3:45pm @ SENSQ 5806 and Thu 2:15-3:45pm @ SENSQ 5804
Astalaxmi Dhanaseelan ( asd153 AT pitt DOT edu )
Student Hours: Fri 12-1pm @ SENSQ 5804 and Fri 2-4pm on Zoom
Avi Kottakota ( akk119 AT pitt DOT edu )
Student Hours: Mon/Wed 3-5pm @ SENSQ 5806
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] | |
| 01/20 | Propositional Logic | ||
| 01/22 | Puzzles and Propositional Equivalence | lec_4.prop-equiv [pdf] [pptx] | |
| 01/27 | Predicates and Quantifiers | lec_5.predicates [pdf] [pptx] | |
| 01/29 | Nested Quantifiers | lec_6.nested-quantifiers [pdf] [pptx] | |
| 02/03 | Rules of Inference | lec_7.rules-of-inference [pdf] [pptx] | |
| 02/05 | Informal Proofs | lec_8.informal-proofs [pdf] [pptx] |