19504
Lecture
SoSe 14: ALP II: Objektorientierte Programmierung
Margarita Esponda Argüero
Additional information / Pre-requisites
Voraussetzungen
Kenntnisse aus ALP I sind nützlich, der Schein dazu ist aber nicht zwingend erforderlich.
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, Polymorphie
- 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
- Algorithmen, Datenstrukturen, Datenabstraktion
Suggested reading
- Concepts of Programming Languages, Robert Sebesta, Pearson Education , 10th Edition, 2012, ISBN: 0131395319
- Data Structures & Problem Solving Using Java, Mark Allen Weiss, Addison Wesley, 4. Auflage, 2010, ISBN: 0-321-54140-5
- Cormen, Leiserson, Rivest: Introduction to Algorithms, 3. Auflage 2009,
- Bundle of algorithms in java, third edition, parts 1-5. Sedgewick Robert und Michael Schidlowsky. Addison-Wesley Longman, Amsterdam. 2003.
26 Class schedule
Additional appointments
Mon, 2014-07-14 14:00 - 16:00Klausurtermin
Fri, 2014-09-26 08:00 - 10:00
Nachklausur
Regular appointments
Mon, 2014-04-14 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-04-28 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-05-05 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-05-12 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-05-19 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-05-26 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-06-02 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-06-16 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-06-23 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-06-30 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-07-07 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Mon, 2014-07-14 14:00 - 16:00
ALP II: Objektorientierte Programmierung
Wed, 2014-04-16 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-04-23 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-04-30 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-05-07 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-05-14 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-05-21 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-05-28 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-06-04 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-06-11 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-06-18 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-06-25 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Wed, 2014-07-02 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Fri, 2014-07-11 16:00 - 18:00
ALP II: Objektorientierte Programmierung
Wed, 2014-07-16 12:00 - 14:00
ALP II: Objektorientierte Programmierung
Inhalt
Grundlagen der Berechenbarkeit: Universelle Registermaschinen Syntax und operationelle Semantik imperativer Programmiersprachen Formale ... read more