This page in English  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH

Logikprogrammierung

(V3 bzw. 4 + Ü2, WS 2010/11)

LuFG Informatik 2

Details und aktuelle Informationen finden Sie auf der englischen Seite zur Vorlesung.



Art Termine/Ort Beginn
Veranstalter
V3 bzw. 4 Di 11:45 - 13:15 AH 3 12.10.10
Prof. Dr. Jürgen Giesl
  Fr 11:45 - 13:15 AH 1 15.10.10
 
Ü2 Mi 16:00 - 17:30 AH 3 20.10.10
Prof. Dr. Jürgen Giesl, Carsten Fuhs, Carsten Otto, Thomas Ströder

Die Vorlesung findet 3-stündig für Studierende der Studiengänge Bachelor Informatik, Master Informatik, und Master Mathematik statt. Sie findet 4-stündig für Diplom-Studierende der Informatik und der Mathematik statt. Für Studierende des Studiengangs SSE ist die Vorlesung normalerweise 3-stündig (6 ECTS Credits), sie können jedoch auch die 4-stündige Version hören (8 ECTS Credits).

Wenden Sie sich bei Fragen bitte an die Sammeladresse lp10@i2.informatik.rwth-aachen.de, die von den drei Assistenten gelesen wird. Weitere Kontaktdaten finden Sie auf der Homepage des LuFG I2.

Skript

Das Skript zur Vorlesung ist hier erhältlich: Skript (Fassung vom 11.10.2010)

Inhalt

Neben einer kurzen Einführung in die Sprache Prolog behandelt diese Vorlesung die Grundlagen der logischen Programmierung, logische Programmiertechniken, die Implementierung von Logiksprachen sowie den Einsatz logischer Programmiersprachen in verschiedenen Anwendungsbereichen. Im Einzelnen werden folgende Themen besprochen:

Verschiedene Versionen der Vorlesung

Für verschiedene Studiengänge sind unterschiedliche Teile der Vorlesung relevant. Insgesamt gibt es drei Versionen der Vorlesung:

Literatur


Zuordnung

Wahlpflichtfach Theorie (für Bachelor), Theoretische Informatik (für Master), Theoretische Informatik und Informatik Vertiefung (für Diplom und Master SSE)


Software

Um Prolog-Programme zu erstellen, kann das SWI Prolog System verwendet werden:

Eine Alternative zu SWI-Prolog ist GNU Prolog:

Übungen

Studierende im Studiengang Diplom Informatik können den Übungsschein zur Vorlesung durch Erreichen von 50% der Punkte in den Übungen erlangen. Den Erwerb eines Übungsscheines empfehlen wir sehr, da dies eine gute Vorbereitung für die Diplomprüfung darstellt.
Für Studierende anderer Studiengänge wird am Ende des Semesters eine Klausur angeboten. Um an diese Klausur teilnehmen zu dürfen, müssen 50% der Punkte in den Übungsblättern erreicht werden.

Um am Übungsbetrieb teilnehmen zu können, melden sie sich bitte hier an.

Die Übungsblätter sollen in Zweiergruppen bearbeitet werden und werden jeweils am Mittwoch vor Beginn der Übung eingesammelt.

Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH