| Professoren: | Prof. Dr. J. Adámek | ||
| Prof. Dr. D. Wätjen | |||
| Akad. Rat: | Dr. J. Koslowski |
Mühlenpfordtstraße 23, 3. OG, Tel.: (0531) 391-9522
Dem Institut angeschlossen:
Abteilung Entwurf integrierter Schaltungen (siehe 4.2)
A. Arbeitsgebiete
Hardwareausstattung: Mehrere SUN-Sparc-Workstations, 22 PC-Arbeitsplatzrechner
B. Lehrangebot und Prüfung im Hauptstudium
In der Vorlesung ,,Algebraische Spezifikation`` werden Methoden der universellen Algebra, die in der Theoretischen Informatik angewendet werden, dargestellt. Hierauf aufbauend geht die Vorlesung ,,Coalgebraische und kategorielle Methoden in der Informatik`` auf Anwendungen der Kategorientheorie in der Semantik ein. Im Zusammenhang mit der immer stärkeren Vernetzung von Rechnern ist der Schutz von Daten vor unerlaubtem Zugriff ein wichtiges Problem. In der Vorlesung ,,Kryptologie I`` werden die Grundlagen dieser Techniken erläutert, die im Kryptologie-Praktikum praktisch angewendet und in der Vorlesung ,,Kryptologie II`` vertieft werden können. Die Vorlesung ,,Automatentheorie und Formale Sprachen`` baut auf den Grundlagen auf, die in der Vorlesung Theoretische Informatik 1 im Grundstudium gelegt wurden. Diese Theorie ist u.a. bei der Spezifikation und Syntaxanalyse von Programmiersprachen nützlich. Weitere Spezialvorlesungen, z.B. über Lindenmayer-Systeme, Komplexitätstheorie, Berechenbarkeit und Entscheidbarkeit werden von Zeit zu Zeit angeboten.
Als Prüfungsstoff der Prüfung Theoretische Informatik sind Vorlesungen im Umfang von 12 Semesterwochenstunden auszuwählen. Bei erfolgreicher Absolvierung des Kryptologie-Praktikums kann der Prüfungsstoff entsprechend beschränkt werden. Nähere Einzelheiten sind mit dem jeweiligen Prüfer (Adámek, Wätjen) abzusprechen.
C. Studentische Arbeiten
Es werden Studien- und Diplomarbeiten aus folgenden Bereichen vergeben:
Semantik von Programmiersprachen, Coalgebraische und kategorielle Methoden in der Informatik, Kryptologie, Theorie der formalen Sprachen, Automatenthorie (zumeist theoretische Arbeiten).
Genauere Auskünfte sind im Institut erhältlich.