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

Lehrveranstaltung im Sommersemester 2014

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)

Termine
Vorlesung: 2 SWS Mo von 10:15 - 11:45, MZH 1380/1400, Beginn: 28.4.2014
Übungen: 2 SWS


Das Skript zur Vorlesung und die Übungsblätter sind auf der Stud.IP-Seite der Veranstaltung zu finden.


Kontakt

Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de