Basic Mathematical Techniques for Computer Scientists (WS 2012)

Basic Information

Lecture time	Mondays 16:15-17:45 starting October 22, 2012.
Lecture Room	E1.4 Room 024
Lecturer	G Philip
Audience	The course aims at providing some of the basic mathematical tools which are required for master's level courses in theoretical computer science. The intended audience are students early in their master's studies who, for example, would like to (re-)learn how to write formal proofs. The course is designed as an English language revision of basic math material for students from backgrounds where this material was not part of the curriculum.
Credits	3 credit points, ungraded.
Exercises and Test	We will hand out exercises every week, and there will be a test at the end of the course.
Exam Date	We will have the final exam for the course on February 04, 2013.
Lecture Slides	See here for slides from past lectures.