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 Achtung: Unbenotete Leistungsnachweise aus Vorjahren werden nicht als Zulassung zur Abschlussklausur anerkannt! Anmeldung zur Modulprüfung: bis 17. Januar 2014 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 13. bis 17. Januar 2014 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. 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.