Mathematische Logik: Logik der 1. Stufe Semantik & Modellierung (Di, 14.05.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

Moodle

Für Teilnehmer der Veranstaltung verfügbar

Anmelden
  • Einbetten

Kapitel:

00:04:53
4.2 Semantik
00:44:27
4.3 Zwei grundlegende Lemmata
00:44:42
Das Koinzidenzlemma
01:04:41
Das Isomorphielemma
01:10:59
4.4 Modellierung in der Logik der 1. Stufe