Time and place: Tuesday 12:45 - 14:15, HA 105 (Seminar Room RISC, Hagenberg)
Text Book: Symbolic Logic and Mechanical Theorem Proving (Academic Press, Boston, 1973) by Chin-Liang Chang and Richard Char-Tung Lee
Additional material will be provided during the lectures and on this home page.
Prerequisites: In principle, students coming to this lecture should
have taken Automatic Theorem Proving A.
However, I will also accept other students provided they already have sufficient
knowledge or that they are willing to study part A from the textbook.
The lectures
are presented in forms of Mathematica notebooks
and are for internal use only.
