CSC 2423

FINITE MODEL THEORY AND DESCRIPTIVE COMPLEXITY

FALL 2003

Professor: Leonid Libkin
Room: PT398a
Office hours: Wed 2-3 or by appointment

Class meets: Wed 3--6pm, BA 2135
                     6pm means "sometime between 5pm and 6pm"

Requirements: Assignment 1 (50%), Assignment 2 (50%)

Syllabus
 
Text:  L. Libkin, Elements of Finite Model Theory, 293pp, 1st draft.

           URL will be given to all the students taking/auditing this course.
           Please do not make this URL public (don't give it to others and
            don't put links on your own pages)
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.