19504
Vorlesung
SoSe 13: ALP II: Objektorientierte Programmierung
Margarita Esponda
Kommentar
Inhalt 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 Voraussetzungen Kenntnisse aus ALP I sind nützlich, der Schein dazu ist aber nicht zwingend erforderlich Literatur David Gries, Paul Gries: Multimedia Introduction to Programming Using Java Springer-Verlag 2005 James Gosling et al.: The Java Language Specification Third Edition, Sun Microsystems 2005 Robert Sebesta: Concepts of Programming Languages, Addison-Wesley , 2005 Mark Allen Weiss: Data Structures & Problem Solving Using Java, Addison Wesley, 3. Auflage, 2005 Gunter Saake, Kai-Uwe Sattler: Algorithmen und Datenstrukturen - Eine Einführung mit Java, dpunkt.verlag, 2004 Schließen
26 Termine
Zusätzliche Termine
Mi, 22.05.2013 12:00 - 14:00 Mo, 08.07.2013 14:00 - 16:00 Do, 10.10.2013 10:00 - 12:00Regelmäßige Termine der Lehrveranstaltung
Mo, 08.04.2013 14:00 - 16:00
Mo, 15.04.2013 14:00 - 16:00
Mo, 22.04.2013 14:00 - 16:00
Mo, 29.04.2013 14:00 - 16:00
Mo, 06.05.2013 14:00 - 16:00
Mo, 13.05.2013 14:00 - 16:00
Mo, 27.05.2013 14:00 - 16:00
Mo, 03.06.2013 14:00 - 16:00
Mo, 10.06.2013 14:00 - 16:00
Mo, 17.06.2013 14:00 - 16:00
Mo, 24.06.2013 14:00 - 16:00
Mo, 01.07.2013 14:00 - 16:00
Mo, 08.07.2013 14:00 - 16:00
Mi, 10.04.2013 12:00 - 14:00
Mi, 17.04.2013 12:00 - 14:00
Mi, 24.04.2013 12:00 - 14:00
Mi, 08.05.2013 12:00 - 14:00
Mi, 15.05.2013 12:00 - 14:00
Mi, 22.05.2013 12:00 - 14:00
Mi, 29.05.2013 12:00 - 14:00
Mi, 05.06.2013 12:00 - 14:00
Mi, 12.06.2013 12:00 - 14:00
Mi, 19.06.2013 12:00 - 14:00
Mi, 26.06.2013 12:00 - 14:00
Mi, 03.07.2013 12:00 - 14:00
Mi, 10.07.2013 12:00 - 14:00