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: TBA
Instructor’s office: SENSQ 5419
Teaching Assistants

[Grader]
TBA

[Recitation]
TBA

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]