Wintersemester 2008/09
| Donnerstag | 14:15 - 15:45 | Uhr | Hörsaal 3.28 bei Frau Dr. Winter |
| Montag | 14:15 | - 15:45 | Uhr | Raum 1.03 | bei Frau Dr. Schwarz (nur Bachelor Bioinformatik 1. Semester) |
| Montag | 16:15 | - 17:45 | Uhr | Raum 1.30 | bei Herrn Mielke |
| Dienstag | 8:15 | - 9:45 | Uhr | Raum 1.30 | bei Frau Dr. Winter |
| Mittwoch | 10:15 | - 11:45 | Uhr | Raum 1.30 | bei Herrn Mielke (nur Bachelor Bioinformatik 1. Semester) |
| Mittwoch | 12:15 | - 13:45 | Uhr | Raum 1.30 | bei Herrn Mielke |
In der ersten Vorlesungswoche (6.10. bis 12.10. 2008) finden noch keine Übungen statt.
In den Übungen werden vorwiegend die Lösungen der Aufgabenserien vorgestellt.
Außerdem wird es praktische Aufgaben im Autotool geben.
Hier gibt es viele nützliche Hinweise zum Autotool. Manches gilt speziell für die Studenten der Uni Leipzig, vieles ist aber auch für Sie interessant. Bei Problemen und Fragen zum Autotool, auf die Sie dort keine Antwort finden, wenden Sie sich bitte an mich.
Die Folien zur Vorlesung finden Sie unter http://users.informatik.uni-halle.de/~winter/THEOaktuell.html.
| Werner Nehrlich: | Diskrete Mathematik - Basiswissen für Informatiker | Hanser Fachbuchverlag | 2003 |
| Christoph Meinel, Martin Mundhenk: | Mathematische Grundlagen der Informatik | Teubner | 2006 |
| Werner Struckmann, Dietmar Wätjen: | Mathematik für Informatiker | Spektrum | 2006 |
| Rod Haggarty: | Diskrete Mathematik für Informatiker | Pearson Studium | 2004 |
| Uwe Schöning: | Logik für Informatiker, | Spektrum Verlag, | 1995 |
| Jürgen Dassow: | Logik für Informatiker, | Teubner Verlag, | 2005 |
| Bernhard Heinemann, Klaus Weihrauch: | Logik für Informatiker, | Teubner Stuttgart, | 1992 |
| Martin Kreuzer, Stefan Kühling: | Logik für Informatiker, | Pearson Studium, | 2006 |
| 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.
Unter http://www.maths.qmw.ac.uk/~wilfrid/learning.pdf gibt es sieben uneingeschränkt richtige Hinweise zum Lernen von Mathematik.