Theoretische Informatik  (German, Paperback, Wagner Klaus W.)

Diese kompakte Einfuehrung in die Theoretische Informatik stellt die wichtigsten Modelle fuer zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt: Welche Probleme sind algorithmisch loesbar? (Theorie der Berechenbarkeit und Entscheidbarkeit) Wie schwierig ist es algorithmische Probleme zu loesen? (Theorie der Berechnungskomplexitaet, NP-Theorie) Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten) Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen) In der Erarbeitung dieser Themen wird der Abstraktionsprozess von den realen Gegenstaenden der Informatik zu den in der Theoretischen Infromatik etabliertern Modellen, wie z.B. Random-Access-Maschinen, Turingmaschinen und endliche Automaten, nachvollzogen und umgekehrt verdeutlicht, was diese Modelle aufgrund der ueber sie gewonnenen Erkenntnisse fuer die Praxis leisten koennen.