Grundlagen der Programmiersprachen [Paperback]

Dieses Buch behandelt Grundlagen von Programmiersprachen, deren Verkn?pfung mit realen Rechenmaschinen und - exemplarisch - Algorithmen. Das Ziel des Buches ist es, eine solide Basis f?r das Studium der Informatik zu legen. Es ist ins? besondere f?r Studenten im Grundstudium des Studienganges Informatik gedacht. Ein Programm ist nur dann brauchbar, wenn es das gestellte Problem korrekt l?st, und dies dar?ber hinaus mit der gew?nschten Effizienz tut. Aussagen ?ber die Korrektheit und Effizienz eines Programms sind nur dann m?glich, wenn die verwendete Programmiersprache exakt definiert ist, d.h., wenn die Menge der Pro? gramme (Syntax) und deren Bedeutung (Semantik) festliegen. Die Definition von Syntax und Semantik nimmt daher in diesem Buch einen wichtigen Platz ein. For? male Definitionen werden erst dann lebendig, wenn sie auf einem guten intuitiven Verst?ndnis aufbauen, und wenn sie zu Folgerungen in der Form von S?tzen f?hren. Daher enth?lt dieses Buch eine gro?e Anzahl von Beispielen, S?tzen und Aufgaben. Die Grundlagen der Programmiersprachen werden eingef?hrt anhand einer spezifischen Programmiersprache, PROSA genannt (PROgrammiersprache SAar? br?cken). PROSA ist der Programmiersprache Pascal sehr ?hnlich, weicht aber in einigen Punkten (z.B. dynamische Felder, geschachtelte Verbunde) aus didaktischen Gr?nden ab. Die Abweichungen dienen zum einen der Vereinfachung, und zum an? deren der lllustration einiger Konzepte, die Pascal nicht kennt. Die Benutzung von Pascal in einem begleitenden Programmierpraktikum stellt aber keinerlei Problem dar.Dieses Buch behandelt Grundlagen von Programmiersprachen, deren Verkn?pfung mit realen Rechenmaschinen und - exemplarisch - Algorithmen. Das Ziel des Buches ist es, eine solide Basis f?r das Studium der Informatik zu legen. Es ist ins? besondere f?r Studenten im Grundstudium des Studienganges Informatik gedacht. Ein Programm ist nur dann brauchbar, wenn es das gestellte Problem korrekt l?st, und dies dar?ber hinaus mit delc¼