CS441: Discrete Structures for Computer Science, Spring 2025
Location (class): (Section A) Sennott Square 5502, and (Section B) Sennott Square 5502
Class time: (Section A) Monday and Wednesday, 4:30 - 5:45pm, and (Section B) Tuesday and Thrusday, 2:30 - 3:45pm
Instructor: Nils Murrugarra (email: nem177 AT pitt DOT edu; use “[CS 441]” at the beginning of the subject line)
Instructor’s office hours: Monday, 11am - 1pm and Tueday, 9am-11am
Instructor’s office: SENSQ 5419
Teaching Assistants
Grader
Maanya Shanker ( maanya.shanker AT pitt DOT edu )
Office: SENSQ 6414
Office Hours: Tue 1-2 pm, Th 12-1pm, Fri 10-11am
Xin Jin ( xij90 AT pitt DOT edu )
Office: SENSQ 5422
Office Hours: Th 2-5 pm
Recitation
Adelle Melnikov ( ADM259 AT pitt DOT edu )
Office: SENSQ 5804
Office Hours: Th 12:30 pm – 2:30 pm, Fri 2:00 pm – 3:00pm
Astalaxmi Dhanaseelan ( ASD153 AT pitt DOT edu )
Office: Online
Office Hours: Th 1:30 pm – 3:30 pm @ zoom, Fri 5:00 pm – 6:30 pm @ zoom
Ajay Ohm ( aao59 AT pitt DOT edu)
Office: SENSQ 6503
Office Hours: Tue 4-7pm
Cameron Frencho ( crf69 AT pitt DOT edu )
Office: SENSQ 6508
Office Hours: Tue 4-5:30pm, Fri 12-1:30pm
Peter Ju ( ZIJ15 AT pitt DOT edu )
Office: SENSQ 6508
Office Hours: Fri 3-6pm
Canvas: used for announcements and assignment submission
Schedule - Section A
| Date | Chapter | Topic | Slides |
|---|---|---|---|
| 01/08 | The Foundations | Introduction | lec_1.intro [pdf] [pptx] |
| 01/13 | Propositional Logic | lec_2.prop-logic [pdf] [pptx] | |
| 01/15 | Propositional Logic | ||
| 01/20 | No Class | ||
| 01/22 | Puzzles and Propositional Equivalence | lec_4.prop-equiv [pdf] [pptx] | |
| 01/27 | Predicates and Quantifiers | lec_5.predicates [pdf] [pptx] | |
| 01/29 | Nested Quantifiers | lec_6.nested-quantifiers [pdf] [pptx] | |
| 02/03 | Rules of Inference | lec_7.rules-of-inference [pdf] [pptx] | |
| 02/05 | Informal Proofs | lec_8.informal-proofs [pdf] [pptx] | |
| 02/10 | Proof Methods | lec_9.proof-methods [pdf] [pptx] | |
| 02/12 | Basic Structures | Sets | lec_10.sets [pdf] [pptx] |
| 02/17 | Exam 1 Review | ||
| 02/19 | Set Identities | lec_11.set-identities [pdf] [pptx] | |
| 02/24 | Functions | lec_12.functions [pdf] [pptx] | |
| 02/26 | Exam 1 |
Schedule - Section B
| Date | Chapter | Topic | Slides |
|---|---|---|---|
| 01/09 | The Foundations | Introduction | lec_1.intro [pdf] [pptx] |
| 01/14 | Propositional Logic | lec_2.prop-logic [pdf] [pptx] | |
| 01/16 | Propositional Logic | ||
| 01/21 | Puzzles and Propositional Equivalence | lec_4.prop-equiv [pdf] [pptx] | |
| 01/23 | Predicates and Quantifiers | lec_5.predicates [pdf] [pptx] | |
| 01/28 | Nested Quantifiers | lec_6.nested-quantifiers [pdf] [pptx] | |
| 01/30 | Rules of Inferences | lec_7.rules-of-inference [pdf] [pptx] | |
| 02/04 | Informal Proofs | lec_8.informal-proofs [pdf] [pptx] | |
| 02/06 | Proof Methods | lec_9.proof-methods [pdf] [pptx] | |
| 02/11 | Basic Structures | Sets | lec_10.sets [pdf] [pptx] |
| 02/13 | Set Identities | lec_11.set-identities [pdf] [pptx] | |
| 02/18 | Exam 1 Review | ||
| 02/20 | Functions | lec_12.functions [pdf] [pptx] | |
| 02/25 | Exam 1 | ||
| 02/27 | Sequences and Summation | lec_13.sequences-summations [pdf] [pptx] |