Die Beschaftigung mit den Grundprinzipien und Grenzen der Berechenbarkeit ist fur die Informatik von zentraler Bedeutung. Um dieses Verstandnis zu vermitteln, werden in diesem Buch Ansatze vorgestellt, die dem Umgang mit realen Computern und Programmiersprachen entlehnt sind. Es werden vor allem Registermaschinen und eine einfach while-basierte Programmiersprache verwendet. Diese kompakte, an den entscheidenden Punkten aber ausfuhrliche Einfuhrung setzt nur elementare mathematische Kenntnisse voraus. Erfahrungen mit einer konventionellen Programmiersprache wie Pascal oder Modula erleichtern das Verstandnis, sind aber nicht unbedingt erforderlich.