Class |
Date |
Topic |
Reading |
HW Due |
HW Out |
Comments |
| 1 | Tu 1/29 | Introduction and Priming | 1.1 | Slides | ||
| 2 | Th 1/31 | Propositional Logic and LaTeX | 1.2,1.3 | HW 1 out | Slides hw1.tex Truth table example Recommended LaTeX packages |
|
| 3 | Tu 2/5 | Predicate Logic | 1.4-1.6 | Slides | ||
| 4 | Th 2/7 | Proofs | 1.7,1.8 | HW 1 due | HW 2 out | Slides hw2.tex |
| 5 | Tu 2/12 | Sets | 2.1,2.2 | Slides | ||
| 6 | Th 2/14 | Functions, Cardinality of Sets | 2.3,2.5 | HW 2 due | HW 3 out | Slides hw3.tex |
| 7 | Tu 2/19 | Functions, Cardinality | Slides | |||
| 8 | Th 2/21 | Sequences and Sums, Matrices | 2.4, 2.6 | HW 3 due | HW 4 out | Slides hw4.tex |
| 9 | Tu 2/26 | Algorithms and Complexity | 3.1-3.3 | Slides | ||
| 10 | Th 2/28 | Algorithms and Complexity (Guest lecturer: Shawn Squire) | 3.1-3.3 | HW 4 due | HW 5 out | Slides hw5.tex |
| 11 | Tu 3/5 | Review material, AA Review | Slides | |||
| 12 | Th 3/7 | Induction | 5.1, 5.2 | HW 5 due | Slides | |
| 13 | Tu 3/12 | Induction | 5.3, 5.4 | HW 6 out EXC HW out |
Slides hw6.tex |
|
| -- | Th 3/14 | TEST 1 | ||||
| -- | Tu 3/19 Th 3/21 |
SPRING BREAK! | ||||
| 14 | Tu 3/26 | Strong Induction and Recursion | Slides | |||
| 15 | Th 3/28 | Number Theory | Slides | |||
| 16 | Tu 4/2 | Number Theory and Counting | EXC HW due | Slides | ||
| 17 | Th 4/4 | Advanced Counting | HW 6 due | HW 7 out | Slides hw7.tex |
|
| 18 | Tu 4/9 | Probability Theory | Slides | |||
| 19 | Th 4/11 | Probability Theory | HW 7 due | HW 8 out | Slides hw8.tex |
|
| 20 | Tu 4/16 | Graph Theory | EXC HW 2 out | Slides | ||
| 21 | Th 4/18 | Graph Theory | HW 8 due | Slides | ||
| 22 | Tu 4/23 | Graph Theory | EXC HW 2 due HW 9 out |
Slides hw9.tex |
||
| -- | Th 4/25 |
TEST 2 | ||||
| 23 | Tu 4/30 | Trees | Slides | |||
| 24 | Th 5/2 | Trees | HW 9 due | HW 10 out | Slides hw10.tex |
|
| 25 | Tu 5/7 | Finite State Automata | Slides | |||
| 26 | Th 5/9 | Finite State Automata | HW 10 due | Slides | ||
| 27 | Tu 5/14 | Exam Review | ||||
| -- | Th 5/16 | FINAL EXAM (6:00-8:00)
Exam will take place in ITE 233 (our normal classroom) |
||||