WiSe 2016/17













Submodule number Course Type Name ECTS SWS / Exam duration
0496aA.5.4.1 Lecture Computer Science and Object-Oriented Programming A 0 4.0
0496aA.5.4.2 Practice seminar Computer Science and Object-Oriented Programming A 0 2.0
0496aA.5.4.3 Seminar Computer Science and Object-Oriented Programming A 0 2.0
0496aA.5.4.4 Module exam Computer Science and Object-Oriented Programming A 15 90 min
Qualifikationsziele: Die Studentinnen und Studenten sind in der Lage Algorithmen zustandsbezogen zu spezifizieren, gut strukturierte imperative Programme zu entwickeln, imperative Programme hinsichtlich ihrer Komplexität zu analysieren und Eigenschaften imperativer Programme formal zu beweisen.

Inhalte: Grundlagen der Berechenbarkeit (universelle Registermaschinen, Syntax und operationelle Semantik imperativer Programmiersprachen), Formale Verfahren zur Spezifikation und Verifikation imperativer Programme (Bedingun- gen auf dem Zustandsraum, Hoare-Kalkül, partielle Korrektheit, Termination), Konzepte imperativer und objekt- orientierter Programmierung (primitive und zusammengesetzte Datentypen, Methoden, Parameterübergabe, Über- ladung, Module, Klassen, Objekte, Klassenhierarchien, Vererbung, abstrakte Klassen, Schnittstellen), Program- miermethodik (schrittweise korrekte Programmentwicklung, Teile und Herrsche, Backtracking, Analyse von Laufzeit und Speicherbedarf, O-Notation, Umwandlung von Rekursion in Iteration, Analyse von Such- und Sortier- algorithmen).