Angesichts der Komplexität der Produkte der modernen Informatik wird eine saubere, theoretische Fundierung immer wichtiger. Das Buch wendet sich an Studierende im ersten Studienabschnitt und an Praktiker und gibt eine Einführung in die theoretischen und zumeist mathematischen Grundlagen der Informatik. Lesern ohne mathematische Vorbildung wird eine Vorstellung von der Denk- und Arbeitsweise der theoretischen Informatik vermittelt. Angesichts der Stoffülle und Komplexität dieses Gebietes werden detaillierte oder auch nur ausführlichere Kenntnisse in theoretischer Informatik wohl dem Spezialisten vorbehalten bleiben. Das Buch ist deshalb betont breit gehalten und zielt auf einen Überblick unterschiedlichster Techniken und Ansätze ab. Der Autor behandelt nach einer Einführung in mathematische Grundbegriffe die klassischen Themen wie formale Sprachen oder Berechenbarkeit, wendet sich aber auch der Semantik von Programmiersprachen und der Codierungstheorie zu und beantwortet die Frage, wie Information gemessen werden kann.