19300101
Vorlesung
SoSe 21: Objektorientierte Programmierung
Daniel Göhring
Zusätzl. Angaben / Voraussetzungen
Voraussetzungen
Kenntnisse aus der Vorlesung "Funktionale Programmierung" werden vorausgesetzt.
Bitte melden Sie sich auch im KVV für die Veranstaltung an.
SchließenKommentar
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
Literaturhinweise
- 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.
27 Termine
Zusätzliche Termine
Di, 27.07.2021 10:00 - 12:00Klausur
Di, 14.09.2021 10:00 - 12:00
Nachklausur
Mi, 03.11.2021 10:00 - 12:00
Klausureinsicht
Regelmäßige Termine der Lehrveranstaltung
Di, 13.04.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 20.04.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 27.04.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 04.05.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 11.05.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 18.05.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 25.05.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 01.06.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 08.06.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 15.06.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 22.06.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 29.06.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 06.07.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Di, 13.07.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 1)
Do, 15.04.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 22.04.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 29.04.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 06.05.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 20.05.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 27.05.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 03.06.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 10.06.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 17.06.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 24.06.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 01.07.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 08.07.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Do, 15.07.2021 08:00 - 10:00
Objektorientierte Programmierung (Serientermin 2)
Inhalt
Grundlagen der Berechenbarkeit: Universelle Registermaschinen Syntax und operationelle Semantik imperativer Programmiersprachen Formale Verfahren zur Spezifikation und ... Lesen Sie weiter