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] | |
| 10/13 | Exam 1 | ||
| 10/15 | Sequences and Summation | lec_13.sequences-summations [pdf] [pptx] | |
| 10/20 | Infinite Cardinalities | lec_14.infinite-cardinalities [pdf] [pptx] | |
| 10/22 | Algorithms | Algorithms | lec_15.algorithms [pdf] [pptx] |
| 10/27 | Growth Rates | lec_16.growth-rates [pdf] [pptx] | |
| 10/29 | Complexity | lec_17.complexity [pdf] [pptx] | |
| 11/03 | Number theory and Cryptography | Divisibility | lec_18.divisibility [pdf] [pptx] |
| 11/05 | Integer Representations | lec_19.integer-representations [pdf] [pptx] |