[ Lehrveranstaltungen 185/2 ]     [ AG Theoretische Informatik und Logik ]     [ Fachbereich Informatik ]     [ Technische Universität Wien ]

2.0 VU Mathematische Logik 2 (185.255, WS 2007/08)

This lecture will be presented in English (unless all participants are fluent in German)

Lecturer: Christian Fermüller


(Regular) Place and Time:

Tuesday, 10:00 (sharp) until about 12:00
Seminarraum E1852
Favoritenstraße 9 / Stiege 1 / 3rd floor (yellow zone)
Scheduled dates for meetings:
9.10. / 23.10. / 30.10. / 6.11. / 13.11. / 27.11. / 4.12. / 15.1. / 22.1.
(No lectures on the following dates: 16.10. / 20. 11. / 11.12. / 9.1.)

Important information:


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:

Further topics can be presented if whished by the audience (suggestions - via Email to C.Fermüller are welcome).


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.

Course material:

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.

In addition:

Lecture slides:

Additional information (links)


Selected solutions to exercises:

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.

Organisation / Assessment:

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.)

Informationen zur Anrechenbarkeit:

Diese Lehrveranstaltung ist Wahlfach im Magisterstudium Computational Intelligence (Bereich "Diskrete Mathematik und Logik").

Valid HTML 4.01! Viewable With Any Browser C.Fermüller