| Professor: Office hours: Email: |
Saurabh Bagchi Follow this link sbagchi@purdue.edu |
| Teaching Assistant: Office hours: Email: |
Ege Can Kaya Follow this link kayae@purdue.edu |
| Teaching Assistant: Office hours: Email: |
Xinyu Zhang Follow this link zhan5085@purdue.edu |
| Teaching Assistant: Office hours: Email: |
Leonard Fan Follow this link fan316@purdue.edu |
Lecture 1: Propositional Logic
Class Notes: Aug 20, 2024
Class Notes: Aug 22, 2024
Lecture 2: Predicate Logic
Class Notes: Aug 27, 2024
Class Notes: Aug 29, 2024
Help Session - Week 2
Lecture 3: Proofs
Class Notes: Sep 3, 2024
Class Notes: Sep 5, 2024 (No in-class lecture, notes from Sep 7, 2023)
Help Session - Week 3
Lecture 4: Induction
Class Notes: Sep 10, 2024
Class Notes: Sep 12, 2024
Help Session - Week 4
Lecture 5: Program Proofs
Class Notes: Sep 17, 2024 (Updated to include solutions for the Active Learning Activity)
Class Notes: Sep 19, 2024 (Practice for Midterm 1)
Help Session - Week 5
Midterm 1 (Sep 23, 2024)
Class Notes: Sep 24, 2024
Class Notes: Sep 26, 2024
Help Session - Week 6
Lecture 6: Recurrences (Part 1)
Lecture 6: Recurrences (Part 2)
Class Notes: Oct 1, 2024
Class Notes: Oct 3, 2024
Help Session - Week 7
Class Notes: Oct 10, 2024
Help Session - Week 8
Class Notes: Oct 15, 2024
Class Notes: Oct 17, 2024
Help Session - Week 9
Lecture 7: Combinatorics
Class Notes: Oct 22, 2024
Class Notes: Oct 24, 2024
Help Session - Week 10
Class Notes: Oct 29, 2024
Class Notes: Oct 31, 2024
Help Session - Week 11
Midterm 2 (Nov 4, 2024)
Lecture 8: Relations
Class Notes: Nov 5, 2024
Class Notes: Nov 7, 2024
Help Session - Week 12
Class Notes: Nov 12, 2024
Help Session - Week 13
Lecture 9: Functions
Class Notes: Nov 19, 2024
Help Session - Week 14
Class Notes: Nov 26, 2024
Help Session - Week 15
Lecture 10: Finite State Machines
Class Notes: Dec 3, 2024
Class Notes: Dec 5, 2024
Final exam help session