ALP 2: Unterschied zwischen den Versionen
Patzi (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Patzi (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 42: | Zeile 42: | ||
[[Category:Informatik|ALP 2]] | [[Category:Informatik|ALP 2]] | ||
[[Kategorie:Studienmodule | Informatik]] |
Version vom 3. April 2012, 19:43 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