Formale Grundlagen der Informatik I (FGI 1) - Unterstützende Lehre
M. Duvigneau
Sommersemester 2008
[Beratung], [Saalübung] und [Repetitorium]
|
|
|
|
|
Diese Seite beschreibt lediglich das unterstützende Lehrangebot zur Veranstaltung FGI1 (Logik, Automatenmodelle, formale Sprachen und Berechenbarkeit) im Sommersemester 2008. Daher an dieser Stelle je ein Link zur Webseite der Vorlesung und zu den Übungsgruppen.
Beratung
Im Sommersemester 2008 wird erstmalig semesterbegleitende Beratung zu den Übungsaufgaben geboten. Das Ziel der Beratung ist, Verständnisschwierigkeiten bei den Aufgaben zu beheben und die Eignung eingeschlagener Lösungsansätze einzuschätzen.
Es ist eventuell hilfreich, die Diskussionen zu den FGI-Themen im Fachschafts-Forum zu verfolgen.
Sprechstunden
Die Beratung findet in Form offener Sprechstunden in meinem Büro (Raum C-202) statt. Vorläufig sind folgende Sprechzeiten geplant:
- Während der Vorlesungszeit (April - Mitte Juli):
- Montags, 8-11:30 und 13-16 Uhr
- Mittwochs, 8-11:30 und 14:30-16 Uhr
- In der vorlesungsfreien Zeit (Mitte Juli - Mitte Oktober):
- Montags, 9-12 und 13-16 Uhr
- Keine Beratung in der Zeit vom 8.-28. September.
- Weitere Termine nach Vereinbarung.
Saalübungen
In den Saalübungen werden Aufgaben aus dem Vorjahr oder aus vergangenen Wochen interaktiv gelöst und Definitionen zu speziellen Schwerpunkten diskutiert und verglichen. Das Ziel der Saalübung ist es, das Verständnis der aktuellen Übungsaufgaben zu erleichtern und mögliche Lösungswege aufzuzeigen.
Saalübungstermine
Die folgenden Termine haben sich aus der Vorschlagssammlung am 2. April ergeben. Inzwischen stehen die Veranstaltungsräume fest.
- Dienstags, 12:30 - 14:00 Uhr, D-220
-
Mittwochs, 12:30 - 14:00 Uhr, D-129
Die Saalübung am Mittwoch kann vorerst nicht stattfinden, da aufgrund der hohen Teilnehmerzahl an den regulären Übungen zur gleichen Zeit am gleichen Ort mit demselben Gruppenleiter eine zusätzliche Übungsgruppe eingerichtet wird.
Saalübungsthemen
- 1./2. April: Rekapitulation mathematischer Grundbegriffe und Beweistechniken (u.a. vollständige Induktion)
- 8. April: Grundbegriffe zu Wortmengen (Sprachen), Analyse einer kontextfreien Grammatik und ihrer erzeugten Sprache
- 15. April: Konstruktion regulärer und kontextfreier Grammatiken, Grammatik der Aussagenlogik, Wahrheitswertverläufe von Junktoren
- 22. Aprill: Strukturelle Induktion, Äquivalente Formeln
- 29. April: Folgerbarkeit
- 5. Mai: Syntaktische Beweisverfahren in der Aussagenlogik
- 19. Mai: Semantik der Prädikatenlogik
- 26. Mai: Endliche Automaten
- 3. Juni: Nichtdeterministische endliche Automaten, Potenzautomatenkonstruktion, Relationen und Potenzmengen
- 10. Juni: Fällt wg. Krankheit aus!
- 17. Juni: Pumping-Lemma, Turingmaschine, kontextsensitive Grammatik
- 24. Juni: Entscheidbarkeit und Aufzählbarkeit
- 1. Juli: Sprachklassen: Hierarchie und Abschlusseigenschaften
- 8. Juli: Komplexitätsklassen, Probleme als Sprachen, NP-Vollständigkeit
Repetitorium
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.
Termine der ersten Blockveranstaltung:
Mi, 16.7.2008, 9:00-12:00 Uhr (s.t.) in C-221,
Do, 17.7.2008, 9:00-14:30 Uhr (s.t.) in D-125 und
Mo, 21.7.2008, 9:00-14:30 Uhr (s.t.) in D-125
Themenüberblick (vorläufig):
| Zeit / Tag | Mi, 16.7.2008 | Do, 17.7.2008 | Mo, 21.7.2008 |
|---|---|---|---|
| 9:00-10:30 Uhr | Aussagenlogik: Syntax, Semantik | mathematische Grundlagen, formale Sprachen, Sprachfamilien | Aussagen-/Prädikatenlogik: Beweistechniken |
| 11:00-12:00 Uhr | Prädikatenlogik: Syntax, Semantik | Chomsky-Hierarchie, Automatenmodelle, Grammatiken | Berechenbarkeit, Komplexitätsklassen |
| 13:00-14:30 Uhr | --- | Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit | Fragestunde |
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:
Di, 30.9.2008, 9:00-14:30 Uhr (s.t.),
Mi, 1.10.2008, 15:30-18:30 Uhr (s.t.) und
Do, 2.10.2008, 9:00-14:30 Uhr (s.t.),
jeweils in Raum C-221.
Themenüberblick (Zeitplan angepasst aufgrund der verschobenen ALA-Klausur):
| Zeit / Tag | Di, 30.9.2008 | Mi, 1.10.2008 | Do, 2.10.2008 |
|---|---|---|---|
| 9:00-10:30 Uhr | mathematische Grundlagen, formale Sprachen, Sprachfamilien | --- | Aussagen-/Prädikatenlogik: Beweistechniken |
| 11:00-12:00 Uhr | Chomsky-Hierarchie, Automatenmodelle, Grammatiken | --- | Berechenbarkeit, Komplexitätsklassen |
| 13:00-14:30 Uhr | Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit | --- | Fragestunde |
| 15:30-17:00 Uhr | --- | Aussagenlogik: Syntax, Semantik | --- |
| 17:30-18:30 Uhr | --- | Prädikatenlogik: Syntax, Semantik | --- |
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