ALP 2: Unterschied zwischen den Versionen
Aus Wiki - FSI Mathe/Info
Cholin (Diskussion | Beiträge) |
|||
| Zeile 25: | Zeile 25: | ||
==Skripte== | ==Skripte== | ||
| − | *[http://www.najavonschmude.de/wp-content/alp-ii-vorlesung.pdf | + | * [http://www.najavonschmude.de/wp-content/alp-ii-vorlesung.pdf SoSe07] |
==Übungszettel== | ==Übungszettel== | ||
| − | *[http://www.najavonschmude.de/wp-content/alp2-zettel.zip | + | * [http://www.najavonschmude.de/wp-content/alp2-zettel.zip SoSe07] |
| + | * [http://www.miaowang.de/studium/sem_2.html SoSe05] | ||
==Klausuren== | ==Klausuren== | ||
| − | + | * [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
Inhaltsverzeichnis
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
