| Übersicht | Lösungen | Übungen | Skript |
| 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 Formale Grundlagen 1 Klausur vom 24.9. haengen in Schaukasten neben S215/201 aus. Klausureinsicht findet am 12. Oktober statt in S215/201: 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. |
| 10.09.2009 | Wir bieten extra Sprechstunden an an den folgenden Terminen: 17.09. 11:30 S103/112 Matthias Prager 21.09. 9:00 S215/415 Elli Jacobi 22.09. 11:30 S103/104 Marko Martin 23.09. 11:00 S215/415 Elli Jacobi (Beachten Sie, dass die Zeit von Ellis zweite Sprechstunde sich geaendert hat!) |
| 21.07.2009 | Die Klausur findet am 24. September von 12:30-14:00 in S101/1 statt. Alle schriftliche Unterlagen sind erlaubt und bitte auch eigenes Papier mitbringen. |
| 18.05.2009 | Die Aufgabe von E4.3 von letzter Woche war leider falsch gestellt. Die Aequivalenzklassen waren falsch berechnet (es gab nur 3 Klassen insgesamt), und deshalb liefert das Verfahren auf Seite 36 vom Skript keinen minimalen Automaten. |
| 12.05.2009 | Die Letzte Uebungen finden am 13.5., 20.5. und 3.6. statt. |
| 27.04.2009 | Wichtig: Die Uebungsgruppe von Marko Martin (Mi 14:25-16:05) findet ab jetzt in S114/265 statt. |
| 20.04.2009 | Es gibt eine Zuteilung fuer die Uebungsgruppen. Bitte schauen Sie im Webreg nach in welcher Gruppe Sie eingeteilt sind. |
| 16.04.2009 | Das erste Uebungsblatt steht jetzt im Netz. Druecken Sie es bitte aus bevor Sie in der Uebung gehen. Die letzte Aufgabe ist eine Hausaufgabe, die Sie bei Ihren Tutor zur Korrektur einreichen koennen. |
| 01.04.2009 | Die erste Vorlesung findet am 14. April und die erste Uebungen finden am 22. April statt. |
| Name | Raum | Tel. |
|---|---|---|
| Blumensath, Achim | S2|15 203 | 22865 |
| van den Berg, Benno | S2|15 230 | 2615 |
| Tag | Uhrzeit | in Raum |
|---|---|---|
| Montags | 15:20 - 17:00 | S311/006 (bis 11.05.09) |
| Dienstags | 14:25 - 16:05 | S306/052 (bis 09.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 | S202/A126 (6.7.: E102) |