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/xy | … | … | |
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/xy | … | … | |
04/29 | Exam 2 –> 4 pm - 5:50 pm @ SENSQ 5502 |