Mathematische Grundlagen der Informatik

Wintersemester 2013/2014


Übungen / Tutorium:

Donnerstags 08:30 - 10:00 Uhr, R 2.25 bei Dr. Renate Winter


Literaturempfehlungen

(Exemplare in der Bibliothek Ha 4 vorhanden):

5 x Werner Nehrlich: Diskrete Mathematik - Basiswissen für Informatiker Hanser Fachbuchverlag2003
8 x Werner Struckmann, Dietmar Wätjen: Mathematik für InformatikerSpektrum 2006
5 x Rod Haggarty:Diskrete Mathematik für Informatiker Pearson Studium2004
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 Springer2001
23 x (+ 3x engl.) Reinhard Diestel:GraphentheorieSpringer2006

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.


Prüfung

Klausur:

11. 3. 2014

Bitte erscheinen Sie spätestens 9:45 Uhr im Raum 1.30



Renate Winter mailto:winter@informatik.uni-halle.de