Berechenbarkeit und Komplexität: Primitive Rekursion (Do, 30.11.2023)
Zur Veranstaltungsseite
  • Einbetten

Kapitel:

00:01:13
Wiederholung
00:06:09
Primitiv rekursive Funktionen
00:19:27
Primitiv rekursive Beispiele
00:25:02
Primitiv rekursive Bijektionen
00:44:51
Aquivalenz zu LOOP Programmen
01:00:35
μ-rekursive Funktionen
01:11:32
Aquivalenz zu WHILE Programmen