## CSC 2423

## FINITE MODEL THEORY AND DESCRIPTIVE COMPLEXITY

#### FALL 2005

Professor: Leonid Libkin

Room: PT398a

Office hours: by appointment
Class meets: Thu 4--6pm, BA 2135

Requirements: Easy problem sets, Assignment 1, Assignment 2 (50%)

Syllabus

Text: L. Libkin, Elements of
Finite Model Theory, Springer-Verlag, 2004.

**Assignment 1**
**Assignment 2**

You will be judged not just by correctness of your answers, but also
the style.

I strongly recommend

Mathematical Writing,
by Knuth et al,

as an excellent introduction into the art of mathematical writing. You
can get it on amazon.com for about US$25, it's worth it.

If you choose to be adventurous, try something like this.