Voraussetzungen:	Mathematische Grundkenntnisse, wie sie etwa in der Vorlesung Mathematik I vermittelt werden
Querverbindungen:	Theoretische Informatik, Software- und Systementwurf, Compilerbau, Effiziente Algorithmen
Scheinkriterien:	Unbenoteter Leistungsnachweis: Regelmäßige und aktive Teilnahme an den Übungen Vorrechnen von mindestens zwei Aufgaben Erwerb von mindestens 50% der erreichbaren Punkte in den Übungsaufgaben, 40 % für Lehramtsstudierende höchstens zwei unbearbeitete Zettel Erwerb von mindestens 8 Punkten in den beiden Leistungskontrollen Sonderregelung: Durch das Vorrechnen von mündlichen Aufgaben in den Übungsgruppen können pro vollständig und richtig vorgerechneter mündlicher Aufgabe 2 Sonderpunkte erworben werden, mit denen der Punktestand aus den Leistungskontrollen aufgestockt werden kann. Die Tutoren bestimmen, welche Aufgaben vorzurechnen sind. Dies bedeutet, dass diejenigen, die in den Leistungskontrollen weniger als 8 Punkte erworben haben, ab sofort verpflichtet sind, an den Übungsgruppen teilzunehmen. Benoteter Leistungsnachweis: Zusätzlich Bestehen der Klausur am Semesterende Achtung: Unbenotete Leistungsnachweise aus Vorjahren werden nicht anerkannt!
Übungsablauf:	Die Ausgabe der Übungszettel und die Abgabe der Hausaufgaben erfolgen dienstags vor der Vorlesung. Die Abgabe ist in Zweiergruppen möglich. Die Rückgabe und Besprechung findet in den Übungsgruppen statt. Die Abgabe von abgeschriebenen Lösungen ergibt 0 Punkte für die Kopien und das Original