GERMAN

Vorlesungen über Informatik: Berechenbarkeit, formale Sprachen, Spezifikationen

By Prof. Dr. Gerhard Goos (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1997
ISBN
978-3-540-60655-0, 978-3-642-59140-2
DOI
10.1007/978-3-642-59140-2
Language
german
Format
PDF
Filesize
13 MB (13195778 bytes)
Series
Springer-Lehrbuch
Edition
1
Pages
284\295
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Algorithm Analysis and Problem Complexity; Data StCryptology and Information Theory

Description

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.

Similar books