ALP 2: Unterschied zwischen den Versionen
Cholin (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „=Stoff= *Grundlagen der Berechenbarkeit: **universelle Registermaschinen **Syntax und operationelle Semantik imperativer Programmiersprachen *Formale Verfahren z...“) |
Cholin (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
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