Mathematische Logik: Unentscheidbarkeit der Logik der 1. Stufe (Do, 13.06.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

Moodle

Für Teilnehmer der Veranstaltung verfügbar

Anmelden
  • Einbetten

Kapitel:

00:06:46
5.3 Der Endlichkeitssatz
00:58:22
6. Die Unentscheidbarkeit der Logik der 1. Stufe
01:03:10
6.1 Wiederholung: Grundlagen der Berechenbarkeitstheorie