Termin | Thema | Folien | Sonstiges Material |
14.04.2009 | Einführung, Organisation, etc. | Einführung-1 Einführung-6 |
|
16.04.2009 | Vom Algorithmus zum Java-Programm |
Primzahlen-1 Primzahlen-6 |
Java-Tutorial |
21.04.2009 | Berechenbarkeitsmodell: Registermaschinen | Rekursive Funkt-1 Rekursive Funkt-6 |
|
23.04.2009 | Registermaschinen(2) | Registermasch.-1 Registermasch-6 |
|
28.04.2009 | Registerm.(3); Grafische Darst. v. Alg. | Grafische D-1 Graphische D-6 |
|
30.04.2009 | Datentypen | Datentypen-1 Datentypen-6 |
Artikel zu Gleitkommazahlen |
05.05.2009 | Typverträglichkeit Imperatives Zustandsmodell und Spezifikation |
||
07.05.2009 | Spezifikation und Verifikation | ||
12.05.2009 | Anweisungen (Java und mehr), Invariante, wp-Kalkül |
Anweisungen, Spezifikation, Verifikation (1)-1.pdf ...(1)-6.pdf (komplett!) |
|
14.05.2009 | Systematische Programmentwicklung mit Zusicherungen | ||
19.05.2009 | Weitere Anweisungen (Sprünge etc) | ||
21.05.2009 | Keine Vorlesung wg. Himmelfahrt | - | |
26.05.2009 | Unterprogramme, Parameter | Unterprogramme-1 Unterprogramme-6 (komplett) |
|
28.05.2009 | Parameterüergabe; Verweise, Verweis/Referenztyp |
||
02.06.2009 | Module, Klassen und Objekte | ObjekteEtc-1.pdf ObjekteEtc-6.pdf |
|
04.06.2009 | Listen, Geflechte | ||
09.06.2009 | .. Listen ; Generische Klassen, Schnittstellen |
Geflechte-LinListen-1.pdf Geflechte-LinListen-6.pdf (komplett) |
|
11.06.2009 | Ausnahmebehandlung | Ausnahmebehandlung-1.pdf Ausnahmebehandlung-6.pdf |
Beachte: finally - Semantik |
16.06.2009 | Vererbung (1): Einführung | Vererbung-1-1.pdf Vererbung-1-6.pdf |
|
18.06.2009 | Vererbung(2) | Vererbung-2-1.pdf Vererbung-2-6.pdf |
|
23.06.2009 | Vererbung(3) | Vererbung-1.pdf Vererbung-6.pdf (komplett) |
|
25.06.2009 | "Teile und Herrsche", Binäre Suche, Laufzeit(1) |
TeileUndHerrsche-1.pdf TeileUndHerrsche-6.pdf |
|
30.06.2009 | Sortieren | Sortieren-1.pdf Sortieren.6.pdf |
|
02.07.2009 | Backtracking | Backtracking-1.pdf Backtracking-6.pdf |
Lösung d. n.Damenproblems: EightQueens.java |
07.07.2009 | OO-Programmiertechniken(1) | Programmiermethodik(1)-1.pdf Programmiermethodik(1)-6.pdf |
|
09.07.2009 | OO-Programmiertechniken(2) | Delegation-1.pdf Delegation-6.pdf |
|
14.07.2009 | Was man wissen sollte... | ||
16.07.2009 | Klausur |
These Pictures are only displayed on print previews: