WS 2008/2009 » Formale Grundlagen der Informatik I
Prof. Dr. Kohlenbach

ÜbersichtFolienHausaufgabenLösungenÜbungenSkript

Aktuelles

23.04.2009Die Ergebnisse der Formale Grundlagen 2 Klausur (von 31. Maerz) haengt in Schaukasten zwischen S215/203 und 204 aus. Klausureinsicht findet am 28. April statt ab 16:00 in S215/201.
14.04.2009Die Ergebnisse der Formale Grundlagen 1 Klausur und von dem FGdI 1 Teil der Informatik C Klausur (beide von 7. April) haengen in Schaukasten neben S215/209 aus (die Ergebnisse sind inklusive Bonus). Klausureinsicht findet am 23. April statt ab 16:00 in S215/201.
01.04.2009Die Klausur vom letzten Jahr steht jetzt in der Verzeichnis "Uebungen".
30.03.2009Die Wiederholungsklausur fuer die Formale Grundlagen II findet morgen in S311/08 statt von 15:15-16:45.
19.03.2009Die Termine fuer die Sprechstunden sind:

Montag 30.3., 11:40-13:20, S215/404K: Alexander Kreuzer
Dienstag 31.3., 11:40-13:20, S215/51: Artus Rosenbusch
Mittwoch 1.4., 9:50-11:30, S215/51: Benno van den Berg
Donnerstag 2.4., 11:40-13:20, S215/51: Mateusz Parzonka
Freitag 3.4., 09:50-11:30, S215/51: Daniel Reker
Montag 6.4., 15:00-17:00, S215/203: Maik Thoener

24.02.2009Die Klausur findet am 7.4. statt, von 12:30 bis 14:00. Alle schriftliche Unterlagen sind erlaubt. Die Saaleinteilung ist: A-G in S311/08, H-M in S206/030, N-Z in S101/A1.

06.02.2009Wir suchen auch noch Tutoren fuer FGdI 1 und 2 fuer naechstes Semester. Um sich zu bewerben, schreibt man einfach eine E-mail an Benno van den Berg.
06.02.2009Eine Woche vor der Klausur organisieren wir noch extra Sprechstunden (naeheres folgt). Auch steht jetzt ein Aufgabenzettel im Netz mit extra Aufgaben die man noch als Klausurvorbereitung bearbeiten kann.
23.01.2009Wichtig: Die Uebung der Gruppe 10 die heutemorgen leider nicht stattfinden konnte wird naechste Woche nachgeholt (wieder um 8:00 in S207/109).
19.01.2009Wichtig: Die 3. Hausaufgabe darf auch erst in der Vorlesung naechste Woche abgegeben werden. Also, neue Abgabetermin: 26. Januar in der Vorlesung.
12.01.2009Die 3. Hausaufgabe steht jetzt im Netz.
12.01.2009Diese Woche gibt es keine Uebung: die naechste Uebung ist am 23. Januar.

10.12.2008Der Termin der Sprechstunde von Mateusz Parzonka am Freitag den 12.12.08 wird wegen einer kollidierenden Veranstaltung einmalig verlegt von 11:40 Uhr auf 13:30 Uhr. Statt in Raum 409K findet die Sprechstunde im Raum 404K statt, wie immer im Mathebau.
10.11.2008Die erste Hausaufgabe steht jetzt im Netz. Abgabetermin ist Freitag 21. November, am Anfang der Uebung (und nicht zwanzig Minuten spaeter).
10.11.2008Diese Woche finden Sprechstunden statt, die Sie auch verwenden koennen um Fragen ueber den Hausaufgaben zu stellen. Sie muessen auch nicht unbedingt die Sprechstunden von deinem eigenen Uebungsleiter besuchen: sie koennen auch in eine andere Sprechstunde gehen.

Abweichende Termine: Die Sprechstunde von Artus Rosenbusch findet diese Woche am Mittwoch 11:40 statt in S215/217 und die von Benno van den Berg am Freitag 11:40 in Heiner-Lehr Zentrum 3.
27.10.2008Letzten Freitag waren einige Uebungsgruppen etwas ueberfuellt, aber das allgemeine Bild war nicht so schlimm, dass radikale Massnahmen notwendig sind. Immerhin waere es gut wenn einige Studenten die um 8:00 eingeteilt sind in die Gruppe 1 oder 11 wechseln, und einigen die um 11:40 eingeteilt sind in die Gruppe 6.
21.10.2008Das erste Uebungsblatt steht im Moment im Netz. Druecken Sie ein Exemplar aus vor Sie in die Uebung gehen.

Die Gruppen sind eingeteilt. Schauen Sie im Webreg nach wann and wo Sie eingeteilt sind.
25.09.2008Die erste Vorlesung findet Montag 13 Oktober statt, die erste Uebungen Freitag 24 Oktober. Fuer die Uebungen koennen Sie sich bis Freitag 17 Oktober 09:00 anmelden.

 

Veranstalter

Name Raum Tel.
Kohlenbach, UlrichS2|15 20522862
van den Berg, BennoS2|15 2302615

 

Vorlesung

TagUhrzeitin Raum
Montags13:30 - 15:10S311/08

 

Literatur

  • Dexter C. Kozen, Automata and Computability, Undergraduate Texts in Computer Science, Springer, 1997
  • J.E. Hopcroft, R. Motwani, und J.D. Ullman, Einfuehrung in die Automatentheorie, Formale Sprachen und Komplexitaetstheorie, Addison-Wesley Longman, 2003

 

Übung

Nr.Zeitin RaumbeiSprechstundein Raum
1Freitags, 08:00 - 09:40S214/208Alexander KreuzerFr 13:30S214/208
2Freitags, 08:00 - 09:40S103/252Maik ThoenerFr 8:40S103/252
3Freitags, 08:00 - 09:40S103/204Daniel RekerFr 8:00S103/204
4Freitags, 11:40 - 13:20S215/409KMateusz ParzonkaFr 11:40S215/409K
5Freitags, 11:40 - 13:20S102/330Daniel RekerFr 8:00S103/204
6Freitags, 11:40 - 13:20S115/238Maik ThoenerFr 8:40S103/252
7Freitags, 13:30 - 15:10S215/404KMateusz ParzonkaFr 11:40S215/409K
8Freitags, 13:30 - 15:10S215/51Artus RosenbuschFr 13:30S215/51
9Freitags, 13:30 - 15:10S214/208Alexander KreuzerFr 13:30S214/208
10Freitags, 08:00 - 09:40S207/109Artus RosenbuschFr 13:30S215/51
11Freitags, 08:00 - 09:40S215/201Benno van den BergDo 10:40LZM
12Freitags, 11:40 - 13:20Heiner-Lehr Zentrum 2Benno van den BergDo 10:40LZM

 

Aktuelles

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