MATH 788: Finite Model Theory (Fall 2007)

Instructor: Bakhadyr Khoussainov

Meeting Time & Room

The course is an introduction to finite model theory. We will cover techniques for analyzing logics over finite models, connections with formal languages, complexity theory, and databases. We will study Ehrenfeucht-Frasse games, locality based techniques, connections between complexity classes and logics, automata and second order logic , finite variable logics, fixed point logics, and zero-one laws. The background assumes familiarity with basics of discrete mathematics, theory of computation, propositional and predicate logic.