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 höchstens zwei unbearbeitete Zettel Erwerb von mindestens 8 Punkten in den beiden Leistungskontrollen, wobei in der ersten Leistungskontrolle maximal 8 Punkte und in der zweiten Leistungskontrolle maximal 20 Punkte erreicht werden können. Zusatzregelung: Wer in den beiden Leistungskontrollen weniger als 8 Punkte erzielt hat, muss ab sofort (Blatt 10) seine Übungen alleine abgeben und in den Übungsaufgaben pro halbem fehlenden Punkt in den Leistungskontrollen einen zusätzlichen Punkt erwerben. Beispiel: Wer in den Leistungskontrollen nur insgesamt 6,5 Punkte erreicht hat, muss in den Übungen 3 zusätzliche Punkte erwerben. Achtung: Unbenotete Leistungsnachweise aus Vorjahren werden nicht als Zulassung zur Abschlussklausur anerkannt! Anmeldung zur Modulprüfung: Studierende des Bachelor-/Masterstudiengangs Informatik oder des modularisierten Lehramtsstudiengangs Informatik müssen sich vier Wochen vor Vorlesungsende zu der Modulprüfung anmelden. Bei Nichtbestehen der Klausur ist man automatisch zur Wiederholungsklausur angemeldet. Termin der Modulprüfung: Klausur am 15. Juli 2009
Ü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 kopierten Lösungen führt zur Aufteilung der Punkte auf das Original und die Kopien.