Elementary Logic and Automata Theory

Instructor: Bow-Yaw Wang

This lecture covers requisite materials from logic and automata theory. Specific topics include: semantics of classical logic, compactness theorem, completeness theorem, Büchi automata, satisfiability, validity, and QBF.

Course Materials

Homework Assignment


  • Herbert B. Enderton. A Mathematical Introduction to Logic. Academic Press, 2000.
  • John E. Hopcroft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley.
  • Erich Grädel, Wolfgang Thomas, and Thomas Wilke. Automata, Logics, and Infinite Games: A Guide to Current Research. Springer, 2003.
l.txt · Last modified: 2009/07/07 15:09 by mht208
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki