ALP 2: Unterschied zwischen den Versionen

Aus Wiki - FSI Mathe/Info
Keine Bearbeitungszusammenfassung
(→‎Übungszettel: Link Korrektur)
Zeile 28: Zeile 28:


==Übungszettel==
==Übungszettel==
* [http://www.najavonschmude.de/wp-content/alp2-zettel.zip SoSe07]
* [http://www.najavonschmude.de/downloads/alp2-zettel.zip SoSe07]
* [http://www.miaowang.de/studium/sem_2.html SoSe05]
* [http://www.miaowang.de/studium/sem_2.html SoSe05]



Version vom 25. Oktober 2011, 10:44 Uhr

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

Übungszettel

Klausuren

nützliche Links