KVV - Fachbereich Informatik - Universität Hamburg

Lernziel
Vorgehen
Literatur
Spezifikationssprachen beschrieben. Die Theorie der Berechenbarkeit untersucht, in
Verbindung mit der formalen Beschreibung von Komplexität, die Abgrenzung zwischen
effektiv Ausführbarem und prinzipiell niemals Möglichem.
Kennenlernen und Vertrautwerden mit 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.
Vorlesung; Die Veranstaltung legt großes Gewicht auf das Erlernen des Umgangs
mit formalen Methoden. Aus diesem Grund kommt den Übungen eine besondere
Bedeutung zu. Die erfolgreiche Teilnahme an den Übungen ist Voraussetzung für
die Zulassung zur studienbegleitenden Abschlussprüfung (Klausur) (siehe auch
64-051). Weitere Informationen siehe: http://www.informatik.unihamburg.de/WSV/teaching/vorlesungen/FGI1_SoSe09.php
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
LV 64-051:
Dozent/in:
Übungen zu Formale Grundlagen der Informatik I
Lawrence Cabac, Michael Duvigneau, Christopher Habel, Matthias Jantzen, Matthias
Kerzel, Özgür Özcep, Wester-Ebbinghaus
Zeit/Ort: Mi 8:15–9:45, C–221;C-101;C-104, Beginn: 08.04.09, Mi 10:15–11:45, C–
221;C-101 Beginn: 08.04.09, Di 10:15–11:45, C–221;C-101;C-104, Beginn:
07.04.09, Di 8:15–9:45, C–221;C-101;C-104, Beginn: 07.04.09, Mo 14:15–15:45,
C–221;C-101;C-104, Beginn: 06.04.09
Weitere Informationen
Kommentare/ Inhalte
Vorgehen
Literatur
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 Abschlußprüfung des Moduls.
Der Vorlesungsstoff der Modulveranstaltung 18.050 bestimmt die Inhalte und Themen
der Übungsaufgaben.
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. 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. Siehe auch: http://www.informatik.uni-hamburg.de/WSV/teaching/vorlesungen/FGI1Ue_SoSe08.php
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
LV 64-052:
Dozent/in:
FGI-Saalübung
Michael Duvigneau
Zeit/Ort: Mi 12:15–13:45, C–221, Beginn: 08.04.09
Kommentare/ Inhalte Die Saalübung stellt ein zusätzliches Angebot zur Unterstützung des Lernens im
Rahmen des Moduls FGI-2 dar. Teilnahme und Äußerungen in der Saalübung werden
nicht bewertet, "Fehler machen" ist ausdrücklich erlaubt.
Lernziel
Die Saalübung soll Unterstützung beim Verständnis des Vorlesungsstoffes und bei
der Bewältigung der Übungsaufgaben geben. Der praktische Zugang zu formalen
13