COSTOC Lektionen: Systematische Programmierung (10 Lektionen verfasst vonV. Haase)
Diese Vorlesung ist eine Einführung in systematisches Programmieren.
Beispiele und Erklärungen beziehen sich auf Pascal, obwohl das Gezeigte
auf verschiedenste Programmiersprachen angewendet werden kann.
Die Vorlesung erläutert grundlegende Techniken um effiziente und strukturierte
Programme zu erstellen, wie zum Beispiel die systematische Verwendung
entsprechender Datentypen und Datenstrukturen und der modulare Programmaufbau durch
Verwendung von Prozeduren. Grundlegende Konzepte wie Top-down design und
program verification and testing werden behandelt. Alle Konzepte werden durch
aufschlussreiche Beispiele, Schritt für Schritt, veranschaulicht.
Die Vorlesung bietet eine wertvolle Unterstützung zu herkömmlichen
Programmier-Einführungsvorlesungen.
Die dynamische Darstellung und Erklärung von Programmsegmenten, erleichtert
das Verstehen von schwierigeren Kapiteln wie z.B.: Rekursion. |