Wintersemester 2007/08
Die Klausuren sind korrigiert und die Ergebnisse stehen unter http://www2.informatik.uni-halle.de/pruef/Pruefergeb/WS0708/Ergebnissse1Sem_MathemGrundlInform_18-2-08.pdf.
Am 26. Februar 2008 von 10:00 bis 13:00 Uhr können die korrigierten Klausuren in Raum 209 eingesehen werden.
Am 11. März um 11 Uhr findet im HS 1.04 eine Konsultation statt, in welcher die Lösungen der Klausur vorgestellt werden.
Bitte erscheinen Sie spätestens 9:45 Uhr in dem Hörsaal, für den Sie laut dem dann aushängenden Sitzplan eingeteilt sind.
| Donnerstag | 10:15 - 11:45 | Uhr | Hörsaal 3.28 bei Herrn Prof. Staiger |
| Dienstag | 16:15 | - 17:45 | Uhr | Raum 1.04 | bei Frau Dr. Winter |
| Mittwoch | 10:15 | - 11:45 | Uhr | Raum 1.04 | bei Frau Dr. Schwarz |
| Mittwoch | 12:15 | - 13:45 | Uhr | Raum 1.27 | bei Frau Dr. Schwarz |
| Mittwoch | 16:15 | - 17:45 | Uhr | Raum 1.04 | bei Herrn Mielke |
| Freitag | 12:15 | - 13:45 | Uhr | Raum 1.04 | bei Herrn Mielke |
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.
Folien
| 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.