ALP 2

Dieser Artikel / Abschnitt ist veraltet!

Alle Seiten, in denen diese Vorlage verwendet wird, werden automatisch in die Kategorie:Veraltet einsortiert.

Diese Seite bezieht sich auf das Modul "Objektorientierte Programmierung" nach der Studien- und Prüfungsordnung vom 8.2.2007.

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

Skripte

• SoSe07

Übungszettel

• SoSe07
• SoSe05

Klausuren

• Probeklausur 05

Literatur

• Literaturempfehlung#ALP_2

nützliche Links

• Hoare-Kalkül
• Java-Tutorial
• "Learn Python the Hard Way", nettes Python-Tutorial
• kurze Codeübungen für Java und Python
• Schritt-für-Schritt Visualisierungstool für Python-Code
• Interaktives Python-Tutorial
• Udacity's CS101 using Python
• An Introduction to Interactive Python on Coursera