| Vorlesung | Thema | Unterlagen | Datum | Zusätzliches Material |
|---|---|---|---|---|
| 1. | Organisatorische Einführung Imperative Programmierkonzepte Einführung |
Folien Folien |
12.04.12 | |
| 2. | Inperative Programmierkonzepte (Teil 2) |
Folien |
17.04.12 | |
| 3. | Funktionen in Python Zweierkomplement |
Folien Folien |
19.04.12 | |
| 4. | Parameterübergabe und Geltungsbereich von Variablen | Folien | 24.04.12 | |
| 5. | Rekursion vs. Iteration | Folien | 26.04.12 | |
| 6. | Sortieralgorithmen (Einführung) Sortieralgorithmen (Imperativ) Teil I |
Folien
Folien Folien(W/B) |
03.05.12 | Insertsort
(Beispiel) Vorlesungsbeispiel (tree) |
| 7. | Sortieralgorithmen (Imperativ) Teil II LRS-Algorithmus |
Folien Folien(W/B)
Folien |
08.05.12 | Animationen |
| 8. | Sortieralgorithmen (Imperativ) Teil III | Folien Folien(W/B) | 10.05.12 | Umfrage |
| 9. | Sortieralgorithmen. Rekursion vs. Iteration (Beispiele) | Folien Folien(W/B) | 15.05.12 | |
| 10. | Programmverifikation (Hoare-Kalkül) Teil I | Folien | 22.05.12 | Hoare-Kalkül (Axiome ...) |
| 11. | Programmverifikation (Hoare-Kalkül) Teil II | Folien | 24.05.12 | 1.
Vorlesungsbeispiel 2. Vorlesungsbeispiel 3. Beispiel (Hoare) |
| 12. | Programmverifikation (Hoare-Kalkül) Teil III | Tafel | 29.05.12 | Zwischenklausur (2011) |
| 13. | Einführung in die OO-Konzepte (Klassen, Objekte) | Folien | 31.05.12 | |
| 14. | OO-Konzepte in Java Teil II (Kapselung) | Folien | 05.06.12 | |
| 15. | OO-Konzepte in Java (Beispiele) | Tafel | 05.06.12 | Programmbeispiel |
| 16. | Vererbung (Teil I) | Folien | 07.06.12 | |
| 17. | Vererbung(Teil II), Abstrakte Klassen, Interfaces | Folien | 12.06.12 | |
| 18. | Zusatzvorlesung (Beispiele) | 12.06.12 | ||
| 19. | Polymorphie Schnittstellen und Abstrakte Klassen als Strukturierungsmittel (Beispiel) |
Folien Folien Folien(WB) |
14.06.12 | |
| 20. | Exceptions
ADT und Dynamische Datenstrukturen |
Folien Folien |
19.06.12 | |
| 21. | ADT und Dynamische Datenstrukturen (Teil 2) | Folien | 21.06.12 | |
| 22. | Innere Klassen, Iteratoren Generische Datentypen (Teil 2) |
Folien Folien Folien |
26.06.12 | |
| 23. | ADT Dynamische Datenstrukturen (Teil 3) | Folien | 28.06.12 | |
| 24. | Register-Maschine und ADT (Teil 4) | Folien | 03.07.12 | |
| 25. | Klausur | 05.07.12 | ||