Wintersemester 2013/2014
Donnerstags | 08:30 - 10:00 | Uhr, | R 2.25 bei Dr. Renate Winter |
(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 im Raum 1.30
Renate Winter mailto:winter@informatik.uni-halle.de