ALP 2
Aus Wiki - FSI Mathe/Info
Version vom 29. Dezember 2014, 22:02 Uhr von Lus (Diskussion | Beiträge) (add note on neue Studienordnung; add additional links)
Diese Seite bezieht sich auf das Modul "Objektorientierte Programmierung" nach der Studien- und Prüfungsordnung vom 8.2.2007.
Inhaltsverzeichnis
Stoff
- Grundlagen der Berechenbarkeit:
- universelle Registermaschinen
- Syntax und operationelle Semantik imperativer Programmiersprachen
- Formale Verfahren zur Spezifikation und Verifikation imperativer Programme:
- Bedingungen auf dem Zustandsraum (assertions),
- Hoare-Kalkül, partielle Korrektheit, Termination
- Konzepte imperativer und objektorientierter Programmierung (Java):
- primitive und zusammengesetzte Datentypen,
- Methoden (Prozeduren und Funktionen), Parameterübergabe, Überladung
- Module, Klassen, Objekte
- Klassenhierarchien, Vererbung, abstrakte Klassen, Schnittstellen
- Programmiermethodik:
- schrittweise korrekte Programmentwicklung
- Teile und Herrsche
- Backtracking.
- Analyse von Laufzeit und Speicherbedarf:
- O-Notation
- Umwandlung von Rekursion in Iteration
- Analyse von Such- und Sortieralgorithmen
