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
09/08		Puzzles and Propositional Equivalence	lec_4.prop-equiv [pdf] [pptx]
09/10		Predicates and Quantifiers	lec_5.predicates [pdf] [pptx]
09/15		Nested Quantifiers	lec_6.nested-quantifiers [pdf] [pptx]
09/17		Rules of Inference	lec_7.rules-of-inference [pdf] [pptx]
09/22		Informal Proofs	lec_8.informal-proofs [pdf] [pptx]
09/24		Proof Methods	lec_9.proof-methods [pdf] [pptx]
09/29	Basic Structures	Sets	lec_10.sets [pdf] [pptx]
10/01		Set Identities	lec_11.set-identities [pdf] [pptx]
10/06		Exam 1 Review
10/08		Functions	lec_12.functions [pdf] [pptx]