Mathematische Logik

Semester:	Sommersemester 2013
Veranstalter:	Prof. Grädel
Bemerkungen:	Seite vom Lehrstuhl Seite im Campus

Videos

- 1 Aussagenlogik
  1.1 Syntax und Semantik der Aussagenlogik
- Di, 09.04.2013, 11:45 Uhr
- 1.1 Syntax und Semantik der Aussagenlogik
  1.2 Aussagenlogik und Boolesche Funktionen
  Diskussion: Vorrechnen Präsenzübung 1
- Do, 11.04.2013, 11:45 Uhr
- Diskussion
- 1.2 Aussagenlogik und Boolesche Funktionen
  1.3 Horn-Formeln
- Di, 16.04.2013, 11:45 Uhr
- 1.4 Der Kompaktheitssatz der Aussagenlogik
  Diskussion: Übung 1: 3, 4
- Do, 18.04.2013, 11:45 Uhr
- 1.4 Der Kompaktheitssatz der Aussagenlogik
- Di, 23.04.2013, 11:45 Uhr
- 1.5 Aussagenlogische Resolution
- Do, 25.04.2013, 11:45 Uhr
- 1.6 Der aussagenlogische Sequenzenkalkül
- Di, 30.04.2013, 11:45 Uhr
- 1.6 Der aussagenlogische Sequenzenkalkül
- Do, 02.05.2013, 11:45 Uhr
- 2 Syntax und Semantik der
  Prädikatenlogik
  2.1 Strukturen
  2.3 Syntax der Prädikatenlogik
- Di, 14.05.2013, 11:45 Uhr
- 2.3 Syntax der Prädikatenlogik
  2.4 Semantik der Prädikatenlogik
- Do, 16.05.2013, 11:45 Uhr
- 2.4 Semantik der Prädikatenlogik
  2.5 Normalformen
- Gehalten von Simon Lessenich
- Di, 28.05.2013, 11:45 Uhr
- 2.5 Normalformen
  2.6 Spieltheoretische Semantik
- Di, 04.06.2013, 11:45 Uhr
- Spieltheoretische Semantik
- 2.6 Spieltheoretische Semantik
- Do, 06.06.2013, 11:45 Uhr
- Wegen technischer Probleme
  schlechter Ton bis 00:35:39
- 3.1 Definierbarkeit in der Prädikatenlogik,
  3.2 Isomorphielemma
- Di, 11.06.2013, 11:45 Uhr
- Das Isomorphielemma
- 3.3 Theorien und elementar äquivalente Strukturen
- Do, 13.06.2013, 11:45 Uhr
- 3.4 Ehrenfeucht-Fraïssé-Spiele
- Di, 18.06.2013, 11:45 Uhr
- 3.4 Ehrenfeucht-Fraïssé-Spiele 2
- Gehalten von Wied Pakusa
- Do, 20.06.2013, 11:45 Uhr
- 4.1 Der Sequenzenkalkül
- Di, 25.06.2013, 11:45 Uhr
- 4.2 Der Vollständigkeitssatz
- Do, 27.06.2013, 11:45 Uhr
- 4.3 Der Beweis des Vollständigkeitssatzes
- Di, 02.07.2013, 11:45 Uhr
- 4.3 Der Beweis des Vollständigkeitssatzes 2
- Do, 04.07.2013, 11:45 Uhr
- 4.4 Der Kompaktheitssatz
- Di, 09.07.2013, 11:45 Uhr
- 4.5 Unentscheidbarkeit der Prädikatenlogik
- Do, 11.07.2013, 11:45 Uhr
- 4.5 Unentscheidbarkeit der Prädikatenlogik - Satz von Church und Turing
- Di, 16.07.2013, 11:45 Uhr
- Lösung der Probeklausur
- Di, 13.08.2013, 13:00 Uhr