Vorlesungen über Informatik
Berechenbarkeit, formale Sprachen, Spezifikationen
Buch in deiner Nähe kaufen
Beschreibung
Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.
Band 3 baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf. Er vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten und führt in die Transformation von Programmen und in die Spezifikationstechnik ein. Der Autor stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Der Leser lernt anhand der Z-Notation und der Statecharts-Technik, wie man Systemaufgaben analysiert und spezifiziert.
Umfassende Darstellung der Theoretischen Informatik im Rahmen des viersemestrigen "Karlsruher Curriculums" Detaillierte Aufarbeitung des prüfungsrelevanten Lehrstoffs für das Vordiplom Beschreibung des Zusammenhangs zwischen Algorithmenentwicklung und den theoretischen Grundlagen
Autor*in
Gerhard Goos
Themen in »Vorlesungen über Informatik«
Algorithmen Automaten Datenstruktur Kommunikation Komplexität Komplexitätsklassen Komplexitätstheorie Objektorientiert Programmieren Reguläre Sprache Turingmaschine Z-Notation endliche Automaten formale Sprache rekursive Funktion