Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Formale Grundlagen der Informatik I (FGI 1) - Unterstützende Lehre


M. Duvigneau
Sommersemester 2009
[Beratung], [Saalübung] und [Repetitorium]
Deutsche Version. This page is available in German only. Cette page n'existe qu'en Allemand. Ésta página sólo existe en Alemán.


Diese Seite beschreibt lediglich das unterstützende Lehrangebot zur Veranstaltung FGI1 (Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit ) im Sommersemester 2009. Daher an dieser Stelle je ein Link zur Webseite der Vorlesung und zu den Übungsgruppen.


Beratung (64-054)

Im Sommersemester 2009 wird eine semesterbegleitende Beratung zu den Übungsaufgaben und zur Prüfungsvorbereitung geboten. Das Ziel der Beratung ist, Verständnisschwierigkeiten bei den Aufgaben zu beheben. Die Eignung eingeschlagener Lösungsansätze kann eingeschätzt werden. Konkrete Fragen zu Definitionen und Techniken im Vorlesungsstoff werden beantwortet.

Es ist mit Sicherheit hilfreich, auch die Diskussionen zu FGI-Themen im Fachschafts-Forum zu verfolgen.

Sprechstunden

Die Beratung findet in Form offener Sprechstunden in meinem Büro (Raum C-202) statt. Im Sommersemester 2009 gelten folgende Sprechzeiten:


Saalübungen (64-052)

Die Saalübung soll Unterstützung beim Verständnis des Vorlesungsstoffes und bei der Bewältigung der Übungsaufgaben geben. Der praktische Zugang zu formalen Begriffen und Techniken soll erleichtert werden.

Die in der Saalübung behandelten Themen bereiten in der Regel den Stoff der aktuellen Übungsaufgaben (Veranstaltung 64-051) auf. Je nach Bedarf erfolgt dies durch die Diskussion elementarer Begriffe und Definitionen, interaktives Lösen von Beispielaufgaben, die Erläuterung von Rechenwegen und Algorithmen oder die Klärung von Fragen zu Vorlesungsstoff und Aufgabenstellungen.

Die Saalübung stellt ein zusätzliches Angebot zur Unterstützung des Lernens im Rahmen des Moduls FGI-1 dar. Teilnahme und Äußerungen in der Saalübung werden nicht bewertet, "Fehler machen" ist ausdrücklich erlaubt.

Saalübungstermine

Saalübungsthemen


Repetitorium (64-053)

Das Repetitorium dient der Vorbereitung auf die FGI-1 Klausur und wird in der vorlesungsfreien Zeit zweimal angeboten. Das Repetitorium wird nicht die Vorlesung ersetzen, sondern interaktiv stattfinden. Daher wird davon ausgegangen, dass der Stoff der Vorlesung in den Grundzügen bekannt ist. Eine Vorbereitung der Termine ist daher unbedingt notwendig.

Repetitoriumstermine

Das Repetitorium findet jeweils als dreitägige Blockveranstaltung statt. Die Termine liegen in der ersten Semesterferienwoche (direkt vor dem ersten Klaustermin) und in einer Woche Mitte September (relativ kurz vor dem zweiten Klausurtermin).

Termine der ersten Blockveranstaltung:

Mo, 20.7.2009, 9:00-14:30 Uhr (s.t.) in D-125/D-129,
Do, 23.7.2009, 15:00-18:00 Uhr (s.t.) in D-125/D-129 und
Fr, 24.7.2009, 12:00-17:00 Uhr (s.t.) in D-125/D-129

Themenüberblick (vorläufig):

Zeit / Tag Mo, 20.7.2009 Do, 23.7.2009 Fr, 24.7.2009
9:00-10:30 Uhr Aussagenlogik: Syntax, Semantik --- ---
11:00-12:00 Uhr Prädikatenlogik: Syntax, Semantik --- 12:00-13:30 Uhr Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
13:00-14:30 Uhr Aussagen-/Prädikatenlogik: Beweistechniken --- 14:00-15:30 Uhr Berechenbarkeit, Komplexitätsklassen
--- 15:00-16:30 Uhr mathematische Grundlagen, formale Sprachen, Sprachfamilien 16:00-17:00 Uhr Fragestunde
--- 17:00-18:00 Uhr Chomsky-Hierarchie, Automatenmodelle, Grammatiken ---

Keine Anmeldung mehr möglich! Zum ersten Durchgang des Repetitoriums haben sich bereits über 60 Teilnehmer angemeldet. Da die Kapazitäten des Veranstaltungsraums (und des Veranstalters) damit erschöpft sind, können keine weiteren Anmeldungen mehr angenommen werden. Bitte haben Sie Verständnis dafür, dass unter diesen Umständen eine unangemeldete Teilnahme nicht möglich ist.

Bitte weichen Sie auf den zweiten Durchgang des Repetitoriums im September aus.

Hier die im Repetitorium verwendete Mind-Map zum Download (nur innerhalb des Universitätsnetzwerkes zugreifbar): FGI-1-Ueberblick.mm bzw. FGI-1-Ueberblick.pdf (zuletzt aktualisiert am 21.7.2008)

Termine der zweiten Blockveranstaltung:

Mo, 14.9.2009, 9:00-14:30 Uhr (s.t.),
Mi, 16.9.2009, 9:00-14:30 Uhr (s.t.) und
Fr, 18.9.2009, 9:00-12:00 Uhr (s.t.), jeweils in Raum C-221.

Themenüberblick (vorläufige Planung):

Zeit / Tag Mo, 14.9.2008 Mi, 16.9.2008 Fr, 18.9.2008
9:00-10:30 Uhr mathematische Grundlagen, formale Sprachen, Sprachfamilien Aussagenlogik: Syntax, Semantik Berechenbarkeit, Komplexitätsklassen
11:00-12:00 Uhr Chomsky-Hierarchie, Automatenmodelle, Grammatiken Prädikatenlogik: Syntax, Semantik Fragestunde
13:00-14:30 Uhr Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit Aussagen-/Prädikatenlogik: Beweistechniken ---

Bitte melden Sie sich per E-Mail bei Duvigneau[at]informatik... an, wenn Sie an dem Repetitorium teilnehmen möchten.

Letzte Änderung: 17:40 19.05.2011
Impressum