Springer Berlin Informatik 2

Informatik. Eine einführende Übersicht hat sich als Standardwerk für das Studium der Informatik bewährt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen", der das Grundthema "Algorithmen" des ersten Teils ergänzt. Zunächst werden Programmstrukturen und Datenstrukturen einschliesslich der Techniken ihrer Implementierung behandelt. Sodann werden formale (Sprach-)Systeme, die zur Beschreibung solcher Strukturen dienen, auf relationentheoretischer Grundlage dargestellt. Ein weiteres Kapitel behandelt die Formalisierung der Syntax und der Semantik algorithmischer Sprachen, mit einem Abschnitt über abstrakte Datentypen. Den Abschluss bilden die Anhänge "Korrespondenzen und Funktionen", "Datenendgeräte" und "Zur Geschichte der Informatik" sowie Syntaxdiagramme für die ALGOL 68- und die PASCAL-Notation, die im Buch verwendet werden.