Mathematische Logik

Semester:	Sommersemester 2010
Veranstalter:	Prof. Grädel
Bemerkungen:	Seite der Veranstaltung Seite im CAMPUS

Videos

- Kapitel 1.1: Syntax und Semantik
- Di, 13.04.2010, 11:45 Uhr
- Kapitel 1.2: Boolesche Funktionen, DNF, KNF
- Do, 15.04.2010, 11:45 Uhr
- Kapitel 1.3: Horn-Formeln
- Di, 20.04.2010, 11:45 Uhr
- Kapitel 1.4: Kompaktheitssatz
- Do, 22.04.2010, 11:45 Uhr
- sorry fuer den Ton, Probleme mit der Hoersaaltechnik
- Kapitel 1.4: Beweis des Kompaktheitssatzes
- Di, 27.04.2010, 11:45 Uhr
- Kapiitel 1.4: Anwendungen des Kompaktheitssatzes
- Do, 29.04.2010, 11:45 Uhr
- Di, 04.05.2010, 11:45 Uhr
- ausgefallen wegen Vollversammlung
- Kapitel 1.5: Aussagenlogische Resolution
- Do, 06.05.2010, 11:45 Uhr
- Kapitel 1.5: Aussagenlogische Resolution
  Kapitel 1.6: Sequenzenkalkül
- Di, 11.05.2010, 11:45 Uhr
- Kapitel 1.6: Sequenzenkalkül
  Kapitel 1 Zusammenfassung
- Di, 18.05.2010, 11:45 Uhr
- Kapitel 2.1: Strukturen
  Kapitel 2.2: Ein Zoo von Strukturen
  Kapitel 2.3: Syntax
- Do, 20.05.2010, 11:45 Uhr
- Kapitel 2.3: Syntax
  Kapitel 2.4: Semantik
- Di, 01.06.2010, 11:45 Uhr
- Kapitel 2.5: Normalformen
- Di, 08.06.2010, 11:45 Uhr
- Kapitel 2.5: Normalformen
  Kapitel 2.6: Spieltheoretische Semantik
- Do, 10.06.2010, 11:45 Uhr
- Kapitel 2.6: Spieltheoretische Semantik
  Kapitel 3.1: Definierbarkeit in der Prädikatenlogik
- Di, 15.06.2010, 11:45 Uhr
- Kapitel 3.2: Das Isomorphielemma
- Do, 17.06.2010, 11:45 Uhr
- Kapitel 3.3: Theorien und elementar äquivalente Strukturen
- Di, 22.06.2010, 11:45 Uhr
- Kapitel 3.3: Quantorenrang, Isomorphielemma
  Kapitel 3.4: Ehrenfeucht-Fraïssé-Spiele, Satz von Ehrenfeucht und Fraïssé
- Do, 24.06.2010, 11:45 Uhr
- Kapitel 3.4: Ehrenfeucht-Fraïssé-Spiele
- Di, 29.06.2010, 11:45 Uhr
- Kapitel 3.4: Ehrenfeucht-Fraïssé-Spiele
  Kapitel 4.1: Sequenzenkalkül
- Do, 01.07.2010, 11:45 Uhr
- Kapitel 4.1: Sequenzenkalkül
  Kapitel 4.2: Vollständigkeitssatz, Herbrandstrukturen
- Di, 06.07.2010, 11:45 Uhr
- Kapitel 4.3: Beweis des Vollständigkeitssatzes
- Do, 08.07.2010, 11:45 Uhr
- Kapitel 4.3: Beweis des Vollständigkeitssatzes
  Kapitel 4.4: Kompaktheitssatz
- Di, 13.07.2010, 11:45 Uhr
- Kapitel 4.4: Kompaktheitssatz
- Do, 15.07.2010, 11:45 Uhr
- Kapitel 4.5: Unentscheidbarkeit der Prädikatenlogik
- Di, 20.07.2010, 11:45 Uhr
- Weitere logische Formalismen
  Fragestunde
- Do, 22.07.2010, 11:45 Uhr