CS441: Discrete Structures for Computer Science, Fall 2025
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: Tue 9:30-11:30 am and Th 4:00-5:00pm
Instructor’s office: SENSQ 5419
Teaching Assistants
[Grader]
Junqi Wang ( juw188 AT pitt DOT edu )
Office Hours: Mon 1-3pm @ SENSQ 5422 and Tue 1:30-2:30pm @ SENSQ 5422
Peilin He ( peh53 AT pitt DOT edu )
Office Hours: Mon 1:30-4:30pm @ IS 410
[Recitation]
Rebekka Hubrich ( rjh152 AT pitt DOT edu )
Office Hours: Wed 4:30-7:30pm @ SENSQ 5806
Daniel Otto-Manzano ( dlo21 AT pitt DOT edu )
Office Hours: Mond/Wed 10:30-11:45 am @ SENSQ 5806, and Th 3:50-4:20pm @ IS 838
Adelle Melnikov ( adm259 AT pitt DOT edu )
Office Hours: Mon 4:30-6pm @ SENSQ 5806 and Tue 11-12:30pm @ SENSQ 5806
Isabelle Vazapphilly ( ijv4 AT pitt DOT edu )
Office Hours: Tue/Th 2:30-4pm @ SENSQ 5804
John Onubogu ( jco48 AT pitt DOT edu )
Office Hours: Mon/Wed 1-2:30pm @ SENSQ 6508 and Tue 2:30-3:30pm on Zoom
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 | Labor Day: No class | ||
09/03 | Propositional Logic |