Gerhard Goos

Vorlesungen über Informatik (eBook, PDF)

Berechenbarkeit, formale Sprachen, Spezifikationen

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 284
• Erscheinungstermin: 11. März 2013
• Deutsch
• ISBN-13: 9783642591402
• Artikelnr.: 53096380

Autorenporträt

Gerhard Goos, Universität Karlsruhe / Wolf Zimmermann, Universität Halle-Wittenberg, Halle

Inhaltsangabe

Grundbegriffe.- Halbgruppen Relationen.- Algebren und Termalgebren.- Grundlagen aus der formalen Logik.- Funktionales Programmieren.- Abstrakte Datentypen.- Algorithmenkonstruktion I.