19300101 Lecture

SoSe 19: Object-oriented Programming

Margarita Esponda Argüero

Additional information / Pre-requisites

Prerequisites

background as taught in the class "Functional Programming".

Please also sign up for the class in our KVV.

close

Comments

Contents

  • foundations of computability:
    • universal register machines
    • syntax and operational semantics of imperative programming languages
  • formal methods for the specification and verification of imperative programs:
    • assertions,
    • Hoare-calculus, partial correctness, termination
  • imperative and object-oriented programming concepts (Java):
    • primitive and composite data types,
    • methords (procedures and functions). calling conventions, overloading
    • modules, classes, objects
    • class hierarchies, inheritance, polymorphism
    • abstract classes, interfaces
  • programming methods:
    • stepwise refinement
    • divide and conquer
    • backtracking
  • analysis of time and space requirements:
    • O-notation
    • recursion and iteration
    • analysis of algorithms for sorting and searching
    • algorithms, data structures, data abstraction
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

26 Class schedule

Additional appointments

Tue, 2019-05-28 12:00 - 14:00
Zwischenklausur

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Hs B (Raum B.004, 100 Pl.) (Arnimallee 22)
Gr. Hörsaal (Raum B.001) (Arnimallee 22)
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2019-06-06 08:00 - 10:00
Zwischenklausureinsicht

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-07-16 12:00 - 14:00
Klausur

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
Hs 1a Hörsaal (Habelschwerdter Allee 45)
Hs 1b Hörsaal (Habelschwerdter Allee 45)
Hs 2 Hörsaal (Habelschwerdter Allee 45)
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-08-27 08:00 - 10:00
Klausureinsicht

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Fri, 2019-10-18 14:00 - 16:00
Nachklausur

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
A6/SR 031 Seminarraum (Arnimallee 6)
T9/Gr. Hörsaal (Takustr. 9)

Mon, 2019-11-04 08:00 - 10:00
Nachklausureinsicht

Location:
T9/Gr. Hörsaal (Takustr. 9)

Regular appointments

Tue, 2019-04-09 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-04-16 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-04-23 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-04-30 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-05-07 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-05-14 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-05-21 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-06-04 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-06-11 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-06-18 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-06-25 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-07-02 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-07-09 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-04-10 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-04-17 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-04-24 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-05-08 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-05-15 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-05-22 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-05-29 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

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

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-06-12 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-06-19 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-06-26 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-07-03 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Wed, 2019-07-10 12:00 - 14:00

Lecturers:
Prof. Dr. Margarita Esponda Argüero

Location:
T9/Gr. Hörsaal (Takustr. 9)

Subjects A - Z