

Beschreibung
Inhalt I.- 1 Berechenbarkeit, Aufzählbarkeit.- 2 Automaten und formale Sprachen.- 3 Fixpunkttheorie.- 4 Syntaktische Strukturen.- II.- 5 Gödelisierung und Universalprogramme.- 6 Unlösbare Probleme der Informatik.- 7 Rekursive Prozeduren.- Bibliographische Schl...