Einführung in die logische Programmierung, WS 2018

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 beide Projektaufgaben bearbeiten um zur Klausur zugelassen zu werden
  • Klausurtermin: 29.01.2019, 12:30 Uhr - 14:00 Uhr, 5H
  • Nachklausurtermin: 25.03.2019, 14:30 Uhr - 16:00 Uhr, 5A

Materialien

Alle Materialien finden Sie im Ilias der HHU.

Programmierprojekt

 

SAT Solver

Solvername

Inferenzen

Gurke

213

papercuts!

224

Shadow

2235

Eres Gay

5720

tb27

9506

SAT But True

18620

rash

20682

sans

23418

edster

166011

donut

240516

addimator

330591

sat_solver1

330591

Slover

652224

deep_thought

9913317

mrRobot

9913434

weihnachtsferien

13878853

jeeSolver

504886094

 

 

8-Puzzle Solver

Solvername

Inferenzen

Gurke

39101

EightStarPuzzle

152157

Siiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii!

393039

Can it be ugly when it works?

577987

puzzle_solver1

4508808

pimple

5947801

5+_puzzle

8359730

tb27

20729764

sans

32966333

Eres Gay

164411088

weihnachtsferien

206976580

Shadow

236401236

edster

244088710

donut

294698959

addimator

395765494

mrRobot

523459603

jeeSolver2

1427822619

 

 

 

Verantwortlich für den Inhalt: E-Mail sendenWE Informatik