CSE 599DS: Finite Model Theory
CSE Home
About Us
Search
Contact Info
Lectures
3/29: Background, Course overview:
ppt
,
htm
3/31 Ehrenfeucht-Fraisse Games (Ch. 3)
ppt
,
htm
4/5 cont'd
ppt
,
htm
4/7 Ordered Structures (Ch. 4)
ppt
,
htm
4/12 Turing Machines (Ch. 9) (Trakthenbrot's theroem, Fagin's NP theorem)
ppt
,
htm
4/14 Complexity of FO (Ch. 6)
ppt
,
htm
4/19 cont'd
ppt
,
htm
4/21 Logics and Complexity Classes (Ch. 10)
ppt
,
htm
4/26 con'd
ppt
,
htm
4/28 MSO (Ch. 7)
ppt
,
htm
5/3 cont'd
ppt
,
htm
5/5 FO^k (Ch. 11)
ppt
,
htm
5/10 cont'd
ppt
,
htm
5/12 cont'd
ppt
,
htm
5/17
ppt
,
htm
5/19 0/1 Laws (Ch. 12)
ppt
,
htm
5/22 cont'd
ppt
,
htm
5/26 cont'd
ppt
,
htm
5/29 cont'd
ppt
,
htm
Textbooks
Leonid Libkin,
Elements of Finite Model Theory
main text
H.D. Ebbinghaus, J. Flum,
Finite Model Theory
Herbert Enderton
A mathematical Introduction to Logic
Barwise et al.
Model Theory
(reference model theory book; won't really use it)
Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA 98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to
suciu
]