SoSe 14: ProInformatik III: Objektorientierte Programmierung
Till Zoppke
Information for students
Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!
Comments
Inhalt:
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
- Polymorphie
Programmiermethodik:
- schrittweise korrekte Programmentwicklung
- Teile und Herrsche
- Backtracking
Analyse von Laufzeit und Speicherbedarf:
- O-Notation
- Umwandlung von Rekursion in Iteration
- Algorithmen, Datenstrukturen und Datenabstraktion
Voraussetzungen:
Kenntnisse aus ALP I werden vorausgesetzt, der Schein dazu ist aber nicht zwingend erforderlich.
closeAdditional appointments
Mon, 2014-08-25 09:00 - 10:00