| March | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
Lecture
Topic 1: Propositional Logic |
no section
|
Lecture
Topic 1: Circuits |
Section
Section 0 |
Lecture
Topic 1: Equivalences |
| April | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
Lecture
Topic 1: Predicate Logic |
Section
Section 1
18:00 HW1 part 1 due
|
Lecture
Topic 2: Proofs for Propositional Logic |
no section
|
Lecture
Topic 2: Proofs for Predicate Logic
18:00 HW1 part 2 due
|
|
Lecture
Topic 2: English Proofs |
Quiz
Quiz 1 |
Lecture
Topic 2: Proofs with Definitions |
Section
Section 2
18:00 HW2 part 1 due
|
no lecture
|
|
Lecture
Topic 3: Modular Arithmetic
18:00 HW2 part 2 due
|
no section
|
Lecture
Topic 3: Euclid's Algorithm |
Quiz
Quiz 2 |
Lecture
Topic 3: Induction |
|
Lecture
Topic 3: Strong Induction |
Section
Section 3
18:00 HW3 part 1 due
|
Lecture
Topic 4: Set Theory |
no section
|
Lecture
Topic 4: Product and Power Sets
18:00 HW3 part 2 due
|
| May | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
Lecture
Topic 4: Recursively-Defined Sets |
Quiz
Quiz 3 |
Lecture
Topic 4: Structural Induction |
Section
Section 4
18:00 HW4 part 1 due
|
no lecture
|
|
Lecture
Topic 5: Regular Expressions
18:00 HW4 part 2 due
|
no section
|
Lecture
Topic 5: Context-Free Grammars |
Quiz
Quiz 4 |
Lecture
Topic 5: Relations and Graphs |
|
Lecture
Topic 5: Finite-State Machines |
Section
Section 5
18:00 HW5 part 1 due
|
Lecture
Topic 6: DFAs, NFAs, and REs |
no section
|
Lecture
Topic 6: Limitations of DFAs & NFAs
18:00 HW5 part 2 due
|
|
Memorial Day
|
Quiz
Quiz 5 |
Lecture
Topic 6: Cardinality and Computability |
Section
Section 6
18:00 HW6 part 1 due
|
Lecture
Topic 6: The Halting Problem |
| June | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
Lecture
Topic 7: Reductions
18:00 HW6 part 2 due
|
no section
|
Lecture
Topic 7: Applications of Set Theory |
Quiz
Quiz 6 |
Lecture
Topic 7: Applications of Number Theory |
|
12:30-14:20 Final exam
|
||||