|
Veranstalter
|
|
Christopher Habel,
Matthias Jantzen,
Felix Lindner,
Matthias Kerzel,
Isabelle Streicher,
Frank Heitmann,
Michael Duvigneau,
Michael Köhler-Bußmeier,
Matthias Wester-Ebbinghaus,
Daniel Moldt,
Christian Bähnisch
|
|
Zeit/Ort
|
|
Di 10-12 D-125,
Di 10-12 C-101,
Di 10-12 F-534,
Di 12-14 D-220,
Di 12-14 D-125,
Di 12-14 D-129,
Di 14-16 C-101,
Di 14-16 D-129,
Di 16-18 C-101,
Di 16-18 C-104,
Mi 08-10 F-634,
Mi 08-10 C-221,
Mi 10-12 C-101,
Mi 10-12 C-215,
Mi 10-12 C-104,
Mi 10-12 C-221,
Mi 12-14 C-101,
Mi 12-14 C-104,
Mi 12-14 C-221,
Fr 10-12 D-125
|
|
Aktuelles
|
|
Klausurterminseite des Studienbüros Informatik
Die zweite Klausur findet am Donnerstag den 7.10.2010 im Audimax 1 statt. Einlass um 9:15, Beginn 9:30.
Übungsaufgaben zur Prüfungsvorbereitung
|
|
Inhalt
|
|
Der Vorlesungsstoff der Modulveranstaltung 64-050 bestimmt die Inhalte und Themen der Übungsaufgaben.
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.
Vorgehen:
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.
|
|
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
|
|
Links
|
|
- Hinweise zur Vorlesung FGI 1 sind hier zu finden.
- Informationen zu den Saalübungen von M. Duvigneau sind hier zu finden.
- Zum MIN-CommSy Raum CommSy
|
