ALP 2: Unterschied zwischen den Versionen

Aus Wiki - FSI Mathe/Info
Wechseln zu: Navigation, Suche
Zeile 25: Zeile 25:
  
 
==Skripte==
 
==Skripte==
*[http://www.najavonschmude.de/wp-content/alp-ii-vorlesung.pdf Najas ALP2 Skript]
+
* [http://www.najavonschmude.de/wp-content/alp-ii-vorlesung.pdf SoSe07]
  
 
==Übungszettel==
 
==Übungszettel==
*[http://www.najavonschmude.de/wp-content/alp2-zettel.zip Najas ALP2 Übungszettel]
+
* [http://www.najavonschmude.de/wp-content/alp2-zettel.zip SoSe07]
 +
* [http://www.miaowang.de/studium/sem_2.html SoSe05]
  
 
==Klausuren==
 
==Klausuren==
to add
+
* [http://www.miaowang.de/studium/sem_2.html Probeklausur 05]
  
 
==nützliche Links==
 
==nützliche Links==
 
*[http://openbook.galileocomputing.de/javainsel8/ Java-Tutorial]
 
*[http://openbook.galileocomputing.de/javainsel8/ Java-Tutorial]

Version vom 6. April 2011, 19:11 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