SS 2009 » Formale Grundlagen der Informatik II
Prof. Dr. Kohlenbach

ÜbersichtLösungenÜbungenSkriptFolien

Aktuelles

22.04.2010Die 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.2009Die 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.2009Schreiben 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.2009Die 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.2009Die 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.2009Wir 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.2009Die 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.2009Diese 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.2009Das dritte Hausaufgabeblatt steht jetzt im Netz (unter Uebungen). Abgabetermin: naechste Woche in der Uebung.
22.06.2009Das zweite Hausaufgabeblatt steht jetzt im Netz (unter Uebungen). Abgabetermin: naechste Woche in der Uebung.
09.06.2009Das erste Hausaufgabeblatt steht jetzt im Netz (unter Uebungen). Abgabetermin: naechste Woche in der Uebung.
20.05.2009Die 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.2009Sie 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.2009Die erste Uebung findet am 27.5. statt; die zweite am 10.6. und ab dann gibt es jede Woche eine Uebung.
14.04.2009Die erste Vorlesung findet am 18. Mai statt und die erste Uebung am 27. Mai.

 

Veranstalter

Name Raum Tel. Sprechstunde
Kohlenbach, UlrichS2|15 20522862
van den Berg, BennoS2|15 2302615Mittwochs, 8:50-9:45 in LZM

 

Vorlesung

TagUhrzeitin Raum
Montags15:20 - 17:00S311/08 (ab 18.05.09)
Dienstags14:25 - 16:05S311/08 (ab 16.06.09)

 

Übung

Nr.Zeitin RaumbeiSprechstundein Raum
1Mittwochs, 9:50 - 11:30S114/169Elli JacobiMo 11:45-12:45S215/336
2Mittwochs, 9:50 - 11:30S103/125Artjom KochtchiDi 11:40-12:40S215/415
3Mittwochs, 11:40 - 13:20S103/113Matthias PragerMi 13:30-14:30S202/A126 (8.6.: E102)
4Mittwochs, 14:25 - 16:05S114/265Marko MartinMo 9:50-10:50S215/201
5Mittwochs, 11:40 - 13:20S101/2Wu DiFr 12:00-13:00S215/201
6Mittwochs, 11:40 - 13:20S103/25Artus RosenbuschDo 11:00-12:00S215/345
7Mittwochs, 11:40 - 13:20S103/112Patrick FongueDo 11:00-12:00S215/415
8Freitags, 14:25 - 16:05S103/209Jurlind BudurushiFr 16:00-17:00S103/209
9Freitags, 14:25 - 16:05S103/116Abdulghani AlshadadiMi 15:15-16:15S202/A213 (24.6., 15.7.: A126)
10Mittwochs, 9:50 - 11:30S214/024Artus RosenbuschDo 11:00-12:00S215/345

 

Aktuelles

Achtung: Vom 23.04.2018 bis 25.04.2018 ist das Studienbüro wegen Semestervorbereitung geschlossen! Die Sprechstunden entfallen!


Ordnungen, Formulare, etc.

Dokumente wie Prüfungsplan-formulare, Studien- und Prüfungspläne oder Modulhandbücher finden Sie im Downloadbereich

Sabine Bartsch
Iryna Bysaha
Meike Mühlhäußer
Alexandra Neutsch
Bettina Plutz (in Elternzeit)

Sprechzeiten:
Mo13:30-15:30
Mi, Do10:30-12:30

studienbuero(at)mathematik.tu-darmstadt.de

Studienberatung

Dr.-Ing. Cornelia Seeberg

Sprechzeiten:
Mo13:30-15:00
Mi10:30-12:00

Die Sprechstunden finden in Raum S2|15 241 statt. Es ist keine Terminvereinbarung notwendig.

Weitere Fragen bitte per Mail an:

studienberatung(at)mathematik.tu-darmstadt.de

 

 

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang