Formale Grundlagen der Informatik I (FGI 1) - Unterstützende Lehre
M. Duvigneau
Sommersemester 2011
[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 2011.
Beratung (64-054)
Im Sommersemester 2011 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 statt. Für das Sommersemester 2011 sind folgende Zeiten geplant:
- In der Zeit von 4.4.2011 bis 10.5.2011 wird die Beratung von
L. Cabac in Raum C-204 zu folgenden Zeiten
angeboten:
- on Tuesdays, 10-12
- on Wednesdays, 9-12
- on Fridays, 10-12
- Weitere Termine nach Vereinbarung.
- In der Zeit von 11.5.2011 bis 15.7.2011 wird die Beratung von
M. Duvigneau in Raum C-202 zu folgenden Zeiten
angeboten:
- on Tuesdays, 10-12
- on Wednesdays, 9-12
- on Fridays, 10-12
- Weitere Termine nach Vereinbarung.
- In der vorlesungsfreien Zeit (Ende August - Mitte Oktober) wird die Beratung von
M. Duvigneau in Raum C-202 zu folgenden Zeiten
angeboten:
- on Tuesdays, 10-12
- Keine Beratung in der Zeit vom 18. Juli bis zum 26. August.
- Weitere Termine nach Vereinbarung.
Saalübungen (64-052)
(keine Anmeldung erforderlich)
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 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
(Zeiten geändert / 17.4.2011)- on Wednesdays, 12:00 - 13:30 Uhr, C-221
- on Fridays, 12:00 - 13:30 Uhr, C-221
Die beiden Termine sind als alternatives wöchentliches Angebot zu verstehen. In den beiden Terminen einer Woche wird ungefähr der gleiche Stoff behandelt.
Die Saalübungen werden in den ersten Wochen vertretungsweise von L. Cabac angeboten. Ab dem 11. Mai führt wieder M. Duvigneau die Saalübungen durch.
Saalübungsthemen
(vorläufige Planung)
- 6./ 8. April: Rekapitulation mathematischer Grundbegriffe und Beweistechniken (u.a. vollständige Induktion) F2 Skript Kap. 2 (Notationen und Grundbegriffe) aus dem alten F2 Sktipt
- 13./15. April: Rekursive Definitionen: transitive Hülle, Beweisen: Induktion , Automaten und Sprachen
- 20. April: Grammatiken, PDA, Pumping Lemma
- 22. April: Karfreitag
- 27./29. April: PDA / Cf-Sprachen, Intro Aussagenlogik (ASAL, LAL), Rekursive Spezifikation, Strukturelle Induktion
- 4./ 6. Mai: Semantik, Auswertung von Formeln
- 11./13. Mai: Folgerbarkeit, Kalküle
- 18./20. Mai: Syntaktische Beweisverfahren in der Aussagenlogik (Markierungsalg., Resolution)
- 25./27. Mai: Syntax und Semantik der Prädikatenlogik
- 1./ 3. Juni: Normalformbildung, Unifikation, Resolution (Prädikatenlogik)
- 8./10. Juni: Deterministische Kellerautomaten (DPDA)
- 15./17. Juni: Pfingstferien
- 22./24. Juni: kontextsensitive Grammatik: Konstruktion, Korrektheitsbeweis, Turingmaschine
- 29. Juni / 1. Juli: Überblick Entscheidbarkeit/Aufzählbarkeit, Reduktion
- 6./ 8. Juli: Komplexitätsschätzung einer TM, Probleme als Sprachen, Reduktion
- 13./15. Juli: Themen nach Wunsch
Repetitorium (64-053)
(Anmeldung erforderlich)
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. Bitte, bitte stellt jede Menge Fragen!
Hier die im Repetitorium verwendete Mind-Map zum Download (nur innerhalb des Universitätsnetzwerkes zugreifbar): FGI-1-Ueberblick.mm bzw. FGI-1-Ueberblick.pdf
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). Die Termine werden in der zweiten Semesterhälfte festgelegt und hier bekannt gegeben.
Termine der ersten Blockveranstaltung:
Das Repetitorium wird zweimal angeboten, da ein hohe Teilnehmerzahl zu erwarten ist. Bitte melden Sie sich verbindlich für einen der beiden Durchgänge an (siehe unten).
Aufgrund der Lärmentwicklung in Haus D (Renovierungsarbeiten) findet die Veranstaltung im Konrad-Zuse-Hörsaal statt.
Durchgang A:
Mo, 18.7.2011, 9:15-14:45 Uhr in B-201,
Mi, 20.7.2011, 9:15-12:15 Uhr in B-201 und
Do, 21.7.2011, 9:15-14:45 Uhr in B-201
Durchgang B:
Di, 19.7.2011, 9:15-14:45 Uhr in B-201,
Mi, 20.7.2011, 13:15-16:15 Uhr in B-201 und
Fr, 22.7.2011, 9:15-14:45 Uhr in B-201
Diese Termine sind überschneidungsfrei zu Klausurterminen am Fachbereich Informatik. Leider sind für die Klausuren anderer Fachbereiche Überschneidungen nicht auszuschließen. Sollten Sie bei beiden Durchgängen Terminkollisionen feststellen, teilen Sie dies bitte in der Anmeldungsmail (siehe unten) mit.
Themenüberblick (vorläufig):
| Durchgang A | Mo, 18.7.2011 | Mi, 20.7.2011 | Do, 21.7.2011 |
|---|---|---|---|
| 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 |
| Durchgang B | Di, 19.7.2011 | Mi, 20.7.2011 | Fr, 22.7.2011 |
|---|---|---|---|
| 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 | Aussagen-/Prädikatenlogik: Beweistechniken | mathematische Grundlagen, formale Sprachen, Sprachfamilien | Fragestunde |
| 15:15-16:15 Uhr | --- | Chomsky-Hierarchie, Automatenmodelle, Grammatiken | --- |
Termine im September:
Durchgang C:
Di, 13.9.2011, 9:15-14:45 Uhr (s.t.),
Do, 15.9.2011, 9:15-14:45 Uhr (s.t.) und
Fr, 16.9.2011, 9:15-12:15 Uhr (s.t.),
jeweils in Raum C-221.
Themenüberblick (vorläufig):
| Durchgang C | Di, 13.9.2011 | Do, 15.9.2011 | Fr, 16.9.2011 |
|---|---|---|---|
| 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 am Repetitorium teilnehmen möchten. Bitte legen Sie sich dabei auf einen der Durchgänge fest.
Der Veranstaltungsraum im Juli fasst maximal 80 Teilnehmer. Daher ist die Teilnehmerzahl beider Termine entsprechend begrenzt.
Last Change: 23:26 07/19/2011 Imprint/Disclaimer