Grundkurs Theoretische Informatik

Die Theoretische Informatik - die mathematische Untersuchung von Modellen der Berechenbarkeit - ist ein Gebiet, das seine Wurzeln zum gro~eren Teil in mathematischen Grundlagenuntersuchungen der 30er Jahre hat
(CHURCH, GtiDEL, KLEENE, POST und TURING) und das von der nach wie vor anhaltenden technischen Entwicklung in starkem Ma~e beeinflu~t wird. Wie kein anderes Gebiet hat es die Aufgabe, grundlegende Kennt nisse bereitzustellen,
die es auf einem sicheren wissenschaftli chen Fundament ermoglichen, Heterogenitat und Diffusitat vieler Probleme und Erscheinungen in Grenzen zu halten und eine schnel le Anpassung an neue Entwicklungen vorzunehmen. Genau
diese fun damentale Kraft der Theoretischen Informatik wird an vielen Stellen unterschatzt, und deshalb erscheint sie haufig als ein Gebiet, das man hal t gepriift wird), absolvieren mu~ (weil es aber zur praktischen Arbeit
und zur beruflichen Praxis scheinbar kaum Beziehungen hat. Diesem Vorurteil entgegenzutreten und die Liicke zwischen mathematischen Grundlagen und praktischer Infor matik ein wenig zu schlie~en, ist ein Anliegen dieses Buches.