Institut für Informatik III
Universität Bonn

Datenbanken * Informationssysteme * Softwaretechnologie * Computergrafik * Mustererkennung * Bildverarbeitung * Künstliche Intelligenz * Robotik

Gliederung der Vorlesung im SS 98

1. Motivation und Einführung
2. Grundlagen aus der Logik
   1. Syntax
   2. Semantik
   3. Normalformen
   4. Ableitbarkeit
3. Logische Programmierung
   1. Begriffsbestimmung und Übersicht
   2. Programmieren mit Hornklauseln und Herbrandtermen
      1. Arithmetik mit Herbrandtermen
      2. Resolution und Unifikation
      3. Listen als Herbrandterme
      4. SLD-Resolution
      5. Negation in logischen Programmen
   3. Prolog
   4. Constraint Logic Programming
4. Funktionale Programmierung
   1. Grundlagen der funktionalen Programmierung
   2. Der Lambda-Kalkül
   3. Funktionale Programmiersprachen
      1. LISP und Scheme
      2. Standard ML
      3. Miranda und Haskell
5. Funktional-logische Programmierung
6. Deskriptive Sprachen in anderen Bereichen der Informatik
   1. Wissensrepräsentationssprachen in der KI
   2. Deskriptive Anfrage- und Regelsprachen für Datenbanken
   3. Phoenix - eine Multiparadigmen-Programmiersprache