Mathematische Logik: Äquivalenz / Auswertungsproblem (Di, 28.05.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

Moodle

Für Teilnehmer der Veranstaltung verfügbar

Anmelden
  • Einbetten

Kapitel:

00:15:55
Normalformen
00:44:05
4.7 Algorithmische Fragestellung
00:56:00
Top-Down Algorithmus für das Auswertungsproblem
01:04:12
Relationale Algorithmus für das Auswertungsproblem
01:17:42
Theorie einer Struktur