Formale Grundlagen der Informatik I (FGI 1) - Unterstützende Lehre
M. Duvigneau
Sommersemester 2010
[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 2010. Daher an dieser Stelle je ein Link zur Webseite der Vorlesung und zu den Übungsgruppen.
Beratung (64-054)
Im Sommersemester 2010 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 2010 gelten folgende Sprechzeiten:
- In der vorlesungsfreien Zeit (Mitte August - Mitte Oktober):
- on Tuesdays, 10-12
- Keine Beratung am 21. September.
- 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 Fridays, 12:15 - 13:45 Uhr, C-221
Saalübungsthemen
- 9. April: Rekapitulation mathematischer Grundbegriffe und Beweistechniken (u.a. vollständige Induktion)
- 16. April: Grundbegriffe zu Wortmengen (Sprachen), Analyse einer kontextfreien Grammatik und ihrer erzeugten Sprache (Induktion)
- 23. April: Strukturelle Induktion, Auswertung von Formeln, Äquivalenzbegriffe
- 30. April: Belegungen, Auswertung, Äquivalenz, Folgerbarkeit
- 7. Mai: Syntaktische Beweisverfahren in der Aussagenlogik (Kalküle, Markierungsalg.)
- 14. Mai: Syntax und Semantik der Prädikatenlogik
- 21. Mai: Resolution (Aussagen- und Prädikatenlogik)
- 4. Juni: Zustandsmodellierung (mathematische Techniken)
- 11. Juni: Endliche Automaten, Potenzautomatenkonstruktion
- 18. Juni: ε-FA oder Pumping-Lemma oder Verfahren von Kleene oder Äquivalenzumformungen auf Wortmengen
- 25. Juni: Überblick Sprachfamilien, Beweistechniken zur Einordnung von Sprachen
- 2. Juli: Turingmaschine, uvwxy-Theorem
- 9. Juli: Probleme als Sprachen, Entscheidbarkeit, Reduktion
Repetitorium (64-053)
Das Repetitorium dient der Vorbereitung auf die FGI-1 Klausur und wird in der vorlesungsfreien Zeit zweimal angeboten. Im Repetitorium wird nicht der gesamte Stoff wiederholt werden können, sondern nur Auszüge daraus. Zudem soll das Repetitorium nicht eine zweite Vorlesung darstellen, 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.
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)
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).
Der Repetitoriumstermin im September wird um zwei Tage vorverlegt!
Termine der ersten Blockveranstaltung:
Do, 15.7.2010, 9:15-14:45 Uhr in D-125/D-129,
Fr, 16.7.2010, 9:15-12:15 Uhr in D-125/D-129 und
Mo, 19.7.2010, 9:15-14:45 Uhr in D-125/D-129
Diese Termine sind überschneidungsfrei zu Klausurterminen am Department Informatik. Leider sind für die Klausuren anderer Departments Überschneidungen nicht auszuschließen. Sollte für Sie eine Terminkollision bestehen, prüfen Sie bitte, ob Sie nicht zum Überlauftermin wechseln können (s.u.) und teilen dies per E-Mail an Michael Duvigneau (Adresse s.u.) mit.
Themenüberblick (vorläufig):
| Zeit / Tag | Do, 15.7.2010 | Fr, 16.7.2010 | Mo, 19.7.2010 |
|---|---|---|---|
| 9:15-10:45 Uhr | Aussagenlogik: Syntax, Semantik | mathematische Grundlagen, formale Sprachen, Sprachfamilien | Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit |
| 11:15-12:15 Uhr | Prädikatenlogik: Syntax, Semantik | Chomsky-Hierarchie, Automatenmodelle, Grammatiken | Berechenbarkeit, Komplexitätsklassen |
| 13:15-14:45 Uhr | Aussagen-/Prädikatenlogik: Beweistechniken | --- | Fragestunde |
Zur Anmeldung siehe weiter unten.
Überlauftermine der ersten Blockveranstaltung:
Fr, 16.7.2010, 13:15-16:15 Uhr in D-125/D-129 und
Di, 20.7.2010, 9:15-14:45 Uhr in D-125/D-129,
Mi, 21.7.2010, 9:15-14:45 Uhr in D-125/D-129
Aufgrund der starken Nachfrage wird die erste Blockveranstaltung ein zweites Mal angeboten. Diese Termine sind leider nicht überschneidungsfrei zu Klausurterminen am Department Informatik. Wer aus Platzgründen nur zum Überlauftermin angenommen wurde und eine Terminkollision mit einer Klausur nachweisen kann, melde sich bitte per Mail bei Michael Duvigneau (Adresse s.u.).
Themenüberblick (vorläufig):
| Zeit / Tag | Fr, 16.7.2010 | Di, 20.7.2010 | Mi, 21.7.2010 |
|---|---|---|---|
| 9:15-10:45 Uhr | --- | Aussagenlogik: Syntax, Semantik | Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit |
| 11:15-12:15 Uhr | --- | Prädikatenlogik: Syntax, Semantik | Berechenbarkeit, Komplexitätsklassen |
| 13:15-14:45 Uhr | mathematische Grundlagen, formale Sprachen, Sprachfamilien | Aussagen-/Prädikatenlogik: Beweistechniken | Fragestunde |
| 15:15-16:15 Uhr | Chomsky-Hierarchie, Automatenmodelle, Grammatiken | --- | --- |
Termine der zweiten Blockveranstaltung:
Der Repetitoriumstermin wird um zwei Tage vorverlegt! Die neuen Termine lauten wie folgt:
Mi, 15.9.2010, 9:15-14:45 Uhr (s.t.),
Do, 16.9.2010, 9:15-14:45 Uhr (s.t.) und
Fr, 17.9.2010, 9:15-12:15 Uhr (s.t.),
jeweils in Raum C-221.
Zum Ausgleich für die kurzfristige Terminverschiebung biete ich am 29.9.2010 eine längere Fragestunde an: Zwischen 10 und 12 sowie zwischen 13 und 15 Uhr stehe ich in Raum C-215 für Fragen zur Verfügung.
Themenüberblick (vorläufige Planung):
| Zeit / Tag | Mi, 15.9.2010 | Do, 16.9.2010 | Fr, 17.9.2010 |
|---|---|---|---|
| 9:15-10:45 Uhr | mathematische Grundlagen, formale Sprachen, Sprachfamilien | Aussagenlogik: Syntax, Semantik | Berechenbarkeit, Komplexitätsklassen |
| 11:15-12:15 Uhr | Chomsky-Hierarchie, Automatenmodelle, Grammatiken | Prädikatenlogik: Syntax, Semantik | Fragestunde |
| 13:15-14:45 Uhr | Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit | Aussagen-/Prädikatenlogik: Beweistechniken | --- |
Anmeldung zum Repetitorium
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