Einführung in die Theoretische Informatik

Diese Einfuhrung in die Theoretische Informatik fur das Grundstudium stellt Modelle fur zentrale Probleme der Informatik vor: die Leistungsfahigkeit von Maschinen und Algorithmen (Random-Access-Maschinen, Pascal, Turingmaschinen und partiell-rekursive Funktionen, Entscheidbarkeit und Aufzahlbarkeit), die Effizienz von Berechnungen (Zeitkomplexitat, P-NP-Theorie), Aufbau und Wirkungsweise informationsverarbeitender Systeme (endliche Automaten und deren Realisierung durch Schaltkreise, regulare Mengen) und die Struktur von Programmiersprachen (regelbasierte Grammatiken, Chomsky-Hierarchie, kontextfreie Sprachen). Viele Beispiele und Aufgaben, z.T. in Pascal, erleichtern das Verstandnis und ermoglichen die Aneignung des Stoffes auch im Selbststudium.