This lecture will be presented in English (unless all participants are fluent in German)
Lecturer: Christian Fermüller
Tuesday, 10:00 (sharp) until about 12:00Scheduled dates for meetings:
Favoritenstraße 9 / Stiege 1 / 3rd floor (yellow zone)
In accordance with the current Studienplan der Magisterstudien aus Informatik some (or even all) of the following slightly advanced topics in mathematical logic will be presented:
It is assumed that participants have mastered the elementary concepts of propostional and first-order logic as presented, e.g., in the basic lectures Theoretische Informatik und Logik (or Theoretische Informatik 1 and Theoretische Informatik 2, or Mathematische Logik, alter Studienplan).
It is not necessary (but helpful) do have participated in Mathematische Logik 1.
TEST YOURSELF whether you are fit for this course:
You should be able to prove without handwaving (and preferably without consulting any book or notes) that (forall x) (exists y) P(x,y) is a logical consequence of (exists x) (forall y) P(y,x), but that the converse does not hold. In particular you should be able to present a formal definition of the (logical) consequence relation.
A main source will be the excellent text book:
Five copies of this book are now also available at the Lehrbuchsammlung of the main TU library.
Selected solutions, worked out by the course participants will be posted here
Please include your name, the statement of the problem and the `excercise number' as well as (where applicable) the reference to the `problem number' in your solution, which should be in PDF.
For those working with LaTeX (recommended!) the site 'Latex for Logicians' might be useful.
As an integrated, essential part of the lecture, students will regularly be assigned exercises during the course and are expected to present solutions in written and/or oral form.
Regular, successful participation (in particular in the exercise part) will suffice to pass the course. (No additional examination will be required. However participants that cannot participate regularly, may take an examination.)
Diese Lehrveranstaltung ist Wahlfach im Magisterstudium Computational Intelligence (Bereich "Diskrete Mathematik und Logik").