Der erste Teil, im allgemeinen elementarer formuliert, entspricht ungefähr der oben erwähnten ersten Vorlesung ("Berechnungstheorie", 4. Semester), in welcher vor allem der Berechenbarkeitsbegriff herausgearbeitet und eine erste Bekanntschaft mit der Erzeugung, bzw. Erkennung von formalen Sprachen anhand der ausführlich diskutierten regulären Sprachen vermittelt wird. Die anschliessend eingeführte Fixpunkttheorie soll dem Studenten ein theoretisches Werkzeug in die Hand geben, welches ihm erlaubt, verschiedene Gegenstände von einem einheitlichen Standpunkt aus zu betrachten. Schliesslich liefert der "Hauptsatz über syntaktische Strukturen" eine Grundlage für die strenge Definition der Semantik formaler Sprachen.
Im zweiten Teil, der in der Darstellung konzentrierter und anspruchsvoller gehalten ist, kommt zumindest teilweise der Inhalt unserer zweiten Vorlesung ("Theoretische Informatik", 6. Semester) zur Sprache. Hier wird zunächst für die Konstruktion eines Universalprogramms, das alle partiell-rekursiven Funktionen berechnen kann, eine Gödel-Numerierung der Programme und Wertbelegungen eingeführt und die effektive Aufzählung der erwähnten Funktionsklasse dann gleich in der Rekursionstheorie angewendet. Verschiedene Maschinenmodelle (Turing-, Tag-Maschine, k-Kellerautomat) werden als äquivalent erkannt und zur Diskussion von einigen klassischen unentscheidbaren Problemen herangezogen. Schliesslich kommt als wichtige Datenstruktur (zu den bisherigen Zahlen und Zeichenreihen) diejenige der Listen ins Spiel, wo die Identifikation von Daten und Programmen beide als Listen zu LISP-artiger Rekursion fuhrt. Dabei ergeben sich natürliche Verwendungen der Hauptsätze der Rekursionstheorie sowohl für die Semantik rekursiver Definitionen als auch für die Grundlegung einer Theorie von Interpretern und Compilern.