Details zur Episode

Ackermann-Funktion, Lemma A-E, Bew. durch strukturelle Induktion, Berechnung via Stick, Implementierung der Stack-Operationen

Prof. Dr. Dietmar Saupe

Theoretische Grundlagen der Informatik

Datum: 2014/10/06