Herbst 2007 Mathematische Methoden der Informatik

Mathematical Methods in Computer Science, 2007-2008

General Information

Announcements for 2008

28.05.2008 Last week of the semester: lecture on Wednesday and exercises on Thursday.
19.05.2008 The 11th assignment.
10.05.2008 The tenth assignment.
09.05.2008 The book for the logic material is "Logic for Computer Science" by Uwe Schöning.
29.04.2008 The ninth home assignment is due Monday, 05.05.2008.
22.04.2008 Eight homework assignment. Click here for the pdf file.
21.04.2008 Some logic notes. We will not cover everything there.
15.04.2008 Seventh homework assignment. Click here for the pdf file.
08.04.2008 Sixth homework assignment. Click here for the pdf file.
01.04.2008 Fifth homework assignment. Click here for the pdf file.
19.03.2008 Fourth homework assignment. Click here for the pdf file.
12.03.2008 Third homework assignement. Click here for the pdf file.
05.03.2008 Second homework assignement. Click here for the pdf file.
27.02.2008 First homework assignment. Click here for the pdf file.
21.02.2008 Combinatorics notes.
20.02.2008 No exercises today. Keine Uebuengen heute. First class on Thursday.

20.12.2007 Optional last homework assignment. Click here.
19.12.2007. CLASS instead of exercises.
13.12. 2007. No class.
10.11. 2007. The ninth homework assignment. Click here for the pdf file.
4. 12.2007. The eigth homework assignment. Click here for the pdf file.
28.11.2007. The seventh homework assignment. Click here for the pdf file.
21.11.2007. The sixth homework assignment. You need the text and the picture.
20.11.2007 Starting this week we will study graph theory. The main reference for graph theory will be
the book Graph Theory by Reinhard Diestel, which is available online in English and German. Chapter 1 this semester.
There are also graph theory notes from last year's course in French and German. We will cover some of the material in these notes.

14.11.2007. Fifth homework assignment. Click here for the pdf file.
Wednesday November 7 and November 14 there will be class instead of exercises at 17:15.
Exercises on Nov. 8 (Thursday, 10:15), instead of class.
7.11.2007. You will hand in the workshop on Monday, Nov. 12.
30.10.2007. You will receive the exercises in class from Jérôme.
23.10.2007. Fourth homework assignment. Click here for the pdf file.
18.10.2007. Third homework assignment. Click here for the pdf file.
9.10.2007. Second homework assignment. Click here for the pdf file.
4.10.2007. See above the new time for exercises. Wednesday 17:15 -19:00.
4.10.2007. The book we are using for the first 5-6 weeks of the course is "Introduction to Automata Theory, Languages and Computation" by Hopcroft, Motwani and Ullman (ISBN 0-210-44124-2). Chapters 2, 3 and 4.
1.10.2007. First homework assignment. Click here for the pdf file.