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