Projekte

• Fotos
• Liste der Projekte und Präsentationen

Gödels Unvollständigkeitssätze (Reinhard Kahle, Lissabon/Tübingen)

• Folien Vorlesung I-IV

Rekursion und Komplexität (Isabel Oitavem, Lissabon)

• Vorlesung I
• Vorlesung II
• Vorlesung III
• Vorlesung IV

Ordinalanalysis (Wolfram Pohlers, Münster)

• Handout Vorlesung I-IV

Automatisierte Beweisführung in der Automobilindustrie (Wolfgang Küchlin, Tübingen)

• Vorlesung I
• Vorlesung II
• Vorlesung III+IV

Evaluation

• Ergebnisse der Evaluation
• Evaluationsformular

Allgemeine Dokumente

• Schedule zum Download (PDF)
• Einige Informationen zum Thema "What to know, what to do".
• Handout Gruppen - minimales Axiomensystem