Lehrveranstaltung im Sommersemester 2012
Theoretische Informatik 2
Bachelor-Pflichtmodul in Theoretischer Informatik
VAK 03-BA-601.02, ECTS 6, Modulbereich Theoretische Informatik (ECTS: 6 CP), 2+2 SWS
Die Lehrveranstaltung beginnt mit einer Einführung in die Komplexitätstheorie. Dabei
geht es vor allem um die Frage, wie schnell Lösungen von Datenverarbeitungsproblemen
ausführbar sind. Für diesen Zweck wird die formale Spezifikationssprache CE-S eingeführt,
die es erlaubt, Algorithmen auf Zeichenketten zu modellieren, als korrekt nachzuweisen
und ihren Berechnungsaufwand zu ermitteln. Außerdem werden grundlegende Probleme
der Berechenbarkeit, wie sie aus Theoretischer Informatik 1
bekannt sind, aufgegriffen und näher behandelt. Insbesondere spielt das Wortproblem eine
wichtige Rolle, und es werden drei Berechnungsmodelle (while-Programmierung, CE-S und
Turing- Maschinen) miteinander verglichen.
Veranstalter: Hans-Jörg Kreowski (kreo@informatik.uni-bremen.de)
TutorInnen
-
Marcus Ermler (maermler@informatik.uni-bremen.de)
Hans-Jörg Kreowski (kreo@informatik.uni-bremen.de)
Sabine Kuske (kuske@informatik.uni-bremen.de)
Melanie Luderer (melu@informatik.uni-bremen.de)
Thomas Schneider
Das Skript zur Vorlesung und die Übungsblätter sind auf der Stud.IP-Seite der Veranstaltung zu finden.
Kontakt
- Prof. Dr. Hans-Jörg Kreowski
Raum: OAS 3001
kreo@informatik.uni-bremen.de
Dr. Sabine Kuske
Raum: OAS 3005
kuske@informatik.uni-bremen.de
Mail Address
University of Bremen
Dept. for Math. &
Computer Science
P.O. Box 330 440
28334 Bremen
Germany
Physical Address
Linzer Strasse 9a
OAS 3002
28359 Bremen
Phone
++49(421)218 64450
Fax
++49 (421)218 64459
Email (Secr.)
Helga Reinermann
helga@tzi.de
