19300101 Lecture

SoSe 15: Objektorientierte Programmierung

Margarita Esponda Argüero

Additional information / Pre-requisites

Voraussetzungen

Kenntnisse aus der Vorlesung "Funktionale Programmierung" werden vorausgesetzt.

Bitte melden Sie sich auch im KVV für die Veranstaltung an.

close

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
close

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.
close

23 Class schedule

Additional appointments

Fri, 2015-04-10 08:00 - 10:00
Wissenstest

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Fri, 2015-05-15 14:00 - 16:00
Zusatzvorlesung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
055/T9 Seminarraum (Takustr. 9)

Fri, 2015-05-22 08:00 - 10:00
Zusatzvorlesung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Hs 001/A3 Hörsaal (Arnimallee 3-5)

Wed, 2015-07-01 12:00 - 14:00

Location:
HFB/A Hörsaal (Garystr. 35-37)
HFB/B Hörsaal (Garystr. 35-37)

Tue, 2015-07-14 08:00 - 10:00
Klausureinsicht

Location:
SR 005/T9 Übungsraum (Takustr. 9)

Tue, 2015-10-06 08:00 - 10:00
Nachklausur

Location:
SR 005/T9 Übungsraum (Takustr. 9)
Gr. Hörsaal\Taku 9 (Takustr. 9)

Regular appointments

Mon, 2015-04-13 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-04-20 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-04-27 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-05-04 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-05-11 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-05-18 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-06-01 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-06-08 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-06-15 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-06-22 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mon, 2015-06-29 14:00 - 16:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-04-15 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-04-22 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-04-29 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-05-06 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-05-13 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-05-20 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-05-27 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-06-03 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-06-10 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-06-17 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-06-24 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2015-07-01 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Subjects A - Z