602016 Formale Logik II

Wintersemester 2012/2013 | Stand: 05.02.2024 LV auf Merkliste setzen
Institut für Philosophie Institut für Philosophie
assoz. Prof. Dr. Ulrich Metschl assoz. Prof. Dr. Ulrich Metschl, +43 512 507 40206
602016
Formale Logik II
VO 2
4
wöch.
keine Angabe
Deutsch
Vermittlung fortgeschrittener Kenntnisse der formalen Logik; Einfuehrung in Goedels Unvollstanedigkeitsresultate
In der Vorlesung werden die Praedikatenlogik erster Stufe, darauf aufbauende formale Systeme sowie die metalogische Untersuchung deren Eigenschaften behandelt. Ein Schwerpunkt wird dabei vor allem auf der Darstellung der beruehmten Unvollstanedigkeitssaetze von Kurt Goedel liegen.
Vorlesung
Schriftlich (Uebungsaufgaben)
Peter J. Cameron: Sets, Logic, and Categories; New York - Berlin 1999
Beginn: xx
https://lms.uibk.ac.at/url/RepositoryEntry/1850015747
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Do 04.10.2012
 17.00 - 18.30 4U102b 4U102b Barrierefrei Induktionsschleifen für Gehöreingeschränkte
Do 18.10.2012
 17.00 - 19.15 4U102b 4U102b Barrierefrei Induktionsschleifen für Gehöreingeschränkte
Do 15.11.2012
 16.15 - 18.30 UNO Saal UNO Saal Barrierefrei
Do 29.11.2012
 16.15 - 18.30 4DG14 SR 4DG14 SR
Do 06.12.2012
 16.15 - 18.30 4DG14 SR 4DG14 SR
Do 10.01.2013
 12.00 - 15.00 4U102a 4U102a Barrierefrei Induktionsschleifen für Gehöreingeschränkte
Do 17.01.2013
 12.00 - 15.00 4U102a 4U102a Barrierefrei Induktionsschleifen für Gehöreingeschränkte
Do 24.01.2013
 12.00 - 15.00 4U102a 4U102a Barrierefrei Induktionsschleifen für Gehöreingeschränkte
Do 31.01.2013
 12.00 - 15.00 4U102a 4U102a Barrierefrei Induktionsschleifen für Gehöreingeschränkte