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.