Logic for Computer Science (Aug-Dec 2017, Joint with Dr. M. Subhasree)

Safra Construction - Slides (Aditya Oak) available here



Myhill Nerode Theorem (From Open Course Material, University of Illinois) available here

Infinite Ramsey Theorem (Notes by Prof. Jayadev Mishra, University of Texas) available here

Buchi's complementation proof (from Wikipedia) available here



Introduction to model checking (popular article) (Prof. Madhavan Mukund, Chennai Mathematical Institute) available here

LTL and Buchi automata (Prof. Madhavan Mukund, Chennai Mathematical Institute) available here

Logic and Automata of Infinite Words (Prof. Madhavan Mukund, Chennai Mathematical Institute) available here

Logic and Auotmata of infinite words (Prof. Wolfgang Thomas, RWTH, Aachen) available here

Complementation of Buchi Automata (Prof. Narayan Kumar, Chennai Mathematical Institute) Monoids Lec: 1, Monoids Lec: 2, Buchi's Theorem

Logic and Auotmata of finite words (Prof. Madhavan Mukund, Chennai Mathematical Institute) available here

Logic and Auotmata of finite words (Prof. Wolfgang Thomas, RWTH Aachen) available here



K. Murali Krishnan
Faculty, CSED, NIT Calicut