Lehrveranstaltungen Sommersemester 2007

Arbeitsgruppe Mathematische Logik und Theoretisch Informatik

Grundvorlesungen	Theoretische Informatik - Prof. Klaus Ambos-Spies Mo, Mi 11-13h, OMZ (INF 350) Raum U014 (Seiteneingang) Übungen: Termine und Räume Beginn: Mo 16. April 2007 Zuordnung: Kerninformatik, Reine Mathematik Kurzbeschreibung: Die Vorlesung gibt eine Einführung in drei zentrale Gebiete der Theoretischen Informatik: 1. die Berechenbarkeitstheorie, 2. die Komplexitätstheorie sowie 3. die Automatentheorie und die Theorie Formaler Sprachen. In dem Teil über Berechenbarkeitstheorie werden Formalisierungen des Berechenbarkeitskonzepts (Turingmaschinen, Registermaschinen, rekursive Funktionen) eingeführt, die Existenz universeller Maschinen bewiesen und die Grenzen der Berechenbarkeit aufgezeigt. Die Komplexitätstheorie beschäftigt sich mit quantitativen Aspekten von Computer-Rechnungen. Es werden die Grundkonzepte dieser Theorie eingeführt und das berühmte P-NP-Problem erörtert. Im Teil über Formale Sprachen werden die verschiedenen Typen von Chomsky-Grammatiken vorgestellt, der Chomsky-Hierarchiesatz bewiesen und die Mächtigkeit der verschiedenen Konzepte durch Angabe entsprechender Automatentypen, die die jeweils darstellbaren Sprachen erkennen können, beschrieben.
Kursusvorlesungen	Randomisierte Algorithmen - Priv.-Doz. Wolfgang Merkle Mo, Do 11-13h, AM, HS 134 Beginn: Mo 16. April 2007 Zuordnung: Kerninformatik, Reine Mathematik
Seminare	Formale Sprachen Prof. Klaus Ambos-Spies Mo 16-18h, AM, HS - 106 Vorbesprechung: Mo 23. April 2007, 16.15 h, AM, HS -112 Zuordnung: Kerninformatik,Reine Mathematik Kurzbeschreibung: Es werden Themen aus dem Bereich der Theorie der Formalen Sprachen behandelt. Grundkenntnisse im Umfang der Kursusvorlesung "Formale Sprachen" werden vorausgesetzt. Anmeldung und Vergabe der Themen in der Vorbesprechung. Komplexitätstheorie Priv.-Doz. Wolfgang Merkle Zeit und Raum n.V. Vorbesprechung: Mo 23. April 2007, 17.15 h, AM, HS -112 Zuordnung: Kerninformatik, Reine Mathematik
Proseminare	Theoretische Informatik Prof. Klaus Ambos-Spies Mo 16-18h, AM, HS - 106 Vorbesprechung: Mo 16. April 2007, 16.15 h, AM, HS -106 Zuordnung: Kerninformatik, Reine Mathematik Kurzbeschreibung: Das Proseminar baut auf der Vorlesung “Theoretische Informatik (Informatik IV)” auf. Es werden Themen zu den Bereichen Berechenbarkeit, Komplexität und Formale Sprachen behandelt. Grundlage ist das Lehrbuch “Theoretische Informatik - kurzgefasst” von Uwe Schöning.
Oberseminar	Mathematische Logik und Theoretische Informatik Prof. Ambos-Spies, Priv.-Doz. Merkle Di 16-18h, AM, HS 134 Beginn und Themen: siehe Aushang bei Zimmer 015 Zuordnung: Kerninformatik, Reine Mathematik Kurzbeschreibung: Im Oberseminar werden aktuelle Arbeiten aus den Bereichen Mathematische Logik und Theoretische Informatik in Einzelvorträgen vorgestellt. Die Teilnahme am Oberseminar wird insbesondere den Studenten empfohlen, die ihren Studienschwerpunkt auf dieses Gebiet legen wollen.

Seitenbearbeiter: Felicitas Hirsch