Mathematische Logik: Unentscheidbarkeit des Erfüllbarkeitsproblems (Di, 18.06.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

Moodle

Für Teilnehmer der Veranstaltung verfügbar

Anmelden
  • Einbetten

Kapitel:

00:13:20
6.2 Die Unentscheidbarkeit des Erfüllbarkeitsproblems
01:11:30
6.3 Semi-Entscheidbarkeit und Erfüllbarkeit im Endlichen