CS441: Discrete Structures for Computer Science, Fall 2024
Location (class): (Section A) Sennott Square 5502, and (Section B) LAWRN 207
Class time: (Section A) Monday and Wednesday, 1:00 - 2:15pm, and (Section B) Monday and Wednesday, 3:00 - 4:15pm
Instructor: Nils Murrugarra (email: nem177 AT pitt DOT edu; use “CS441” at the beginning of the subject line)
Instructor’s office hours: Tuesdat and Wednesday, 9am-11am
Instructor’s office: Sennott Square 5419
Teaching Assistants
[Grader]
Anveshika Kamble (ark411 AT pitt DOT edu)
Office: Zoom
Office Hours: Tue 2:00 pm – 5:00 pm
[Recitation]
Nick Ferguson (ndf27 AT pitt DOT edu)
Office: SENSQ 5806
Office Hours: Mon 4:30 pm – 6:00 pm / Tue 11:00 am – 12:30 pm
Annie Wang (agw23 AT pitt DOT edu)
Office: Zoom
Office Hours: Tue 2:00 pm – 3:30 pm / Thu 9:00 am – 10:30 am
Astalaxmi Dhanaseelan (asd153 AT pitt DOT edu)
Office: Zoom
Office Hours: Mon 3:00 pm – 4:45 pm / Tue 5:15 pm – 6:30 pm
David Shi (dzs19 AT pitt DOT edu)
Office: SENSQ 5806 / SENSQ 5804 / IS 2A11
Office Hours: Tue 12:00 pm – 1:00 pm @ SENSQ 5806 or SENSQ 5804 / Tue 2:00 pm – 3:00 pm @ SENSQ 5806 or SENSQ 5804 / Thu 11:00 pm – 12:00 pm @ IS 2A11
Owen Capell (oac8 AT pitt DOT edu)
Office: SENSQ 5804 / SENSQ 6503
Office Hours: Mon 11:00 am – 1:00 pm @ SENSQ 5804 / Tue 10:45 am – 12:45 pm @ SENSQ 6503
Canvas: used for announcements and assignment submission
Schedule
| Date | Chapter | Topic | Slides |
|---|---|---|---|
| 08/26 | The Foundations | Introduction | lec_1.intro [pdf] [pptx] |
| 08/28 | Propositional Logic | lec_2.prop-logic [pdf] [pptx] | |
| 09/02 | No class: Labor Day | ||
| 09/04 | Propositional Logic Logic Puzzles and Propositional Equivalence |
lec_4.prop-equiv [pdf] [pptx] | |
| 09/09 | Logic Puzzles and Propositional Equivalence Predicates and Quantifiers |
lec_5.predicates [pdf] [pptx] | |
| 09/11 | Predicates and Quantifiers | ||
| 09/16 | Predicates and Quantifiers Nested Quantifiers |
lec_6.nested-quantifiers [pdf] [pptx] | |
| 09/18 | Rules of Inference | lec_7.rules-of-inference [pdf] [pptx] | |
| 09/23 | Informal Proofs | lec_8.informal-proofs [pdf] [pptx] | |
| 09/25 | Proof Methods | lec_9.proof-methods [pdf] [pptx] | |
| 09/30 | Basic Structures | Sets | lec_10.sets [pdf] [pptx] |
| 10/02 | Set Identities | lec_11.set-identities [pdf] [pptx] | |
| 10/07 | Exam 1 Review | ||
| 10/09 | Functions | lec_12.functions [pdf] [pptx] | |
| 10/14 | No class: Fall Break | ||
| 10/16 | Exam 1 | ||
| 10/21 | Sequences and Summation | ||
| 10/23 | Infinite Cardinalities | ||
| 10/xy |