|
Veranstalter
|
|
Carola Eschenbach,
Michael Köhler-Bußmeier,
Michael Duvigneau,
Stefan Heinrich,
Matthias Kerzel,
Michael König,
Felix Lindner,
Daniel Moldt,
Isabelle Streicher,
Matthias Wester-Ebbinghaus
|
|
Zeit/Ort
|
|
Di 10-12 F-235 Stefan Heinrich,
Di 10-12 F-534 Erich Flick / Julia Fix,
Di 10-12 D-220 Clawes Dubbles,
Di 10-12 D-129 Christopher Bartz,
Di 10-12 D-125 Alexander Moehrs,
Di 12-14 D-220 Isabelle Streicher,
Di 12-14 D-125 Michael Duvigneau / Lawrence Cabac,
Di 12-14 D-129 Christopher Bartz,
Di 14-16 D-129 Michael König,
Di 16-18 f-235 Stefan Heinrich,
Di 16-18 C-104 Michael König,
Mi 08-10 C-221 Matthias Wester-Ebbinghaus,
Mi 10-12 C-101 Daniel Moldt,
Mi 10-12 C-221 Matthias Wester-Ebbinghaus,
Mi 10-12 F-534 Felix Lindner / Carola Eschenbach,
Mi 12-14 C-101 Felix Kiehn,
Mi 12-14 C-104 Dorle Osterode,
Mi 12-14 D-129 Mehdi Sajjadi,
Mi 12-14 F-534 Michael Haustermann,
Do 10-12 D-125 Marlo Häring,
Do 10-12 F-334 Matthias Kerzel,
Fr 10-12 D-125 Michael Köhler-Bußmeier,
Fr 10-12 D-129 Christian Baumann
|
|
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
|
|
|
