ALP 2: Unterschied zwischen den Versionen

Version vom 4. Januar 2015, 11:23 Uhr

Diese Seite bezieht sich auf das Modul "Objektorientierte Programmierung" nach der Studien- und Prüfungsordnung vom 8.2.2007.

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

@@ Zeile 45: / Zeile 45: @@
 * [http://codingbat.com/ kurze Codeübungen für Java und Python]
 * [http://pythontutor.com/ Schritt-für-Schritt Visualisierungstool für Python-Code]
+* [http://www.learnpython.org/ Interaktives Python-Tutorial]
+* [https://www.udacity.com/course/cs101 Udacity's CS101 using Python]
+* [https://www.coursera.org/course/interactivepython An Introduction to Interactive Python on Coursera]
 [[Category:Informatik|ALP 2]]
 [[Kategorie:Studienmodule/Informatik]]