SS 2008 » Formale Grundlagen der Informatik II
Prof. Dr. Otto

ÜbersichtForumÜbungenLösungenFolienSkript

Aktuelles

01.10.2008Die Klausurergebnisse für FGdI 2 hängen jetzt im Schaukasten neben Raum S215/209 aus. Die Klausureinsicht findet am Fr. 17.10. um 14:00 in Raum S215/201 statt. Information betriffende die Wiederholungsklausuren FGdI 1 und Inf C, findet man auf die FGdI 1 Webseite
03.09.2008Freitag 5. September findet die Klausur statt von 14:00-15:30. Die Räume sind:
A - HeiS206/030
Hej - OS311/08
P - SchS202/C205
Sci - ZS206/051
Alle schriftliche Unterlagen sind erlaubt. Information betriffende die Wiederholungsklausuren FGdI 1 und Inf C, findet man auf die FGdI 1 Webseite.
27.08.2008Am 1. und 2. September gibt es nachmittags extra Sprechstunden.
TerminRaumTutor
Mo 14:00-17:00S103/112Alexander Kreuzer
Mo 14:00-17:00S103/107 Pavol Safarik
Mo 14:00-17:00S103/109 Kai Rathmann
Di 14:00-17:00S103/112 Artjom Kochtchi
Di 14:00-17:00S103/109 Steffen Lortz
Di 14:00-17:00S103/104 Anne-Christine Karpf (entgültig!)
05.08.2008Wer daran interessiert nächstes Semester einen Job als Tutor zu machen am Fachbereich Mathematik, verfolge diese link. Wer besonders daran interessiert ist, einen Job als Tutor für Formale Grundlagen I zu machen, kann sich auch bei Benno van den Berg melden.
17.06.2008Nächste Woche gibt es keine Übungen. Statt dessen gibt es am Mittwoch 25.6. zwei Veranstaltungen worin die Lösungen für die Hausaufgaben vorgerechnet werden. Es gibt zwei mögliche Termine (nach Auswahl): 8:00-9:40 und 11:40-13:20. Der Raum ist S103/23.
05.06.2008Wegen der letzten Hausübung organisieren die Tutoren extra Sprechstunden:
TutorTerminRaum
Anne-Christine Karpf Fr 20.6., 15:20-18:00 S215/201
Artjom Kochtchi Do 19.6., 13:30-15:10 S103/12 (sei bitte pünktlich!)
Alexander Kreuzer Mo 9+16.6., 11:40-13:20 S215/415,7
Steffen Lortz Di 10+17.6., 9:50-11:30 S215/K204
Kai Rathmann Fr 13+20.6., 16:15-17:55 S103/116
Pavol Safarik Fr 13.6., 16:15-17:55 S103/209
15.05.2008Wichtig: Die Übungen von Gruppe 2 (Steffen Lortz) finden ab nächste Woche in S103/121 statt. Noch immer am Mittwoch 8:00-9:40.
15.05.2008Wegen Fronleichnam findet die Übung von Gruppe 10 (Anne-Christine Karpf) nächste Woche am Mittwoch 21.5. statt von 15:20-17:00 in Raum S306/053. Sie können auch eine der anderen Gruppen besuchen.
05.05.2008Diese Woche gibt es keine Übungen. Statt dessen gibt es am Mittwoch 7.5. zwei Veranstaltungen worin die Lösungen für die Hausaufgaben vorgerechnet werden. Es gibt zwei mögliche Termine (nach Auswahl): 8:00-9:40 und 11:40-13:20. Der Raum ist S103/23.
30.04.2008Die Übung (Gruppe 10) die diese Woche am Donnerstag 16:15-17:55 statt finden soll wird nach Freitag 15:20-17:00 verlegt (Raum S215/201). Anders können Sie eine der anderen Gruppen besuchen.
07.04.2008Es gibt eine Zuteilung für die Übungsgruppen.Schauen Sie im Webreg nach wann und wo Sie eingeteilt sind.
07.04.2008Die ersten Übungen finden diese Woche statt. Der erste Aufgabenzettelsteht jetzt im Netz.
07.04.2008Die Ergebnisse der Informatik C Klausur hängen im Moment auch aus.Für weitere Informationen wenden Sie sich bitte zu Herrn Wach (Fachbereich Informatik).
04.04.2008Vergessen Sie nicht, sich via Webreg für die Übungsgruppen anzumelden! Deadline ist Montag um 9:00.
03.04.2008Die ersten Gruppenübungen finden nächste Woche (ab Mittwoch) statt. Anfang nächste Woche können Sie auch im Webreg sehen in welcher Gruppe sie eingeteilt sind. Die erste Hausübung steht hoffentlich ende diese Woche im Netz. Erfolgreiche Teilnahme an Übungen und Hausübungen gibt Recht auf einen Klausurbonus.
03.04.2008Für die Sommeranfänger findet ab Montag einEinführungs/Ergänzungs-Kurs zu FGdI statt. Ziel ist es, bekannt zu machen mit den elementaren mathematischen Sprechweisen und Techniken(Kapitel 1 im Skript der FGdI1).Wir fangen an Montag 07.04 um 8:00-9:40 in S103/223.Veranstalter: A.Kartzow/M.Otto
02.04.2008Die Ergebnisse der Formale Grundlagen I Klausur hängenim Moment in den Schaukasten neben Raum S215/209 aus. Klausureinsicht ist am 14.04.08 in Raum S215/201, 14:00-14:30 (Nachnamen A-G), 14:30-15:00 (Nachnamen H-L), 15:00-15:30 (Nachnamen M-R), 15:30-16:00 (Nachnamen S-Z). Kandidaten für eine mündliche Nachprüfungen melden sich bitte wegen eines Termins bei Prof. Kohlenbach.
01.04.2008Die Ergebnisse der Formale Grundlagen II (PO 2003/04) hängenim Moment in den Schaukasten neben Raum S215/209 aus. Kandidaten für eine mündliche Nachprüfungen melden sich bitte wegen eines Termins bei Prof. Otto.
27.03.2008Die ersten Übungen finden in der zweiten Semesterwoche statt.

 

Veranstalter

Name Raum Tel.
Prof. Dr. Martin OttoS2|15 20722861
PhD Benno van den BergS2|15 2302615

 

Literatur

  • Burris: Logic for Mathematics and Computer Science, Prentice-Hall 1998.
  • Ben-Ari: Mathematical Logic for Computer Science, Springer 1993.
  • Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik, Spektrum 2007.
  • Schoening: Logik für Informatiker, Spektrum 2000.

 

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

Albrun Knof

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