Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Pearls of Informatics 4, SS 2011

  News | Basic information | Content | Exercises | Slides | Links

The lecture will take place every week on the following dates:
Fridays 3:30-5:30pm in the seminar room MI 03.09.014

Instructor: Andrey Rybalchenko

Area:

Audience:

Grading and exam: