Zum Inhalt springenZur Suche springen

Einführung in die logische Programmierung, WS 2019/2020

Inhalt

In der imperativen Programmierung werden Programme durch Sequenzen von Instruktionen dargestellt. In der logischen Programmierung beschreibt man statt einer Lösung für ein Problem in Form eines Algorithmus das Problem durch Fakten und Regeln und der Computer findet selbständig eine Lösung. Das eröffnet einen völlig neuen und radikal unterschiedlichen Blickwinkel auf das Programmieren der auch bei der alltäglichen Entwicklung mit C oder Java sehr nützlich ist.

Die Vorlesung behandelt die Themen:

  • Aussagenlogik, Prädikatenlogik
  • Resolution
  • Programmieren mit Horn Klauseln
  • Grundlagen von Prolog

Termine

  • Vorlesung: Di. 12:30 - 14:00 Uhr (Gebäude 25.22, HS 5H)
  • Übung: Di. 14:30 - 16:00 (Gebäude 25.11, HS 5C)
  • Praktische Übungen: Di. 16:30 - 18:00 (Gebäude 25.12, Raum 02.55)

In den Übungen wird wöchentlich ein Übungsblatt besprochen. Auf dem Blatt werden dabei sowohl theoretische als auch praktische Aufgaben gestellt.

Die praktische Übung dient als Programmierübung. Hier werden verschiedene Aufgaben diskutiert und in der Gruppe programmiert.

Bitte bringen Sie zu den Übungen nach Möglichkeit einen Laptop mit.

Prüfung und Benotung

  • Übungsblätter sind unbenotet
  • Sie müssen die  Projektaufgabe bearbeiten um zur Klausur zugelassen zu werden
  • Klausurtermin: 28.01.2020, 12:30 Uhr - 14:00 Uhr, 5D
  • Nachklausurtermin: 26.05.2020, 12:00 Uhr, 5F

Materialien

Alle Materialien finden Sie im Ilias der HHU.

Programmierprojekt

 

SAT Solver
Solvername Inferenzen
FEP (Florians Erfüllbarkeitsprüfer) 5174
placeholderAddNameLater 8738
SATansbraten 20043
SATisfying Solver 30366
fisch 39335
feelssatman 40972
SATisfyer 43844
wohin_ist_SATellit_abgestuerzt??? 46976
myworkingsolver 48929
Solver_Sarah 50481
greenSAT 62574
ein_adaequater_solver 67395
sat_solver_1000 79939
rote_rakete 105255
ensolve 110084
tsc-solver 117271
My Freakishly Awesome Though Anencephalous SAT-Solver (MyFATASS) 192414
another SATisfying wordplay 122207
high_like_a_SATtelite 125658
feng_kao_bi_guo_solver 135712
klausurrelevant 143454
solvername 201443
ichHabsSAT 203024
Almost SATurday 268620
yet_another_sat_solver 290849
solfy 301539
raupeNimmerSAT 371661
tsolver 729639
Up and running! Backwards and downhill 1698538
highly_inefficient_solver 11814420
ronny_und_sein_SATtelschlepper 45546008

 

 

Verantwortlichkeit: