University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH

Theoretische Informatik 1: Endliche Automaten und formale Sprachen (Wintersemester 2012/2013)



Gibt es Möglichkeiten, zuverlässig festzustellen, dass die für ein Datenverarbeitungsproblem entwickelte Lösung wirklich die gestellte Aufgabe bearbeitet und auch anderen vorgegebenen Anforderungen (wie z. B. eine schnelle Laufzeit) genügt? In der Theoretischen Informatik werden derartige Fragen mit Hilfe mathematischer Methoden beantwortet. Die Lehrveranstaltung Theoretische Informatik 1 zeigt das exemplarisch. Es wird in die Theorie endlicher Automaten und formaler Sprachen eingeführt, die neben der Berechenbarkeitstheorie und der Komplexitätstheorie, wie sie in der Lehrveranstaltung Theoretische Informatik 2 behandelt werden, zu den klassischen und gut untersuchten Gebieten der Theoretischen Informatik gehören. Ein wichtiger Gegenstand sind Mengen von Zeichenketten, wie z. B. die Menge aller syntaktisch korrekten Programme einer Programmiersprache oder die Menge aller zulässigen Ereignissequenzen in einem technischen System. Es geht vor allem um Instrumente, mit denen solche Mengen beschrieben und Zeichenketten als Elemente solcher Mengen erkannt werden können, die also insbesondere bei der Definition und Übersetzung von Programmiersprachen und der Kontrolle technischer Systeme Verwendung finden.

VAK 03-BA-601.01

(ECTS: 6)

Termine

    Vorlesung: 2 SWS Mo von 14:15 - 15:45 MZH 1380/1400 (Die erste Vorlesung findet am 15.10. statt.)

    Übungen: 2 SWS (Beginn: 22.10.2012)
      Mo von 16:15 - 17:45 MZH 1100 (Leif Sabellek)
      Di von 08:30 - 10:00 MZH 1110(Thomas Schneider)
      Di von 16:15 - 17:45 MZH 1100 (Thomas Schneider)
      Mi von 08:30 - 10:00 MZH 1100 (Sabine Kuske)
      Mi von 10:15 - 11:45 MZH 1100 (Sabine Kuske)
      Mi von 12:15 - 13:45 MZH 1110 (Helmar Hutschenreuter)
      Mi von 12:15 - 13:45 MZH 7220 (Manuel Schubert)
      Do von 10:15 - 11:45 MZH 1100 (Melanie Luderer)
      Do von 14:15 - 15:45 MZH 1460 (Hans-Jörg Kreowski)

TutorInnen


Materialien und Übungsblätter sind auf der Stud.IP-Seite der Veranstaltung unter Dateien zu finden.


Kontakt
Prof. Dr. Hans-Jörg Kreowski
Raum: OAS 3001
kreo@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