ALP 2

Aus Wiki - FSI Mathe/Info
Version vom 8. März 2010, 12:53 Uhr von Cholin (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „=Stoff= *Grundlagen der Berechenbarkeit: **universelle Registermaschinen **Syntax und operationelle Semantik imperativer Programmiersprachen *Formale Verfahren z...“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

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

Klausuren

to add

nützliche Links