Lecture assignments
| Week | Date | First lecturer | Second lecturer
|
|---|
| 1 | February 5 | Eric Rosen --- Introduction and overview
|
| | February 7 | Eric Rosen --- First-order logic
|
| 2 | February 12 | Michael Forbes | Paragraphs 2.4-2.7, 3.1 (pp. 16-17, 23-24)
| Samantha Mirzoeff | Paragraphs 3.2-3.4 (pp. 24-25)
|
| | February 14 | Eunsuk Kang | Paragraph 3.5 (pp. 27-28)
| Stela Gaitani | Paragraphs 3.6-3.7 (pp. 29-31)
|
| 3 | February 19 | No class.
|
| | February 21 | Rebecca Freund | "Background" (pp. 15, 17, 26)
| Asilata Bapat | Paragraphs 3.8-3.12 (pp. 32-33)
|
| 4 | February 26 | Josh Horowitz | Section 3.4 through Thm. 3.15
(pp. 33-35)
| Kenny Lu | Paragraphs 3.16-3.18 (pp. 35-36)
|
| | February 28 | Eric Rosen | The Ehrenfeucht-Fraisse Theorem
| Edwin Chen | Pages 37-38
|
| 5 | March 4 | Michael | Paragraphs 4.1-4.3 (pp. 45-47)
| Samantha | Paragraphs 4.4-4.7 (pp. 47-49)
|
| | March 6 | Eunsuk | Paragraphs 4.8-4.10 (pp. 49-51)
| Asilata | Paragraphs 4.11-4.13 (pp. 51-52)
|
| 6 | March 11 | Josh | Paragraph 7.1 (pp. 113-115)
| Kenny | Paragraphs 7.2-7.5 (pp. 115-116)
|
| | March 13 | Rebecca | Paragraphs 7.6-7.10 (pp. 116-118)
| Edwin | Paragraphs 7.11-7.12, top of p. 120 (pp. 118-120)
|
| 7 | March 18 | Samantha | Paragraph 7.14 (pp. 120-121)
| Asilata | Paragraphs 7.15-7.20 (pp. 122-123)
|
| March 20 | Michael | Finite automata
| Eunsuk | Nondeterminism
|
| | Spring Break
|
| 8 | April 1 | Edwin | P. 124 and 1/2 of 125
| Josh | 1/2 of p. 125 and p. 126
|
| | April 3 | Michael | Section 7.5 (pp. 127-129)
| Kenny | Paragraphs 7.28-7.29 (pp. 129-131)
|
| 9 | April 8 | Asilata | Turing machines (pp. 18-19 + Sipser)
| Samantha | Complexity classes (pp. 19-21 + Sipser)
|
| | April 10 | Eunsuk | Section 6.1 (pp. 87-89)
| Rebecca | Section 9.1 (pp. 165-168)
|
| 10 | April 15 | Kenny | Paragraphs 6.6, 9.5-9.7 (pp. 92-93, 168-9)
| Josh | Fagin's theorem (pp. 170-171)
|
| | April 17 | Edwin | Paragraphs 10.1-10.2 (pp. 177-179)
| Rebecca | Paragraphs 10.3-10.7 (pp. 179-182)
|
| 11 | April 22 | No class - Patriot's Day
|
| | April 24 | Asilata | Theorem 10.14 (pp. 192-194)
| Michael | Section 10.5 (pp. 195-197)
|
| 12 | April 29 | Samantha | Pages 235-237 (through Def. 12.1)
| Eunsuk | Paragraphs 12.4-12.6 (pp. 238-239)
|
| | May 1 | Edwin | Paragraphs 12.8-12.11 (pp. 241-242)
| Josh | Paragraphs 12.12-12.14 (pp. 243-244)
|
| 13 | May 6 | Eric Rosen | Preservation theorems in model theory
| Kenny | Logic programming
|
| | May 8 | Michael | Transitive closure logic and NLOGSPACE
| Asilata | Finite variable logic
|
| 14 | May 13 | Edwin | Embedded finite models
| Samantha | Generalized quantifiers
|
| | May 15 | Eunsuk | Bisimulation and modal logic
| Josh | Zero-one laws
|