19300101
Lecture
SoSe 22: Object-oriented Programming
Volker Roth
Additional information / Pre-requisites
Prerequisites
background as taught in the class "Functional Programming".
Please also sign up for the class in our KVV.
closeComments
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
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.
28 Class schedule
Additional appointments
Wed, 2022-07-20 12:00 - 14:00Klausur
Location:
Gr. Hörsaal (Raum B.001) (Arnimallee 22)
Klausur
Location:
Hs B (Raum B.004, 100 Pl.) (Arnimallee 22)
Klausureinsicht
Thu, 2022-10-20 16:00 - 18:00
Nachklausur
Regular appointments
Tue, 2022-04-19 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-04-26 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-05-03 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-05-10 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-05-17 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-05-24 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-05-31 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-06-07 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-06-14 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-06-21 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-06-28 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-07-05 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-07-12 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Tue, 2022-07-19 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 1)
Wed, 2022-04-20 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-04-27 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-05-04 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-05-11 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-05-18 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-05-25 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-06-01 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-06-08 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-06-15 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-06-22 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-06-29 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-07-06 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-07-13 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Wed, 2022-07-20 12:00 - 14:00
Objektorientierte Programmierung (Serientermin 2)
Contents
foundations of computability: universal register machines syntax and operational semantics of imperative programming languages formal methods for the specification and ... read more