ALP 2: Unterschied zwischen den Versionen

Aus Wiki - FSI Mathe/Info
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: „=Stoff= *Grundlagen der Berechenbarkeit: **universelle Registermaschinen **Syntax und operationelle Semantik imperativer Programmiersprachen *Formale Verfahren z...“)
 
Zeile 1: Zeile 1:
=Stoff=
+
==Stoff==
 
*Grundlagen der Berechenbarkeit:
 
*Grundlagen der Berechenbarkeit:
 
**universelle Registermaschinen
 
**universelle Registermaschinen
Zeile 24: Zeile 24:
 
**Analyse von Such- und Sortieralgorithmen
 
**Analyse von Such- und Sortieralgorithmen
  
=Klausuren=
+
==Klausuren==
 
to add
 
to add
  
=nützliche Links=
+
==nützliche Links==
 
*[http://openbook.galileocomputing.de/javainsel8/ Java-Tutorial]
 
*[http://openbook.galileocomputing.de/javainsel8/ Java-Tutorial]

Version vom 8. März 2010, 13:54 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

Klausuren

to add

nützliche Links