| ||||||||||||||||||||
Vorlesung: Programmierungstechnik
Lehrbeauftragter: Prof. Dr. G. RiedewaldInhaltsangabe:
Vermittlung der Grundlagen der Programmierungstechniken
In der Einführungsvorlesung werden aufbauend auf theoretischen Begriffen wie Algorithmus, Berechenbarkeit, rekursive Funktionen, die Grundlagen für die Programmierung vermittelt. Wesentlich ist hierbei der Nachweis der Korrektheit von Programmen gegenüber einer Spezifikation der Problemstellung. Nach der Behandlung der Thematik kann der Student die Möglichkeiten des Nachweises von logischen Eigenschaften von Programmen unterscheiden und anwenden.
Einen breiten Raum nehmen Abstrakte Datentypen ein. Anhand von Datentypen wie Keller, Schlange, Liste, Tabelle, Baum werden Vorgehensweisen wie Spezifikation mittels Termgleichungen sowie Umsetzung dieser Spezifikation in imperative Programme vermittelt. Im Ergebnis der Vorlesung soll der Student in der Lage sein, eine systematische Programmentwicklung von der Aufgabenstellung über die Spezifikation, den Entwurf der Implementation einschließlich Test und Dokumentation vorzunehmen.
Teil II der Vorlesung beschäftigt sich im Sommersemester mit Sortier- und Suchalgorithmen, wobei neben den Prinzipien insbesondere Komplexitätsbetrachtungen (Rechenzeit/Speicher) zu den Algorithmen im Vordergrund stehen. Damit ist der Student in der Lage, nicht nur ein Problem programmtechnisch zu lösen, sondern er ist in der Lage, Aufwandsabschätzungen für die Problemlösung vorzunehmen. Abschließend wird ein Einblick in weitere Programmierparadigmen gegeben, um Unterschiede in der Herangehensweise und Anwendbarkeit von Programmiersprachen zu vermitteln.
Zuhörerkreis: Studenten des Diplomstudiengangs Informatik, Bachelorstudiengangs Business Informatics,
Diplomstudiengangs Wirtschaftsinformatik, Bachelor-/Masterstudiengangs Informationstechnik/Technische Informatik
im 1.Semester
Voraussetzungen: Programmierkenntnisse in Pascal
Organisation:
| Umfang: | 3 SWS Vorlesung, 3 SWS Übungen |
| Zeiten: | |
| Ort: | |
| Abschluß: | wird in Übungen bekannt gegeben |
Materialien:
| Literatur: | wird in Vorlesung bekanntgegeben |
| Skripte: | |
| Übungsaufgaben: | sind in den Übungen abzugeben |