SS 2009 » Formale Grundlagen der Informatik I
Dr. habil. Blumensath

ÜbersichtLösungenÜbungenSkript

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 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.2009Wir 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.2009Die 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.2009Die 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.2009Die Letzte Uebungen finden am 13.5., 20.5. und 3.6. statt.
27.04.2009Wichtig: Die Uebungsgruppe von Marko Martin (Mi 14:25-16:05) findet ab jetzt in S114/265 statt.
20.04.2009Es gibt eine Zuteilung fuer die Uebungsgruppen. Bitte schauen Sie im Webreg nach in welcher Gruppe Sie eingeteilt sind.
16.04.2009Das 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.2009Die erste Vorlesung findet am 14. April und die erste Uebungen finden am 22. April statt.

 

Veranstalter

Name Raum Tel.
Blumensath, AchimS2|15 20322865
van den Berg, BennoS2|15 2302615

 

Vorlesung

TagUhrzeitin Raum
Montags15:20 - 17:00S311/006 (bis 11.05.09)
Dienstags14:25 - 16:05S306/052 (bis 09.06.09)

 

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
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:50S202/A126 (6.7.: E102)

 

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