 |
| Wir freuen uns über zu diesen Seiten. |
|
|
|
|
18.051 Übung: Übung zu FGI 1
Sommersemester 2008 |
| Veranstalter |
| Christopher Habel,
Matthias Jantzen,
Özgür Özçep
|
| Zeit/Ort |
|
Mi 8-10 D-129 ,
Mi 10-12 D-129,
Mi 10-12 C-104,
Mi 10-12 C-101,
Mi 12-14 C-221,
Mi 12-14 C-104,
Mi 12-14 C-101,
Mi 14-16 C-221,
Mi 14-16 C-104,
Mi 14-16 C-101
, Beginn: |
| Aktuelles |
| |
| Inhalt |
| Der Vorlesungsstoff der Modulveranstaltung 18.050 bestimmt die Inhalte und Themen der Übungsaufgaben:
Lernziel:
Kennenlernen und Erfahrung im Verwenden von
grundlegenden formalen Konzepten und Methoden, die für fast alle Teilgebiete der Informatik
wichtig sind. Erwerben und Einüben der Standardhilfsmittel für Beschreibung, Analyse,
Entwurf und Bewertung von Problemen und deren Lösung.
Vorgehen:
Begleitend zur Vorlesung sind 13
Aufgabenblätter zu bearbeiten, die im Internet zum Herunterladen zur Verfügung gestellt
werden. Jedes Blatt enthält 2-4 Aufgaben; pro Blatt sind (bei korrekter Lösung der Aufgaben)
10-12 Punkte erreichbar. Die Lösungen werden von den Übungsgruppenleiter(inne)n korrigiert
und mit Punkten bewertet.
Schriftliche Lösungen müssen rechtzeitig vor dem
Übungsgruppentermin abgegeben werden. Arbeitsgruppen von (maximal!) 2 Studierenden sind
erwünscht. 50% der insgesamt während des Semesters erzielbaren Punkte müssen für die
Bescheinigung einer erfolgreichen Teilnahme erreicht werden, wobei jeweils mindestens 20% im
Logik-Teil und 20% zu Automaten, Formale Sprachen, Berechenbarkeit erzielt wurden.
Die
aktive Teilnahme an den Übungen muss auch durch mündliche Beteiligung gezeigt werden. Dies
betrifft insbesondere die Erläuterung der Lösungen von (zur Bewertung abgegebenen)
Übungsaufgaben. Von den Teilnehmer(inne)n wird erwartet, dass sie Aufgaben, die unter ihrem
Namen abgegeben wurden, in der Übungsgruppe vorstellen und den Lösungsweg erläutern können.
Für die Bescheinigung einer erfolgreichen Teilnahme an den Übungen muss jede Teilnehmerin
/jeder Teilnehmer zweimal im Semester eine Aufgabe selbststständig erfolgreich präsentieren.
Darüber hinaus enthält jeder Aufgabenzettel eine einfache Präsenzaufgabe, deren Lösung von
jeder Teilnehmerin und jedem Teilnehmer mündlich in der Übungsgruppe erwartet wird.
Verwendbarkeit:
Die Übungsgruppen gehören zur
Vorlesung FGI-1 im Modul FGI-1. Die erfolgreiche, regelmäßige Teilnahme an den Übungen ist
Voraussetzung für die Teilnahme an der Abschlussprüfung des Moduls. Darüber hinaus gilt das
zu (18.050) Geschriebene. |
| Literatur |
|
- Vossen, Gottfried & Witt, Kurt-Ulrich (2006). Grundkurs Theoretische
Informatik. Vieweg Verlag
- Spies, Marcus (2003). Einführung in die Logik. Werkzeuge für Wissensrepräsentation
und Wissensmanagement. Spektrum, Akademischer Verlag
- Schöning, Uwe (2000). Logik für Informatiker. Spektrum, Akademischer Verlag
- Sipser, Michael (2006). Introduction to the Theory of Computation, Thomson Course Technology, Parts One and Two
|
|
|
