NOTE: the departamental webpage has an outdated link. If you're
interested in the 2005 course, click here.
CSC 2423
FINITE MODEL THEORY AND DESCRIPTIVE COMPLEXITY
FALL 2001
Professor: Leonid Libkin
Room: PT370
Office hours: Wed 5-6 or by appointment
Class meets: Wed 3--5pm, MS 4279
Requirements: Assignment 1 (50%), Assignment 2 (50%)
Syllabus
Assignment 1
Assignment 2