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


Announcements

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:

Smartboard

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: