Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch)

"Mathematisch-strukturelle Grundlagen der Informatik" von Hartmut Ehrig ist ein umfassendes Lehrbuch, das die grundlegenden mathematischen und strukturellen Konzepte in der Informatik erklärt. Das Buch beginnt mit einer Einführung in die grundlegenden mathematischen Strukturen, wie Mengen, Relationen und Funktionen. Es folgen Kapitel über formale Sprachen und Automaten, Algorithmen und Komplexität sowie Berechenbarkeit und Entscheidungsprobleme. Der Autor legt besonderen Wert auf die Vermittlung von Modellierungstechniken und formalen Methoden zur Spezifikation, Verifikation und Implementierung von Softwaresystemen. Das Buch enthält zahlreiche Beispiele und Übungen zur Vertiefung des erlernten Wissens. Es richtet sich an Studierende der Informatik sowie an alle, die sich intensiver mit den theoretischen Grundlagen der Informatik beschäftigen möchten.