Mathematische Logik: Vorlesung 01 (Do, 20.04.2017)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

1. Aussagenlogik
1.1 Syntax und Semantik der Aussagenlogik

Kapitel:

00:00:00
Organisatorisches
00:08:10
Syntax
00:19:24
Semantik
00:32:19
Modell
00:38:58
Algorithmische Probleme
00:59:51
Wichtige logische Äquivalenzen