Mathematische Logik

Semester:	Sommersemester 2017
Veranstalter:	Prof. Grädel
Bemerkungen:	Informationen zur Veranstaltung

Videos

- Vorlesung 01
- Do, 20.04.2017, 14:15 Uhr
- 1. Aussagenlogik
  1.1 Syntax und Semantik der Aussagenlogik
- Vorlesung 02
- Mi, 26.04.2017, 10:15 Uhr
- 1.1 Syntax und Semantik der Aussagenlogik
  1.2 Boolesche Funktionen und Normalformen
  1.3 Horn-Formeln
- Vorlesung 03
- Do, 27.04.2017, 14:15 Uhr
- 1.3 Horn-Formeln
  1.4 Kompaktheitssatz der Aussagenlogik
- Globalübung 01
- Do, 27.04.2017, 15:00 Uhr
- Übungsblatt 01
  - Aufgabe 6
  - Aufgabe 5
- Vorlesung 04
- Mi, 03.05.2017, 10:15 Uhr
- 1.4 Kompaktheitssatz der Aussagenlogik
  Beweis & Beispiel
- Vorlesung 05
- Do, 04.05.2017, 14:15 Uhr
- 1.4 Kompaktheitssatz der Aussagelogik
  1.5 Aussagenlogische Resolution
- Globalübung 02
- Do, 04.05.2017, 15:00 Uhr
- Übungsblatt 02
  - Aufgabe 2
  - Aufgabe 3
- Vorlesung 06
- Mi, 10.05.2017, 10:15 Uhr
- 1.5 Aussagenlogische Resolution
  1.6 Der aussagenlogische Sequenzenkalkül
- Vorlesung 07
- Do, 11.05.2017, 14:15 Uhr
- 1.6 Der aussagenlogische Sequenzenkalkül
- Globalübung 03
- Do, 11.05.2017, 15:00 Uhr
- Übungsblatt 03
  - Aufgabe 5
  - Aufgabe 3
- Vorlesung 08
- Mi, 17.05.2017, 10:15 Uhr
- 2. Syntax und Semantik der
  Prädikatenlogik
  2.1 Strukturen
  2.2 Ein Zoo von Strukturen
  2.3 Syntax der Prädikatenlogik
  2.4 Semantik der Prädikatenlogik
- Vorlesung 09
- Do, 18.05.2017, 14:15 Uhr
- 2.3 Syntax der Prädikatenlogik
  2.4 Semantik der Prädikatenlogik
- Globalübung 04
- Do, 18.05.2017, 15:00 Uhr
- Übungsblatt 04
  - Aufgabe 5
  - Aufgabe 4
- Vorlesung 10
- Mi, 24.05.2017, 10:15 Uhr
- 2.5 Normalformen
- Vorlesung 11
- Mi, 31.05.2017, 10:15 Uhr
- 2.6 Spieltheoretische Semantik
- Vorlesung 12
- Do, 01.06.2017, 14:15 Uhr
- 3. Definierbarkeit in der Prädikatenlogik
  3.1 Definierbarkeit
- Globalübung 05
- Do, 01.06.2017, 15:00 Uhr
- Übungsblatt 06
  - Aufgabe 2
  - Aufgabe 3
- Vorlesung 13
- Mi, 14.06.2017, 10:15 Uhr
- 3.2 Das Isomorphielemma
  3.3 Theorien und elementar äquivalente Strukturen
- Vorlesung 14
- Gehalten von Matthias Hoelzel
- Mi, 21.06.2017, 10:15 Uhr
- 3.4 Ehrenfeucht-Fraïssé-Spiele
- Vorlesung 15
- Gehalten von Svenja Schalthöfer
- Do, 22.06.2017, 14:15 Uhr
- 3.4 Ehrenfeucht-Fraïssé-Spiele
- Globalübung 06
- Gehalten von Svenja Schalthöfer
- Do, 22.06.2017, 15:00 Uhr
- Übungsblatt 08
- Vorlesung 16
- Mi, 28.06.2017, 10:15 Uhr
- 4 Vollständigkeitssatz, Kompaktheitssatz, Unentscheidbarkeit
  4.1 Der Sequenzenkalkül
  4.2 Der Vollständigkeitssatz
- Vorlesung 17
- Do, 29.06.2017, 14:15 Uhr
- 4.3 Der Beweis des Vollständigkeitssatzes
- Globalübung 07
- Do, 29.06.2017, 15:00 Uhr
- Übungsblatt 09
- Vorlesung 18
- Gehalten von Prof. Grädel, Svenja Schalthöfer
- Mi, 05.07.2017, 10:15 Uhr
- 4.3 Der Beweis des Vollständigkeitssatzes
- Vorlesung 19
- Do, 06.07.2017, 14:15 Uhr
- 4.3 Der Beweis des Vollständigkeitssatzes
  4.4 Der Kompaktheitssatz, Axiomatisierbarkeit und Größe von
  Modellen
- Globalübung 08
- Do, 06.07.2017, 15:00 Uhr
- Blatt 10
- Vorlesung 20
- Mi, 12.07.2017, 10:15 Uhr
- 4.4 Der Kompaktheitssatz, Axiomatisierbarkeit und Größe von
  Modellen
  4.5 Unentscheidbarkeit der Prädikatenlogik
- Vorlesung 21
- Do, 13.07.2017, 14:15 Uhr
- Unentscheidbarkeit und Modallogik
- Globalübung 09
- Do, 13.07.2017, 15:00 Uhr
- Vorlesung 22
- Mi, 19.07.2017, 10:15 Uhr
- Vorlesung 23
- Do, 20.07.2017, 14:15 Uhr
- Globalübung 10
- Do, 20.07.2017, 15:00 Uhr
- Vorlesung 24
- Mi, 26.07.2017, 10:15 Uhr
- Globalübung 11
- Do, 27.07.2017, 14:15 Uhr
- Probeklausur
- Do, 17.08.2017, 16:10 Uhr
- Probeklausur zu finden unter https://logic.rwth-aachen.de/files/MaLo-SS17/probe2017.pdf