Übungsblätter

Nr.	Abgabetermin	Download
1	30.04.07, 10.00 Uhr	TI-Uebungsblatt-01.pdf
-	Turingmaschinen-Simulator	leantm.pl (läuft auf jedem Prolog System, z.B. SWI-Prolog)
2	07.05.07, 10.00 Uhr	TI-Uebungsblatt-02.pdf
-	Auswerten von rekursiven Ausdrücken	murek.pl (läuft auf jedem Prolog System, z.B. SWI-Prolog)
3	14.05.07, 10.00 Uhr	TI-Uebungsblatt-03.pdf
4	21.05.07, 10.00 Uhr	TI-Uebungsblatt-04.pdf
-	Auswerten von Lambda-Termen	lambda.pl (läuft auf jedem Prolog System, z.B. SWI-Prolog)
5	29.05.07, 10.00 Uhr	TI-Uebungsblatt-05.pdf
6	04.06.07, 10.00 Uhr	TI-Uebungsblatt-06.pdf
7	11.06.07, 10.00 Uhr	TI-Uebungsblatt-07.pdf
-	Rahmenprogramm für "Fleißige Biene"	tm_biene.pl (läuft auf jedem Prolog System, z.B. SWI-Prolog)
8	18.06.07, 10.00 Uhr	TI-Uebungsblatt-08.pdf
9	25.06.07, 10.00 Uhr	TI-Uebungsblatt-09.pdf
10	02.07.07, 10.00 Uhr	TI-Uebungsblatt-10.pdf
11	09.07.07, 10.00 Uhr	TI-Uebungsblatt-11.pdf
12	16.07.07, 10.00 Uhr	TI-Uebungsblatt-12.pdf
13	-	TI-Uebungsblatt-13.pdf

Bearbeitung der Aufgaben

• Die Übungsblätter werden wöchentlich als pdf-Dateien bereitgestellt. Jedes Übungsblatt enthält ein Quiz, Präsenzaufgaben und Hausaufgaben. Das Quiz und die Präsenzaufgaben sollen während der wöchentlichen Übungen bearbeitet werden.

• Die Hausaufgaben werfen Sie bitte bis zum jeweiligen Abgabetermin in den gekennzeichneten Schrank im Foyer des ersten Stocks im Informatik-Gebäude. Sollten Sie den Abgabetermin aus wichtigen Gründen verpassen, geben Sie Ihre Lösung direkt bei Jens Otten (Raum 1.20) ab. Die korrigierten Hausaufgaben erhalten Sie dann eine Woche später in Ihrer Übungsgruppe zurück. Lösungsvorschläge zu den Hausaufgaben werden in der Hörsaalübung vorgerechnet.

• Sie werden nur dann zur Klausur zugelassen, wenn Sie am Ende des Semesters mindestens 50% der Punkte in den Hausaufgaben erreicht haben (siehe auch Schein/Klausur).

• Nutzen Sie die Sprechstunden der Veranstalter und der Tutoren, falls Sie Fragen zu den Hausaufgaben haben.