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.