Erfahrungsgemäß ist die Vorlesung "Grundlagen der Theoretischen Informatik" für viele Informatikstudenten als erste Theorievorlesung ihres Studiums eine besondere Herausforderung. Sachverhalte werden in der Theorie in mathematischer Strenge bewiesen. Hierbei wird zum Teil von einer formalisierten Sprache Gebrauch gemacht.
Um die Anfangsschwierigkeiten abzumildern, bieten wir in der Woche vor Vorlesungsbeginn ein Mathematische Propädeutikum an, in dem wichtige in der Vorlesung benutzte Grundbegriffe und Beweismethoden nochmals ausführlich dargestellt werden.
Inhalt: (naive) Mengenlehre, Induktive Definitionen / strukturelle Induktion, Logik, Beweise, Syntax vs. Semantik.

Insbesondere Informatikstudenten, die nicht schon Mathematik als Beifach gewählt haben, empfehlen wir die Teilnahme.

Bei Nachfragen wenden Sie sich bitte an diener (at) math (punkt) uni-siegen (punkt) de.

Prof. Dr. Dieter Spreen, Dr. Hannes Diener