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: TBD
Instructor’s office: Sennott Square 5419
Teaching Assistants
[Grader] TBA
Anveshika Kamble (ark411 AT pitt DOT edu)
Office: Zoom
Office Hours: Tue 2:00 pm – 5:00 pm

[Recitation] TBA
Nick Ferguson (ndf27 AT pitt DOT edu)
Office: SENSQ 5806
Office Hours: Mon 4:30 pm – 6:00 pm / Tue 11:00 am – 12:30 pm

Annie Wang (agw23 AT pitt DOT edu)
Office: Zoom
Office Hours: Tue 2:00 pm – 3:30 pm / Thu 9:00 am – 10:30 am

Astalaxmi Dhanaseelan (asd153 AT pitt DOT edu)
Office: Zoom
Office Hours: Mon 3:00 pm – 4:45 pm / Tue 5:15 pm – 6:30 pm

David Shi (dzs19 AT pitt DOT edu)
Office: SENSQ 5806 / SENSQ 5804 / IS 2A11
Office Hours: Tue 12:00 pm – 1:00 pm @ SENSQ 5806 or SENSQ 5804 / Tue 2:00 pm – 3:00 pm @ SENSQ 5806 or SENSQ 5804 / Thu 11:00 pm – 12:00 pm @ IS 2A11

Owen Capell (oac8 AT pitt DOT edu)
Office: SENSQ 5804 / SENSQ 6503
Office Hours: Mon 11:00 am – 1:00 pm @ SENSQ 5804 / Tue 10:45 am – 12:45 pm @ 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]