Dozent: Anusch Taraz
Termine
Beginn des Seminars: 16.04.2004| PS | Freitag | 09:30 - 11:00 | (RUD 25, 4.111) |
|---|
Zuordnung
- Grundstudium, Proseminar
Inhalte und Lernziele
Beweise in der Theoretischen Informatik führen oft zu scheinbar unüberbrückbaren Differenzen zwischen Studierenden und Dozenten, und zwar in Fragen der Notwendigkeit, des Stils, der Intuition und der Didaktik. Wir werden allgemeine Beweismethoden sowohl an Standardbeispielen wie auch an besonders schönen Exemplaren studieren und einüben und damit versuchen, die fehlenden Brücken zu bauen. Dabei werden Themen aus der Zahlentheorie, Kombinatorik, Geometrie und dem Algorithmenentwurf behandelt.
Das Proseminar richtet sich sowohl an Studierende, die sich mit den mathematischen Grundlagen noch nicht ausreichend vertraut fühlen, wie auch an diejenigen, die ihre Kenntnisse über das im Grundstudium übliche Maß hinaus vertiefen wollen.
Empfohlene Literatur
- , Das BUCH der Beweise, Springer, 2002.
- , Mathematics -- A Discrete Introduction, Brooks/Cole, 2000.
