Leitfäden und Monographien der Informatik: Grundlagen der Programmiersprachen

More about the book

Dieses Buch behandelt die Grundlagen von Programmiersprachen und deren Verbindung zu realen Rechenmaschinen sowie Algorithmen. Es zielt darauf ab, eine solide Basis für das Studium der Informatik zu schaffen, insbesondere für Studierende im Grundstudium. Ein Programm ist nur dann nützlich, wenn es das Problem korrekt und effizient löst. Aussagen über Korrektheit und Effizienz sind nur möglich, wenn die Programmiersprache genau definiert ist, also Syntax und Semantik klar festgelegt sind. Diese Definitionen sind zentral im Buch. Sie werden lebendig, wenn sie auf einem guten intuitiven Verständnis basieren und zu folgerbaren Sätzen führen. Daher enthält das Buch zahlreiche Beispiele, Sätze und Aufgaben. Die Grundlagen der Programmiersprachen werden anhand einer spezifischen Programmiersprache eingeführt, die PROSA genannt wird. Diese ist Pascal sehr ähnlich, weist jedoch aus didaktischen Gründen einige Abweichungen auf, wie dynamische Felder und geschachtelte Verbunde. Diese Abweichungen dienen der Vereinfachung und der Veranschaulichung von Konzepten, die in Pascal nicht vorkommen. Die Verwendung von Pascal in einem begleitenden Programmierpraktikum stellt jedoch kein Problem dar.