Wintersemester 2003/04
Die Ergebnisse der Wiederholungsklausuren stehen nun fest.
Einsicht in die Klausuren ist
am Freitag, dem 13. August 2004 von 10 bis 12 Uhr
und dann wieder ab September in Zimmer 209 möglich.
Bitte vereinbaren Sie vorher per email einen Termin.
Zeiten und Ort:
| Dienstag | 16:15 - 17:45 Uhr | Raum 1.26
|
| Donnerstag | 12:15 - 13:45 Uhr | Raum 1.27
|
Übungsaufgaben:
- 1. Serie (.ps,.pdf)
zum 21. Oktober 2003
- 2. Serie (.ps,.pdf)
zum 28. Oktober 2003
- 3. Serie (.ps,.pdf)
zum 4. November 2003
- 4. Serie (.ps,.pdf)
zum 11. November 2003
- 5. Serie (.ps,.pdf)
zum 18. November 2003
- 6. Serie (.ps,.pdf)
zum 25. November 2003
- 7. Serie (.ps,.pdf)
zum 2. Dezember 2003
- 8. Serie (.ps,.pdf)
zum 16. Dezember 2003
- 9. Serie (.ps,.pdf)
zum 8. Januar 2004
- 10. Serie (.ps,.pdf)
zum 13. Januar 2004
- 11. Serie (.ps,.pdf)
zum 20. Januar 2004
- 12. Serie (.ps,.pdf)
zum 27. Januar 2004
- 13. Serie (.ps,.pdf)
zum 3. Februar 2004
- 14. Serie (.ps,.pdf)
Eine sehr gute Anleitung zum Umgang mit Beweisen, deren Aufgabe,
deren Verständnis und zum Handwerklichen des Findens von Beweisen,
finden Sie unter
http://www.informatik.hu-berlin.de/lehrstuehle/automaten/beweis/.
http://nirvana.informatik.uni-halle.de/~schwarz/
mailto:schwarzs@informatik.uni-halle.de