| January | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
10:30-11:20 Lecture
CSE2 G20 Propositional Logic |
no section
|
10:30-11:20 Lecture
CSE2 G20 Circuits |
Section
Section 0 |
10:30-11:20 Lecture
CSE2 G20 Equivalences |
|
10:30-11:20 Lecture
CSE2 G20 Predicate Logic |
Section
Section 1 |
10:30-11:20 Lecture
CSE2 G20 Proofs for Propositional Logic |
no section
|
10:30-11:20 Lecture
CSE2 G20 Proofs for Predicate Logic
23:00 Homework 1 due
|
|
MLK Day
|
Quiz
Quiz 1 |
10:30-11:20 Lecture
CSE2 G20 English Proofs |
Section
Section 2 |
10:30-11:20 Lecture
CSE2 G20 Proofs with Definitions |
|
10:30-11:20 Lecture
CSE2 G20 Modular Arithmetic
23:00 Homework 2 due
|
no section
|
10:30-11:20 Lecture
CSE2 G20 Euclidian Algorithm |
Quiz
Quiz 2 |
10:30-11:20 Lecture
CSE2 G20 Induction |
| February | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
10:30-11:20 Lecture
CSE2 G20 Strong Induction |
Section
Section 3 |
10:30-11:20 Lecture
CSE2 G20 Set Theory |
no section
|
10:30-11:20 Lecture
CSE2 G20 Product and Power Sets
23:00 Homework 3 due
|
|
10:30-11:20 Lecture
CSE2 G20 Recursively-Defined Sets |
Quiz
Quiz 3 |
10:30-11:20 Lecture
CSE2 G20 Structural Induction |
Section
Seciton 4 |
10:30-11:20 Lecture
CSE2 G20 Regular Expressions |
|
President's Day
23:00 Homework 4 due
|
no section
|
10:30-11:20 Lecture
CSE2 G20 Context-Free Grammars |
Quiz
Quiz 4 |
10:30-11:20 Lecture
CSE2 G20 Relations and Graphs |
|
10:30-11:20 Lecture
CSE2 G20 Finite State Machines |
Section
Section 5 |
10:30-11:20 Lecture
CSE2 G20 DFAs, NFAs, and REs |
no section
|
10:30-11:20 Lecture
CSE2 G20 Limitations of DFAs, NFAs, and REs
23:00 Homework 5 due
|
| March | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
10:30-11:20 Lecture
CSE2 G20 Cardinality and Computability |
Quiz
Quiz 5 |
10:30-11:20 Lecture
CSE2 G20 Undecidability of the Halting Problem |
Section
Section 6 |
no lecture
|
|
10:30-11:20 Lecture
CSE2 G20 Reductions
23:00 Homework 6 due
|
no section
|
10:30-11:20 Lecture
CSE2 G20 Applications of Set Theory |
Quiz
Quiz 6 |
10:30-11:20 Lecture
CSE2 G20 Applications of Number Theory |
|
08:30-10:20 Final exam
|
||||