Weeks
|
Topics covered |
Comments / Dues |
|
Week
1 1/18/12 |
Administrative
stuff Set
Theory: Section 2.1, 2.2 [Slides -pdf] |
|
|
Week
2 1/23/12 |
Logic.
Sec 1.1 [slides 1, slides
2] Sec
1.2 Logical equivalence |
|
|
Week
3 1/30/12 |
Sec
1.2 – Duality – DNF –CNF – Function completeness
– [slides] |
|
|
Week
4 2/6/12 |
Sec 1.3
Predicates and Quantifiers Sec
1.4 Nested quantifiers |
|
|
Week
5 2/13/12 |
|
|
|
Week
6 2/20/12 |
Sec 1.5 Rules of Inference with quantifiers,
Methods of Proving Theorems |
|
|
Week
7 2/27/12 |
Sec
1.6 Methods of Proving Theorems Mid
Term I |
|
|
Week
8 |
Sec
1.7 Methods of Proving Theorems Cont. Sec
4.1 Induction |
|
|
Week
9 3/19/12 |
Sec
4.2 Induction, Cont. Sec
4.3 Recursive Definition, structural Induction Sec
4.4 Recursive Algorithms |
Sec 4.4 is an assigned reading. |
|
Week
10 3/26/12 |
Sec
4.3,4.4 Recursive Definition (cont., Structural Induction) |
|
|
Week
11 4/2/12 |
Relations
[slides] sec 8.1, 1, 8.2, 8.3 Sec
8.5 : Equivalence Relations, |
|
|
Week
12 4/9/12 |
Review
and Midterm II (on 4/9/2012) Sec
8.6: Partial orderings, Hasse Diagrams |
|
|
Week
13 4/16/12 |
Function [slides
1, slides
2] sec 2.3 Sec
2.3, 2.4: Functions &
Cardinality, Countable Sets |
|
|
Week
14 4/23/12 |
Sec
12.1: Languages and Grammars Sec 12.2,
12.3: Finite State Automata |
|
|
Week
15 4/30/12 |
Sec
12.4: Regular expression |
|