| Übersicht | Lösungen | Übungen | Skript | Folien |
| 22.04.2010 | Die Ergebnisse von den Wiederholungsklausuren fuer die "Formale Grundlagen der Informatik 1" vom 6. April und fuer die "Formale Grundlagen der Informatik 2" vom 30. Maerz haengen in Schaukasten zwischen Raeume S215/203 und S215/204 aus. Fuer beide Klausuren findet die Klausureinsicht am 30. April um 16:00 in S215/201 statt. |
| 06.10.2009 | Die Ergebnisse der beiden Formale Grundlagen 2 Klausuren (sowohl vom 4.9. als auch vom 30.9.) haengen in Schaukasten neben S215/201 aus (die Ergebnisse sind inklusive Bonus). Klausureinsicht findet am 12. Oktober in S215/201 statt: fuer Studenten mit Nachnamen A-L von 18:00 bis 19:00 und fuer Studenten mit Nachnamen M-Z von 19:00 bis 20:00. |
| 08.09.2009 | Schreiben von Prof Kohlenbach: Sehr geehrte Teilnehmer der FGdI II Klausur am 4.9., wie Sie wissen kam es bei der FGdI II Klausur in einem der Gebaeude, in denen die Klausur stattfand (S101), zu einem Feueralarm, der zu einer Raeumung des Gebauedes fuehrte. Dabei konnte nicht verhindert werden, dass zahlreiche Studenten ihre Klausuren mitnahmen. Waehrend dieser Zeit konnten sich die Studenten zudem ueber die Klausur austauschen. Daher gab es keinen anderen Weg, als die Klausur fuer die in S101 schreibenden Studenten abzubrechen, was auch von Herrn Gerhard Schmitt aus der Rechtsabeteilung und dem Dekan des FB Informatik, Herrn Professor Weihe, bestaetigt wurde. In einem anderen Gebauede (S311), in dem ebenfalls eine Gruppe von Studenten diese Klausur schrieb, kam es zu keiner Stoerung, und die Klausur wurde dort ordnungsgemaess beendet. Fuer *diese* Studenten wird die Klausur normal korrigiert und gewertet (dies ist ebenfalls mit Herr Schmitt und Herrn Weihe abgesprochen). Fuer diejenigen Studenten, deren Klausur abgebrochen werden musste, gibt es einen neuen Term am Mittwoch, 30.09., von 16.00 - 17.30 Uhr, in den Räumen S101/1 und S101/01. Bitte beachten Sie die Ankuendigung im web. Falls Sie an diesem Termin nicht koennen, haben Sie die Moeglichkeit von Ihrer Anmeldung zurueckzutreten und muessten dann ein Semester spaeter an der (Wiederholungs-)Klausur teilnehmen. Ich weiss, dass dies alles auesserst unangenehm fuer Sie ist, hoffe aber dennoch auf Ihr Verstaendnis, da ich ja an der Lage nichts aendern kann. Auch fuer mich und die beteiligten Assistenten bedeutet dies einen zusaetzlichen Arbeitsaufwand. Mit besten Gruessen, Ulrich Kohlenbach |
| 08.09.2009 | Die Klausur wird am 30. September, 16:00-17:30, nachgeholt. Die Saaleinteilung hat sich nicht geaendert: A-Le in S101/1 und Lf-Q in S101/01. Fuer Studenten mit Nachnamen R-Z (oder die nicht angemeldet sind), gibt es nicht die Moeglichkeit die Klausur nochmals zu schreiben. |
| 07.09.2009 | Die Studenten die Ihre Klausur durch einen Feueralarm nicht zu Ende schrieben konnten, koennen die Klausur an einem spaeteren Termin nachholen. Einen genauen Termin wird so bald wie moegliech bekannt gegeben. Die Studenten die Ihre Klausur im Hexagon geschrieben haben, muessen Ihre Klausur nicht nochmal schreiben: diese wird als gueltig anerkannt. |
| 14.08.2009 | Wir bieten extra Sprechstunden an an den folgenden Terminen: 17.08. 10:00 S202/A213 Patrick Fongue und Jurlind Burudishi 26.08. 14:00 S215/201 Artus Rosenbusch 27.08. 11:30 S103/112 Matthias Prager 28.08. 13:00 S103/112 Wu Di 28.08. 15:00 S215/415 Elli Jacobi 31.08. 11:30 S103/112 Marko Martin 02.09. 14:00 S103/112 Artjom Kochtchi 03.09. 9:00 S215/415 Elli Jacobi |
| 21.07.2009 | Die Klausur findet am 4. September von 14:00-15:30 statt: in S101/1 (Nachnamen A-Le), in S101/01 (Lf-Q) und in S311/08 (R-Z). Alle schriftliche Unterlagen sind erlaubt und bitte auch eigenes Papier mitbringen. |
| 13.07.2009 | Diese Woche gibt es kein neues Uebungsblatt: nur eine Fragenstunde und eine Moeglichkeit Ihre Hausaufgaben abzugeben. Artus Rosenbusch ist diese Woche nicht da: Studenten die in einer von seinen beiden Uebungsgruppen sind koennen eine andere Uebungsgruppe besuchen und ihre Hausaufgaben dort abgeben. |
| 06.07.2009 | Das dritte Hausaufgabeblatt steht jetzt im Netz (unter Uebungen). Abgabetermin: naechste Woche in der Uebung. |
| 22.06.2009 | Das zweite Hausaufgabeblatt steht jetzt im Netz (unter Uebungen). Abgabetermin: naechste Woche in der Uebung. |
| 09.06.2009 | Das erste Hausaufgabeblatt steht jetzt im Netz (unter Uebungen). Abgabetermin: naechste Woche in der Uebung. |
| 20.05.2009 | Die Uebungsgruppen sind jetzt zugeteilt worden. Schauen Sie im Webreg nach in welcher Gruppe Sie eingeteilt worden sind. Studenten die sich am Anfang des Semesters fuer die Formale Grundlagen 1 angemeldet haben behalten einfach Ihre Uebungsgruppe. |
| 13.05.2009 | Sie koennen sich jetzt fuer die Uebungsgruppen anmelden. Wichtig: Studenten die dieses Semester die Formale Grundlagen 1 bei Dr. Blumensath folgen und sich dafuer schon angemeldet haben brauchen sich nicht nochmal anzumelden. |
| 12.05.2009 | Die erste Uebung findet am 27.5. statt; die zweite am 10.6. und ab dann gibt es jede Woche eine Uebung. |
| 14.04.2009 | Die erste Vorlesung findet am 18. Mai statt und die erste Uebung am 27. Mai. |
| Name | Raum | Tel. | Sprechstunde |
|---|---|---|---|
| Kohlenbach, Ulrich | S2|15 205 | 22862 | |
| van den Berg, Benno | S2|15 230 | 2615 | Mittwochs, 8:50-9:45 in LZM |
| Tag | Uhrzeit | in Raum |
|---|---|---|
| Montags | 15:20 - 17:00 | S311/08 (ab 18.05.09) |
| Dienstags | 14:25 - 16:05 | S311/08 (ab 16.06.09) |
| Nr. | Zeit | in Raum | bei | Sprechstunde | in Raum |
|---|---|---|---|---|---|
| 1 | Mittwochs, 9:50 - 11:30 | S114/169 | Elli Jacobi | Mo 11:45-12:45 | S215/336 |
| 2 | Mittwochs, 9:50 - 11:30 | S103/125 | Artjom Kochtchi | Di 11:40-12:40 | S215/415 |
| 3 | Mittwochs, 11:40 - 13:20 | S103/113 | Matthias Prager | Mi 13:30-14:30 | S202/A126 (8.6.: E102) |
| 4 | Mittwochs, 14:25 - 16:05 | S114/265 | Marko Martin | Mo 9:50-10:50 | S215/201 |
| 5 | Mittwochs, 11:40 - 13:20 | S101/2 | Wu Di | Fr 12:00-13:00 | S215/201 |
| 6 | Mittwochs, 11:40 - 13:20 | S103/25 | Artus Rosenbusch | Do 11:00-12:00 | S215/345 |
| 7 | Mittwochs, 11:40 - 13:20 | S103/112 | Patrick Fongue | Do 11:00-12:00 | S215/415 |
| 8 | Freitags, 14:25 - 16:05 | S103/209 | Jurlind Budurushi | Fr 16:00-17:00 | S103/209 |
| 9 | Freitags, 14:25 - 16:05 | S103/116 | Abdulghani Alshadadi | Mi 15:15-16:15 | S202/A213 (24.6., 15.7.: A126) |
| 10 | Mittwochs, 9:50 - 11:30 | S214/024 | Artus Rosenbusch | Do 11:00-12:00 | S215/345 |