Mathematische Logik: Vorlesung 09 (Do, 18.05.2017)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Beschreibung:

2.3 Syntax der Prädikatenlogik
2.4 Semantik der Prädikatenlogik

Kapitel:

00:00:06
Wiederholung Syntax & Semantik
00:12:00
Koinzidenzlemma
00:26:29
Modelklasse
00:49:56
Semantische Folgerungsbeziehung