Voraussetzungen:	Mathematische Grundkenntnisse, wie sie etwa in der Vorlesung Mathematik I 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 Mitte Januar 2013 (genauer Termin wird noch bekanntgegeben) 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 14. bis 18. Januar 2013 per Liste an. Bei Nichtbestehen der Klausur sind Sie automatisch zur Wiederholungsklausur angemeldet.
Ü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.