Formale Grundlagen der Informatik I (FGI 1) - Unterstützende Lehre
M. Duvigneau
Sommersemester 2009
[Beratung], [Saalübung] und [Repetitorium]
|
|
|
|
|
Diese Seite beschreibt lediglich das unterstützende Lehrangebot zur Veranstaltung FGI1 ( Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability (German only) ) 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:
- Während der Vorlesungszeit (April - Mitte Juli):
- on Tuesdays, 10-12 Uhr
- on Wednesdays, 10-12 Uhr
- In der vorlesungsfreien Zeit (Mitte August - Mitte Oktober):
- on Tuesdays, 10-12 Uhr
- Keine Beratung in der Zeit vom 27. Juli-21. August.
- Weitere Termine nach Vereinbarung.
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
- on Wednesdays, 12:00 - 13:30 Uhr, C-221
- on Tuesdays, 12:00 - 13:30 Uhr, D-129 (regelmäßiger zusätzlicher Termin ab 28.4.2009)
Saalübungsthemen
- 8. April: Rekapitulation mathematischer Grundbegriffe und Beweistechniken (u.a. vollständige Induktion)
- 15. April: Grundbegriffe zu Wortmengen (Sprachen), Analyse einer kontextfreien Grammatik und ihrer erzeugten Sprache
- 22. April: Strukturelle Induktion, wohlgeformte Formeln, Präfixmengen
- 28./29. April: Belegungen, Auswertung, Junktoren, Äquivalenz
- 5./6. Mai: Folgerbarkeit
- 12./13. Mai: Syntaktische Beweisverfahren in der Aussagenlogik
- 19./20. Mai: Syntax und Semantik der Prädikatenlogik
- 26./27. Mai: Prädikatenlogische Resolution
- 9./10. Juni: Endliche Automaten, Potenzautomatenkonstruktion
- 16./17. Juni: ε-FA oder Pumping-Lemma oder Verfahren von Kleene oder Äquivalenzumformungen auf Wortmengen
- 23./24. Juni: Überblick Sprachfamilien, Beweistechniken zur Einordnung von Sprachen
- 30.6./1.7.: Turingmaschine, Typ-0-Grammatik und Aufzählbarkeit
- 7./8. Juli: Probleme als Sprachen, Entscheidbarkeit, Halteproblem
- 14./15. Juli: Komplexitätsklassen/Sprachfamilien: Hierarchie und Abschlusseigenschaften
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.
Last Change: 17:40 05/19/2011 Imprint/Disclaimer