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 | ||
| 03/03 | No Class. Spring Break | ||
| 03/05 | No Class. Spring Break | ||
| 03/10 | Sequences and Summation | lec_13.sequences-summations [pdf] [pptx] | |
| 03/12 | Exam 1 - Feedback Infinite Cardinalities |
lec_14.infinite-cardinalities [pdf] [pptx] | |
| 03/17 | Algorithms | Algorithms | lec_15.algorithms [pdf] [pptx] |
| 03/19 | Growth Rates | lec_16.growth-rates [pdf] [pptx] | |
| 03/24 | Complexity | lec_17.complexity [pdf] [pptx] | |
| 03/26 | Number theory and Cryptography | Divisibility | lec_18.divisibility [pdf] [pptx] |
| 03/31 | Integer Representations | lec_19.integer-representations [pdf] [pptx] | |
| 04/02 | Primes | lec_20.primes [pdf] [pptx] | |
| 04/07 | Congruences | lec_21.congruences [pdf] [pptx] | |
| 04/09 | Cryptography | lec_22.cryptography [pdf] [pptx] | |
| 04/14 | Induction | lec_23.induction [pdf] [pptx] | |
| 04/16 | Exam 2 Review | ||
| 04/21 | Exam 2 Review | ||
| 04/24 | Exam 2 –> 12 pm - 1:50 pm @ SENSQ 5502 |
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] | |
| 03/04 | No Class. Spring Break | ||
| 03/06 | No Class. Spring Break | ||
| 03/11 | Exam 1 - Feedback Infinite Cardinalities |
lec_14.infinite-cardinalities [pdf] [pptx] | |
| 03/13 | Algorithms | Algorithms | lec_15.algorithms [pdf] [pptx] |
| 03/18 | Growth Rates | lec_16.growth-rates [pdf] [pptx] | |
| 03/20 | Complexity | lec_17.complexity [pdf] [pptx] | |
| 03/25 | Number theory and Cryptography | Divisibility | lec_18.divisibility [pdf] [pptx] |
| 03/27 | Integer Representations | lec_19.integer-representations [pdf] [pptx] | |
| 04/01 | Primes | lec_20.primes [pdf] [pptx] | |
| 04/03 | Congruences | lec_21.congruences [pdf] [pptx] | |
| 04/08 | Cryptography | lec_22.cryptography [pdf] [pptx] | |
| 04/10 | Induction | lec_23.induction [pdf] [pptx] | |
| 04/15 | Induction | ||
| 04/17 | Exam 2 Review | ||
| 04/22 | Exam 2 Review | ||
| 04/29 | Exam 2 –> 4 pm - 5:50 pm @ SENSQ 5502 |