Seminar Theoretische Informatik - Logik und Berechenbarkeit
- Seminar, Prof. Dr. Kreitz, Nuria Brede, Do. 10:00-12:00, 3.06.S22
Im Wintersemester 2011/12 besprechen wir im Seminar Inhalte des Buchs "Computability and Logic" von Boolos, Burgess und Jeffrey (siehe Literatur). Den Schwerpunkt legen wir dabei auf die "Metalogik", es geht also um Erkenntnisse über Eigenschaften logischer Systeme.
Die Seminarvortäge werden thematisch den Bogen von primitiv-rekursiver Arithmetik und Logik erster Stufe bis hin zum Verständnis der Gödelschen Unvollständigkeitssätze spannen.
Alle organisatorischen Details werden in der ersten Veranstaltung am 20.Oktober besprochen.Veranstaltungen
Teilnehmer sollen in ihren Vorträgen die zentralen Begriffe ihres Themas, die zugehörigen Aussagen und deren Konsequenzen ausführlich darstellen und mit Hilfe von Beispielen (und eventuellen Lösungen der Übungsaufgaben) erklären. In den Seminaren soll es vor allem darum gehen, die Zuhörer in das jeweilige Thema einzuführen, weniger darum eine möglichst glatte Präsentation abzuliefern. Das Erstellen von Folien ist nicht unbedingt notwendig, jedoch können vorbereitete Materialien wie Folien oder Handouts auf der Webseite bereitgestellt werden.
Im Anschluss an den Vortrag, ggf. auch während des Vortrags findet eine inhaltliche Diskussion des Themas statt, die von der/dem Vortragenden geleitet wird. Von allen Teilnehmern wird eine aktive Beteiligung an dieser Diskussion erwartet, was voraussetzt, daß auch die Zuhörer die betreffenden Passagen des Textes gelesen haben.
Hier die geplante Verteilung der Vorträge (Änderungen, insbesondere der Termine, vorbehalten):
Thema |
Kap. |
Vortragende(r) |
Datum |
---|---|---|---|
|
|
Anna Melzer |
27.10. und 03.11.2011 |
Modelle: Löwenheim-Skolem- und Kompaktheitssatz |
12 |
Charlotte Gerlitz |
10.11. und 17.11.2011 |
Arithmetische Repräsentierbarkeit |
15&16 |
Matthias Seidel |
24.11. und 01.12.2011 |
Undefinierbarkeit, Unentscheidbarkeit, Unvollständigkeit: Gödelsche Unvollständigkeitssätze |
17&18 |
Mario Frank |
08.12. und 15.12.2011 |
Craigs Interpolation, Robinsons Joint Consistency, Beth Definability |
20 |
Falk Benke |
22.12.2011 und 05.01.2012 |
Ramseys Theorem, Königs Lemma Folien: Teil I, Teil II Folien und Papers: als zip-Archiv (3MB) (Login erforderlich) |
26 |
Carsten Baum |
12.01. und 19.01.2012 |
Modallogik und Beweisbarkeit |
27 |
Michael Görner |
26.01. und 02.02.2012 |
Leistungsbewertung
Grundlage für die Leistungsbewertung ist hauptsächlich die Qualität der Vorträge. Dabei ist das wichtigste Kriterium, wie verständlich und sorgfältig die Darstellung der entsprechenden Inhalte war. Außerdem gelten die üblichen Regeln wissenschaftlichen Arbeitens wie Fairness und vollständige Quellenangaben. Neben Anwesenheit und Aufmerksamkeit gehört zu einer aktiven Teilnahme auch ein sichtbares Interesse am Thema und die Bereitschaft Fragen zu stellen bzw. zu beantworten. Zugunsten einer umfangreichen Vorbereitung auf die Themen wird auf das Anfertigen einer Ausarbeitung verzichtet.
Literatur
George S. Boolos, John P. Burgess, and Richard C. Jeffrey : Computability and Logic
Cambridge University Press, 4. Auflage 2003, ISBN 0-521-00758-5
(Achtung, das Buch wurde in seinen verschiedenen Auflagen immer wieder überarbeitet, wodurch sich deutliche Unterschiede zwischen den einzelnen Auflagen ergeben!)