19504
Lecture
SoSe 13: ALP II: Objektorientierte Programmierung
Margarita Esponda
Comments
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 close
26 Class schedule
Additional appointments
Wed, 2013-05-22 12:00 - 14:00 Mon, 2013-07-08 14:00 - 16:00 Thu, 2013-10-10 10:00 - 12:00Regular appointments
Mon, 2013-04-08 14:00 - 16:00
Mon, 2013-04-15 14:00 - 16:00
Mon, 2013-04-22 14:00 - 16:00
Mon, 2013-04-29 14:00 - 16:00
Mon, 2013-05-06 14:00 - 16:00
Mon, 2013-05-13 14:00 - 16:00
Mon, 2013-05-27 14:00 - 16:00
Mon, 2013-06-03 14:00 - 16:00
Mon, 2013-06-10 14:00 - 16:00
Mon, 2013-06-17 14:00 - 16:00
Mon, 2013-06-24 14:00 - 16:00
Mon, 2013-07-01 14:00 - 16:00
Mon, 2013-07-08 14:00 - 16:00
Wed, 2013-04-10 12:00 - 14:00
Wed, 2013-04-17 12:00 - 14:00
Wed, 2013-04-24 12:00 - 14:00
Wed, 2013-05-08 12:00 - 14:00
Wed, 2013-05-15 12:00 - 14:00
Wed, 2013-05-22 12:00 - 14:00
Wed, 2013-05-29 12:00 - 14:00
Wed, 2013-06-05 12:00 - 14:00
Wed, 2013-06-12 12:00 - 14:00
Wed, 2013-06-19 12:00 - 14:00
Wed, 2013-06-26 12:00 - 14:00
Wed, 2013-07-03 12:00 - 14:00
Wed, 2013-07-10 12:00 - 14:00