Lehrangebot Automaten und Sprachen Universität / IfI-HomePage / A&S-HomePage


Automaten und Sprachen

Lehrangebot Wintersemester 1996/97

Durchgeführte Lehrveranstaltungen: Sommersemester 1996


Überblick über die Lehrveranstaltungen Wintersemester 1996/97


Algebraische Spezifikation

Hartwig, R.

Teilnehmerkreis:
Studenten der Informatik und Mathematik im Hauptstudium, die sich für Fragen der Theoretischen Informatik interessieren

Übersicht:

Bei der Software-Entwicklung gehört heute die Nutzung und der Entwurf von abstrakten Datentypen gewissermaßen zum Handwerkszeug des Programmentwicklers. Deshalb findet sich auch bereits in manchem Grundkurs Informatik ein Abschnitt über abstrakte Datentypen. Letztlich aber kann man den Begriff des abstrakten Datentyps (ADT) und die Methoden der Spezifikation von ADT erst verstehen, wenn man wenigstens einen Teil des Apparats der Universellen Algebra beherrscht.

Die Vorlesung führt in die algebraischen Methoden der Software-Spezifikation, speziell der abstrakten Datentypen, ein. Algebraische Konzepte werden dabei in dem Umfang behandelt, in dem sie für die jeweilige Fragestellung gebraucht werden.

Mehr als auf die zugrundeliegenden Sätze und Beweise soll auf die Motivation und anschauliche Beispiele Wert gelegt werden, ohne der Exaktheit der Begriffe und Darstellungen Abbruch zu tun.

Wesentliche Stichworte zum Inhalt der Vorlesung sind:

Heterogene Algebren, Gleichungstheorie, Gleichungsspezifikationen, Initiale Semantik, Gleichungskalkül und Induktion, Erweiterungen von Spezifikationen, Finale und andere Semantiken, Korrektheit von Spezifikationen, Implementierungen von Gleichungs-spezifikationen.

Literatur:

Erwartete Vorkenntnisse:
Nützlich, aber nicht unbedingt erforderlich, sind Kenntnisse zu algebraischen Grundlagen der Informatik (d.h., Grundkenntnisse in der Universellen Algebra).

Scheinvergabe: bei regelmäßigem Vorlesungsbesuch

Sonstiges:
Nach Abschluß der Vorlesung können interessierte Hörer das Vorlesungsskript erhalten.


Digitale Informationsverarbeitung

Gerber, S.

Teilnehmerkreis:
Obligatorische Vorlesung im Grundstudium für Informatiker, Wirtschaftsinformatiker, Magister-, Haupt- und Nebenfach

Übersicht:

Die Vorlesung führt ein in die Grundlagen der Informatik. Ausgehend von den Grundanliegen der Informatik und der historischen Entwicklung ihrer Gegenstände werden grundlegende Begriffe wie Algorithmus, Informationsdarstellung, Rechner und Programmierung einführend behandelt. Die Grundelemente von Programmiersprachen und deren Anwendung werden an einfachen Beispielen illustriert.

Gliederung:

  1. Einführung
  2. Grundlagen von Algorithmen
  3. Digitale Informationsdarstellung
  4. Digitale Rechner und Programme
  5. Datenstrukturen und Operationen
  6. Programmstrukturen und Sprachen

Literatur:

Erwartete Vorkenntnisse: keine

Scheinvergabe: Übungen und Klausur


Formale Sprachen

Gerber, S.

Teilnehmerkreis:
Wahlobligatorische Vorlesung zu den Schwerpunkten Theoretische und Praktische Informatik, Magister-HF im Hauptstudium

Übersicht:

  1. Grammatiken, Sprachen und Normalformen
  2. Berechenbare Sprachen und Turing-Automaten
  3. Kontextabhängige Sprachen und Linear-beschränkte Automaten
  4. Abschlußeigenschaften Formaler Sprachen
  5. Entscheidbare und unentscheidbare Probleme

Literatur: