ALP 2

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