Übersicht | Synopsis | Skript | Übungen | Folien |
14.10.2010 | Die Klausureinsicht fuer die Formale Grundlagen der Informatik I und II wird am 25. Oktober ab 17:00 in S214/024 stattfinden. 17:00-18:00 Nachnamen A-L 18:00-19:00 Nachnamen M-Z Studenten, die bis 18:00 Uebungsgruppen haben, duerfen natuerlich auch um 18:00 zur Klausureinsicht kommen. |
11.10.2010 | Die Klausurergebnisse fuer sowohl Formale Grundlagen 1 als 2 sind bekannt und die meiste Studenten sollen die in Tucan abfragen koennen. Sie hangen auch in Schaukasten in 2. Stock im Mathebau aus (neben S215/201 und zwischen S215/203 und 204). Klausureinsicht wird voraussichtlich am 25. Oktober ab 17:00 stattfinden; Genaueres wird so bald wie moeglich bekanntgegeben. |
25.08.2010 | Die Sprechstunde von Patrick Fongue faellt heute Nachmittag aus: sie wird am Freitag 11:30 nachgeholt. Dann koennen auch die korrigierte Hausuebungen von Jurlind Budurushi abgeholt werden. |
23.08.2010 | Die Formale Grundlagen I Klausur findet am 3. September von 8:00 bis 9:30 statt: 0000000-1586536: S101/A1 1586537-1659418: S311/08 1659419-9999999: S306/051 Die Formale Grundlagen II findet am 10. September von 14:00 bis 15:30 statt: 0000000-1563805: S101/A1 1563806-1615494: S311/08 1615495-1659269: S101/A01 1659270-9999999: S306/051 Bei beiden Klausuren sind alle schriftliche Unterlagen erlaubt, aber keine elektronische Hilfsmittel. |
21.07.2010 | In den Ferien werden wir zusaetzliche Sprechstunden anbieten und zwar an den folgenden Terminen: Mo 16.8, 8:00: Elli Jacobi in S215/336 Di 17.8., 14:00: Florian Bruse in S103/107 Mi 18.8., 14:00: Daniel Reker in S103/107 Do 19.8., 14:00: Maik Thoener in S103/107 Fr 20.8., 14:00: Holger Thies in S103/107 Mo 23.8., 10:00: Julian Bitterlich in S103/107 Di 24.8., 10:00: Julian Metzler in S103/107 Mi 25.8., 11:00: Oliver Dietz in S103/107 Mi 25.8., 14:00: Patrick Fongue in S103/107 Do 26.8., 10:00: Matthias David in S103/107 Do 26.8., 14:00: Torsten Sillus in S103/107 Fr 27.8., 10:00: Natalie Faber in S103/107 Fr 27.8., 14:00: Robert Reinecke in S103/107 |
12.07.2010 | Auch in dieser Woche faellt die Sprechstunde und die Uebung von Natalie Faber leider aus. Bitte nehmen sie alternative Termine wahr. |
09.07.2010 | Das 7. Übungsblatt zu FGdI 2 kann schon ab heute heruntergeladen werden. Ein Teil der Aufgaben auf diesem Übungsblatt wird am Dienstag von Benno van den Berg in der Vorlesung besprochen. |
06.07.2010 | Natalie Fabers Übungsgruppe fällt diese Woche aus, bitte besuchen Sie eine der anderen Übungsgruppen. |
02.07.2010 | Die Sprechstunde von Patrick Fongue muss heute leider ausfallen: sie wird naechste Woche nachgeholt. |
29.06.2010 | In der Musterlösung der Aufgabe G2.i) c) des 11. Übungsblattes gab es einen Fehler. Eine korrigierte Version der Lösung ist jetzt online. |
28.06.2010 | Bonus zur FGdI 1: Einen Bonus für die FGdI 1 Klausur bekommt, wer mindestens 41 Punkte in den Hausübungen erreicht hat. |
21.06.2010 | Fehler auf dem dritten Uebungsblatt: In die H1 haben sich kleinere Fehler eingeschlichen: bei a) sind alle phi grosse phi und bei c) geht es wie in der gesamten Aufgabe nur um nicht-negative Hornformeln |
11.05.2010 | Wir werden am Montag, den 31. Mai mit den Vorlesungen zu Formale Grundlagen der Informatik 2 beginnen. Der Uebungsbetrieb zu FGdI 2 startet ebenfalls in der Woche vom 31.Mai. |
26.04.2010 | In das zweite Übungsblatt hat sich ein Fehler eingeschlichen: Bei der Aufgabe H2 c soll g(Q):= { i in L ... } statt g(Q):={ i in M ... } stehen! |
30.03.2010 | Die ersten Uebungsgruppen finden in der ersten Vorlesungswoche statt (Woche 15). Fuer diese Uebungsgruppen soll man sich uebers Webreg anmelden. Anmelden kann man sich ab naechster Woche. Anmeldeschluss ist Dienstag 13. April um 12:00. Alle, die nur Formale Grundlagen II besuchen wollen, melden sich bitte auch jetzt schon an, da die Gruppeneinteilung durchgehend beibehalten werden wird. |
Name | Raum | Tel. |
---|---|---|
Prof. Dr. Martin Otto | S2|15 207 | 22861 |
Dipl.-Math. Alexander Kartzow | S2|15 204 | 2215 |
Dipl.-Math. Alexander Kreuzer | S2|15 203 | 2860 |
PhD Benno van den Berg | S2|15 230 | 2615 |
Tag | Uhrzeit | in Raum |
---|---|---|
Montags | 09:50 - 11:30 | S311/08 |
Dienstags | 14:25 - 16:05 | S311/08 |
Nr. | Zeit | in Raum | bei | Sprechstunde | in Raum |
---|---|---|---|---|---|
1 | Mittwochs, 08:00 - 09:40 | S103/107 | Julian Bitterlich | Mo 12:00 | S215/345 |
2 | Mittwochs, 08:00 - 09:40 | S103/204 | Natalie Faber | Fr 9:50 | S202/A313 |
3 | Mittwochs, 08:00 - 09:40 | S103/125 | Torsten Sillus | Fr 11:30 | S215/336 |
4 | Mittwochs, 08:00 - 09:40 | S103/121 | Matthias David | Mo 16:30 | S202/Athene |
5 | Mittwochs, 09:50 - 11:30 | S214/024 | Alexander Kartzow | Mo 11:40 | S215/204 oder 345 |
6 | Mittwochs, 09:50 - 11:30 | S114/169 | Florian Bruse | Mo 13:00 | S215/345 |
7 | Mittwochs, 09:50 - 11:30 | S103/125 | Jurlind Budurushi | Mi 17:00 | S202/A213 |
8 | Mittwochs, 11:40 - 13:20 | S101/A2 | Maik Thoener | Di 13:20 | S215/444 |
9 | Mittwochs, 11:40 - 13:20 | S103/113 | Robert Reinecke | Fr 10:00 | S202/Athene |
10 | Mittwochs, 11:40 - 13:20 | S103/112 | Julian Metzler | Fr 10:45 | S202/A213 |
11 | Mittwochs, 14:25 - 16:05 | S114/265 | Holger Thies | Do 16:30 | S215/345 |
12 | Mittwochs, 14:25 - 16:05 | S103/123 | Alexander Kreuzer | Fr 11:30 | S215/336 |
13 | Donnerstags, 16:15 - 17:55 | S103/312 | Elli Jacobi | Do 10:00 | S215/336 |
14 | Freitags, 13:30 - 15:10 | S103/126 | Oliver Dietz | Di 13:00 | S202/E102 (13. Juli: S202/A126) |
15 | Freitags, 14:25 - 16:05 | S103/116 | Patrick Fongue | Fr 10:00 | S215/415 |
16 | Mittwochs, 09:50 - 11:30 | S101/A2 | Daniel Reker | Mo 11:30 | S215/444 |
17 | Mittwochs, 11:40 - 13:20 | S102/36 | Florian Bruse | Mo 12:00 | S215/345 |