Voraussetzungen:	Mathematische Grundkenntnisse, wie sie etwa in der Vorlesung Mathematik I oder Mathematik II vermittelt werden
Querverbindungen:	Theoretische Informatik, Software- und Systementwurf, Compilerbau, Effiziente Algorithmen
Modulprüfung:	Zulassungsvoraussetzungen für die Modulprüfung: Aktive Teilnahme an den Übungen Vorrechnen von mindestens zwei Aufgaben Erwerb von mindestens 50% der erreichbaren Punkte in den Übungsaufgaben, 40 % für Lehramtsstudierende Hinweis für Wiederholer: Einmal erbrachte Studienleistungen müssen nicht mehr wiederholt werden. Haben Sie bereits erfolglos an der Modulprüfung zum Modul "Theoretische Informatik" teilgenommen, sind Sie daher auf jeden Fall zur Wiederholungsprüfung zugelassen. Trotzdem empfehlen wir Ihnen, vor allem zur Klausurvorbereitung, aktiv an den Übungen teilzunehmen. Anmeldung zur Modulprüfung: bis 15. Januar 2016 Studierende in den Lehramtsstudiengängen und in den Bachelorstudiengägen des Fachbereichs (StPO 2010) müssen sich über das LSF/QIS-Portal zur Modulprüfung anmelden. Alle anderen Studierenden melden sich bitte in den Vorlesungen oder in den Übungen der Woche vom 11. bis 15. Januar 2016 per Liste an. Bei Nichtbestehen der Klausur sind Bachelorstudierende automatisch zur Wiederholungsklausur angemeldet. Lehramtsstudierende müssen sich zur Wiederholungsklausur wieder anmelden.
Übungsablauf:	Die Ausgabe der Übungszettel erfolgt über das Ilias-System, in das Sie sich mit Ihrem HRZ-Login einloggen können. Die Abgabe der Hausaufgaben erfolgt dienstags vor der Vorlesung oder über das Ilias-System. Die Abgabe ist in Zweiergruppen möglich. Die Rückgabe und Besprechung findet in den Übungsgruppen statt. Die Abgabe von kopierten Lösungen führt zur Aufteilung der Punkte auf das Original und die Kopien.