Sommersemester 2011 Veranstalter:
Prof. Dr. Marco Block-Berlitz, Michael Kmoch, Benjamin Schönburg, Eduard Wolf, Christoph Krüger, Simon Lang
Termine:
Vorlesung: 8:30-11 Uhr (s.t.) täglich, Hörsaal Takustr. 9
Tutorien: 12-15 und 15-17 Uhr (c.t.) täglich, SR 051, SR 006, K 36, RR Bioinf
Aktuelles
Stand 18.08.2011: Start
Umfrage zur Geschwingigkeit der Vorlesung im Forum gestartet.
Stand 15.08.2011: Start
Heute startet die Vorlesungsreihe.
Inhalt der Veranstaltung
Grundlagen der Berechenbarkeitstheorie [1, 8]:
Berechnungsmodelle (Loop, While, Goto), Universelle Registermaschinen, Syntax und operationelle Semantik imperativer Programmiersprachen Formale Verfahren zur Spezifikation und Verifikation von imperativen Programmen [2]:
Bedingungen auf dem Zustandsraum (assertions), Hoare-Kalkül, partielle Korrektheit, Termination, Model-Checking Konzepte imperativer und objektorientierter Programmierung am Beispiel Java [3, 4]:
Primitive und zusammengesetzte Datentypen, Methoden (Prozeduren und Funktionen), Parameterübergabe, Überladung,
Module, Klassen, Objekte, Erstellung und Verwendung von Bibliotheken, Klassenkonzept, Vererbung, abstrakte Klassen, Interfaces, UML,
AWT, Swing, Applets, Kleine praktische Anwendungen (Bildverarbeitung, KI, OpenGL, GLSL),
Spieleprogrammierung, Automatisierte Tests mit JUnit Programmiermethodik [3, 6]:
Prinzipien der Programmentwicklung, Debuggen und Fehlerbehandlungen, Teile und Herrsche,
Backtracking Analyse von Laufzeit und Speicherbedarf [6, 7, 8]:
Landau-Symbolik, Uniformes versus Bit-Komplexitätsmaß, Umwandlung von Rekursion in Iteration,
Analyse von Such- und Sortieralgorithmen
Scheinkriterien
Regelmäßige Teilnahme an den Vorlesungen und Übungen, 60% der möglichen Punkte aller Übungen
(bei n-1 Übungszetteln müssen mindestens 20% erreicht sein) berechtigen zur
Klausurteilnahme. Bestehen der Klausur am vorletzten Vorlesungstag (08.09.2011, 8:30 Uhr, s.t.). Die Note des Scheins entspricht der Klausurnote.
I Theoretischer Teil
Alle Folien und Skripte der Vorlesung (falls vorhanden) und Verweise zu Literatur und anderen Projekten werden hier bereitgestellt. Trotzdem empfehle ich jedem Teilnehmer der Veranstaltung, alle Notizen eigenständig anzufertigen.
Bearbeitung der Übungszettel individuell. Jeder Übungszettel wird auf dieser Seite entsprechend
zum Download zur Verfügung gestellt. Die Regularien zur Abgabe und zum Vorzeigen der Lösungen werden in den Übungen
bekannt gegeben.
Im Laufe der Vorlesungen werden entsprechende
Angaben zu weiterführender Literatur hier eintragen. Das gleiche gilt
für wichtige Links. Wir sind für Ergänzungshinweise dankbar.