SchemeTeach: Inhalt Kapitel 2, Abschnitt 10

2.10 Berechenbarkeit

  1. Beispiele mit Suchvorgängen
  2. µ-Rekursion (Kleene)
  3. µ-Rekursion in Scheme
  4. Weitere Beispiele
  5. Der beschränkte µ-Operator
  6. Ackermann-Funktion (1)
  7. Ackermann-Funktion (2): Variante
  8. Ackermann-Funktion (3): Variante
  9. Ackermann-Funktion (4): Variante
  10. Ackermann-Funktion (5): Gesamtes Programm
  11. Gödelisierung
  12. Decodierung ist primitiv-rekursiv
  13. Abzählbarkeit (1)
  14. Abzählbarkeit (2)
File ch2_10.html, created by rdpintz@immd8