SS 2010 » Formale Grundlagen der Informatik I + II
Prof. Dr. Otto

ÜbersichtSynopsisSkriptÜbungenFolien

Aktuelles

14.10.2010Die 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.2010Die 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.2010Die 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.2010Die 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.2010In 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.2010Auch in dieser Woche faellt die Sprechstunde und die Uebung von Natalie Faber leider aus.
Bitte nehmen sie alternative Termine wahr.
09.07.2010Das 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.2010Natalie Fabers Übungsgruppe fällt diese Woche aus, bitte besuchen Sie eine der anderen Übungsgruppen.
02.07.2010Die Sprechstunde von Patrick Fongue muss heute leider ausfallen: sie wird naechste Woche nachgeholt.
29.06.2010In 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.2010Bonus zur FGdI 1: Einen Bonus für die FGdI 1 Klausur bekommt, wer mindestens 41 Punkte in den Hausübungen erreicht hat.
21.06.2010Fehler 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.2010Wir 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.2010In 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.2010Die 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.

 

Veranstalter

Name Raum Tel.
Prof. Dr. Martin OttoS2|15 20722861
Dipl.-Math. Alexander KartzowS2|15 2042215
Dipl.-Math. Alexander KreuzerS2|15 2032860
PhD Benno van den BergS2|15 2302615

 

Vorlesung

TagUhrzeitin Raum
Montags09:50 - 11:30S311/08
Dienstags14:25 - 16:05S311/08

 

Übung

Nr.Zeitin RaumbeiSprechstundein Raum
1Mittwochs, 08:00 - 09:40S103/107Julian BitterlichMo 12:00S215/345
2Mittwochs, 08:00 - 09:40S103/204Natalie FaberFr 9:50S202/A313
3Mittwochs, 08:00 - 09:40S103/125Torsten SillusFr 11:30S215/336
4Mittwochs, 08:00 - 09:40S103/121Matthias DavidMo 16:30S202/Athene
5Mittwochs, 09:50 - 11:30S214/024Alexander KartzowMo 11:40S215/204 oder 345
6Mittwochs, 09:50 - 11:30S114/169Florian BruseMo 13:00S215/345
7Mittwochs, 09:50 - 11:30S103/125Jurlind BudurushiMi 17:00S202/A213
8Mittwochs, 11:40 - 13:20S101/A2Maik ThoenerDi 13:20S215/444
9Mittwochs, 11:40 - 13:20S103/113Robert ReineckeFr 10:00S202/Athene
10Mittwochs, 11:40 - 13:20S103/112Julian MetzlerFr 10:45S202/A213
11Mittwochs, 14:25 - 16:05S114/265Holger ThiesDo 16:30S215/345
12Mittwochs, 14:25 - 16:05S103/123Alexander KreuzerFr 11:30S215/336
13Donnerstags, 16:15 - 17:55S103/312Elli JacobiDo 10:00S215/336
14Freitags, 13:30 - 15:10S103/126Oliver DietzDi 13:00S202/E102 (13. Juli: S202/A126)
15Freitags, 14:25 - 16:05S103/116Patrick FongueFr 10:00S215/415
16Mittwochs, 09:50 - 11:30S101/A2Daniel RekerMo 11:30S215/444
17Mittwochs, 11:40 - 13:20S102/36Florian BruseMo 12:00S215/345

 

Übungsbetrieb

Die Übungen stellen einen wesentlichen Bestandteil der Veranstaltung Formale Grundlagen der Informatik dar. Die Konzeption der Vorlesung wie auch der Klausur setzen regelmäßige aktive Teilnahme am Übungsbetrieb und den Hausübungen selbstverständlich voraus.
Effektive Teilnahme an den Übungen erfordert Vorbereitung: Das aktuelle Übungsblatt erscheint spätestens Dienstag Vormittag auf der Internetseite der Veranstaltung und wir gehen davon aus, dass Sie sich das Übungsblatt ausgedruckt haben und mit dem Blatt wie auch dem Stoff der Vorlesung vor Beginn der Übung vertraut sind. Zum Nachschlagen empfiehlt sich ein ausgedrucktes Exemplar des Skripts. In den Übungen sollen Sie in Gruppenarbeit die Anwesenheitsuebungen moeglichst selbständig bearbeiten. Vom Tutor erhalten Sie Hinweise, Anregungen und Unterstützung.
Auf jedem Übungsblatt wird es eine oder mehrere Hausübungen geben. Auch die aktuellen Hausaufgaben koennen in der Uebungsstunde diskutiert werden; ebenso werden ggf. alte Hausaufgaben und Loesungen nochmals besprochen.
Loesungen zu den Hausübungen sollen Sie als Hausaufgabe eine Woche nach Erscheinen des Übungsblattes in Ihrer Übungsgruppe zur Korrektur abgeben. Neben der für Sie wichtigen Rückmeldung durch Korrekturkommentare erhalten Sie Punkte, die für die Klausur als Bonus angerechnet werden können.
Zusätzlich zur Übungsgruppe stehen die Tutoren mit Sprechstunden für Fragen zu Aufgaben, Vorlesungsstoff, usw. zur Verfügung. Nutzen Sie diese Anbgebote!

 

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