Wintersemester 2012/2013
| Donnerstags | 14:15 - 15:45 | Uhr, | Hörsaal 3.28 bei Prof. Dr. Ludwig Staiger |
| dienstags | 12:15 | - 13:45 | Uhr, | Raum 1.30 | bei Frau Dr. Renate Winter |
In den Übungen werden vorwiegend die Lösungen der Aufgabenserien vorgestellt.
Außerdem wird es praktische Aufgaben im Autotool geben.
| dienstags | 16:15 | - 18:45 | Uhr, | HS 3.31 | bei Prof. Dr. Stefan Posch |
| donnerstags | 12:15 | - 13:45 | Uhr, | Raum 2.12 (ab 25.10.2012) | bei Stefan Hoffmann |
Der Besuch des Tutoriums ist freiwillig und unverbindlich.
Die Folien zur Vorlesung finden Sie unter
http://nirvana.informatik.uni-halle.de/~theo/THEOlehre/THEOaktuell.html .
(Exemplare in der Bibliothek Ha 4 vorhanden):
| 5 x Werner Nehrlich: | Diskrete Mathematik - Basiswissen für Informatiker | Hanser Fachbuchverlag | 2003 |
| 8 x Werner Struckmann, Dietmar Wätjen: | Mathematik für Informatiker | Spektrum | 2006 |
| 5 x Rod Haggarty: | Diskrete Mathematik für Informatiker | Pearson Studium | 2004 |
| 8 x Uwe Schöning: | Logik für Informatiker, | Spektrum | 1995 |
| 1 x Jürgen Dassow: | Logik für Informatiker, | Teubner | 2005 |
| 6 x Dirk Hachenberger: | Mathematik für Informatiker, | Pearson Studium | 2008 |
| 6 x Angelika Steger: | Diskrete Strukturen | Springer | 2001 |
| 23 x (+ 3x engl.) Reinhard Diestel: | Graphentheorie | Springer | 2006 |
Eine sehr gute Anleitung zum Umgang mit Beweisen, deren Aufgabe, deren Verständnis und zum Handwerklichen des Findens von Beweisen, finden Sie unter http://www2.informatik.hu-berlin.de/lehrstuehle/automaten/beweis.
Bitte erscheinen Sie spätestens 9:45 Uhr in dem Hörsaal, für den Sie laut dem dann aushängenden Sitzplan eingeteilt sind.
Renate Winter mailto:winter@informatik.uni-halle.de