[ Lehrveranstaltungen 185/2 ]
[ AG Theoretische Informatik und Logik ]
[ Fakultät für Informatik ]
[ Technische Universität Wien ]
185.332 Mathematical Logic 2, VU 3.0/2.0, SS 2010
Lecturer:
Stefan Hetzl, email: hetzl AT logic.at
This course is an optional course in the
Computer Science Master Study
Computational Intelligence
(Wahlfachkatalog Theoretische Informatik und Logik)
and belongs to the module Foundations of the
European Masters Program in
Computational Logic.
The course will be held in english.
Content:
The aim of this course is to discuss some of the most central ideas and results of mathematical logic.
The first part of the course is about pure first-order logic and its model theory. It will mainly
consist of proving the completeness, compactness and Löwenheim-Skolem theorems. The second part
will deal with arithmetic and recursion theory leading to Gödel's first incompleteness theorem.
Prerequisites:
Familiarity with the syntax and semantics of first-order logic (as taught for example in the course
Mathematical Logic 1).
Schedule:
The course will be held in blocked form from 12th of April until 3rd of May.
All lessons will be in the Gödel seminar room, Favoritenstraße 9.
The dates are:
- Monday, 12.4.2010: 16 - 18
- Tuesday, 13.4.2010: 14 - 16
- Thursday, 15.4.2010: 14 - 17
- Monday, 19.4.2010: 16 - 18
- Tuesday, 20.4.2010: 14 - 16
- Thursday, 22.4.2010: 14 - 17
- Monday, 26.4.2010: 16 - 18
- Tuesday, 27.4.2010: 14 - 16
- Thursday, 29.4.2010: 14 - 17
- Monday, 3.5.2010: 15 - 18
Exam:
A written exam will be on:
Monday, 10.5.2010, 16 - 18 in the Gödel seminar room
Literature:
Course notes will be made available during the course.
In addition, the following introductions to mathematical logic are useful:
- Dirk van Dalen: Logic and Structure, Springer.
- Boolos, Burgess, Jeffrey: Computability and Logic, Cambridge University Press.
- Joseph Shoenfield: Mathematical Logic, AK Peters.
More specialised texts that are recommended for further reading:
- Wilfrid Hodges: A Shorter Model Theory, Cambridge University Press.
- Gaisi Takeuti: Proof Theory, Elsevier.
- Piergiorgio Odifreddi: Classical Recursion Theory, North Holland.
- Kenneth Kunen: Set Theory, North Holland.
Many of these books are available from the university library.
A website containing links to many
introductory articles about various subjects in mathematical logic.
Assessment:
The practical part of the course is integrated and will take place in
the form of exercises which should be solved at home and will be discussed
in the course. At the end there will be a final exam.
The overall assessment takes into account the final exam, but
also the exercises and the general participation during the course.
Last Change: 2010-03-02