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

Mathematische Logik 1 (185.256)

Lecturer: Agata Ciabattoni


There are many reasons why a computer scientist should study logic. Historically it formed the roots of computer science, both Church's and Turing's work being motivated by the decision problem for first-order logic. Nowadays we are finding conversely that computer science is generating an explosion of interest in logic, with the desire to automate reasoning and the necessity to prove programs or systems correct. Basically, logic and computer science address the same problems of formalizing, elaborating and communicating knowledge.

Course contents:

The aim of this course is to describe some major results of mathematical logic and mention (some of) their connections to computer science. To this end the following topics will be presented:


Every Friday 14:00-16:00,
GOEDEL Seminar room (1040 Wien, Favoritenstrasse 9-11).
(First class October 15th, 2010, 14:00 (sharp!))

Additional Information