Logic and Automata

Course descriptors:  Level 10   Level 11

Professor: Leonid Libkin
Office hours: by appointment

Class meets Tuesdays and Fridays, 10:00-10:50, in AT 8.01


Homeworks and Assignments

Lecture materials

There is no text on the subject at the moment.
Students taking the course will be given class notes from 2007.

Other useful references are:


FWIW, here are the pdf files produced by the smartboard. But keep in mind that more than 50% of the material was actually on the whiteboard! Also for reasons unknown to me, the smartboard often changes the order of pages when it produces a pdf file.
lecture 2     lecture 3     lecture 4     lecture 5     lecture 6     lecture 7     lecture 8     lecture 9     lecture 10     lecture 11     lecture 12     lecture 13     lecture 14    
lecture 15     lecture 16     smartboad broken for lecture 17     lecture 18     lecture 19 (scanned notes; smartboard didn't save)     lecture 20     additional lecture    

Presentation topics: