Website
Modulhandbuch vor 2014

Modul CS4133

Logikprogrammierung (vor 2014) (LogikPr)

Dauer:


1 Semester
Angebotsturnus:


Wird nicht mehr angeboten
Leistungspunkte:


4
Studiengang, Fachgebiet und Fachsemester:
  • Master Informatik 2012 (Wahlpflicht), Vertiefungsblock Programmierung, 2. oder 3. Fachsemester
Lehrveranstaltungen:
  • CS3055-Ü: Logikprogrammierung (Übung, 1 SWS)
  • CS3055-V: Logikprogrammierung (Vorlesung, 2 SWS)
Workload:
  • 15 Stunden Prüfungsvorbereitung
  • 60 Stunden Selbststudium und Aufgabenbearbeitung
  • 45 Stunden Präsenzstudium
Lehrinhalte:
  • Logik als Programmiersprache
  • Einführung in die Logikprogrammierung
  • Prädikatenlogische Resolution
  • Grundlagen der Logikprogrammierung
  • Datenstrukturen in der Logikprogrammierung
  • Methoden der Logikprogrammierung
  • Anwendungen der Logikprogrammierung
  • Erweiterung der Logikprogrammierung
Qualifikationsziele/Kompetenzen:
  • Kenntnis einer logischen Programmiersprache
  • Verständnis für die Grundlagen der Logikprogrammierung
  • Fähigkeit zum systematischen Entwurf von Logikprogrammen
  • Kenntnis der Einsatzgebiete für Logikprogrammierung
  • Verständnis für die Ausführung von Logikprogrammen
Vergabe von Leistungspunkten und Benotung durch:
  • Klausur oder mündliche Prüfung nach Maßgabe des Dozenten
Modulverantwortlicher:
Lehrende:
Literatur:
  • U. Schöning: Logik für Informatiker, 5. Auflage - Spektrum 2000
  • L. Sterlin, E. Shapiro: The Art of Prolog - MIT Press 1999
  • W.F. Clocksin, C.S. Mellish: Programming in Prolog - Springer 2003
  • R.A. O'Keefe: The Craft of Prolog - MIT Press 1990
  • I. Bratko: Prolog Programming for Artificial Intelligence - Addison-Wesley 2000
Sprache:
  • Englisch, außer bei nur deutschsprachigen Teilnehmern
Letzte Änderung:
17.7.2019

Modulhandbuch online

Zur Liste aller Module

Modulhandbuch als PDF