 |
| Wir freuen uns über zu diesen Seiten. |
|
| Letzte Änderung:
17.01.2013 |
|
|
|
18.005 Übung: Übung zu FGI 1
Sommersemester 2007 |
| Veranstalter |
| Christopher Habel,
Özgür Özçep,
Peer Stelldinger,
Hans Meine,
Lawrence Cabac,
Sören Glimm,
Stephan Heckmüller,
Thomas Kopinski,
Marc Päpper,
Patrick Totzke,
Georg Zetzsche
|
| Zeit/Ort |
|
Mi 8-10 C-101 Özçep,
Mi 8-10 C-104 Kopinski,
Mi 10-12 C-101 Özçep,
Mi 10-12 C-104 Habel,
Mi 10-12 C-221 Cabac,
Mi 10-12 D-129 Meine,
Mi 12-14 C-221 Heitmann,
Mi 12-14 C-104 Stelldinger,
Mi 12-14 C-221 Totzke,
Mi 14-16 C-101 Päpper,
Mi 14-16 C-104 Glimm,
Mi 16-18 C-101 Zetzsche,
Mi 16-18 C-104 Heckmüller
|
| Aktuelles |
| Die Anmeldung zu den Übungsgruppen erfolgt über STINE |
| KVV-Eintrag |
| Inhalt |
| Der Vorlesungsstoff der Modulveranstaltung 18.004 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 I. 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.004) Geschriebene. |
| Literatur |
|
- Vossen, Gottfried & Witt, Kurt-Ulrich (2006). Grundkurs Theoretische
Informatik. Vieweg Verlag. (ca. 29,90 Euro)
- Spies, Marcus (2003). Einführung in die Logik. Werkzeuge für Wissensrepräsentation
und Wissensmanagement. Spektrum, Akademischer Verlag. (ca. 20,50 Euro)
- Schöning, Uwe (2000). Logik für Informatiker. Spektrum, Akademischer Verlag. (ca.
20,00 Euro).
|
|
|
