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