Homepagina voor de cursus Semantics of Logic Programming (IBC012). De vakbeschrijving is hier te vinden.

Hoorcollege: Woensdag 15:45 - 17:30 Hg01.028 (wk 45-51, 2)

Werkcollege: Vrijdag 10:45 - 12:30 Hfml0220 (wk 45-51, 2)

Tentamen: Vrijdag 20-1: 10:30 - 12:30 (Hg00.303)

Voorbereidingen

In de vierde week (30/11-2/12)  zijn er geen contact uren. De opdracht voor deze week is het maken van de opgaves in Proofweb (proofweb). Bij problemen kun je contact opnemen met Kasper Brink (k.brink@cs.ru.nl).

De opgaven op Proofweb zijn bedoeld om de vaardigheden die je in andere vakken, zoals beweren en bewijzen, hebt geleerd te testen en voor je zelf te automatiseren. Het is cruciaal dat deze afleidingen in de rest van het vak vanzelf gaan. Bepaal voor jezelf hoeveel oefening je nodig hebt. Vuistregel: op het moment dat de opgave saai wordt doe je er nog een paar meer. (De B-en-B bewijsstrategie en Deductie-regels. Een document om de transitie van B en B naar Proofweb te vergemakkelen.).

Week 1 (9,11 nov)

Modellen van de Propositie- en Predicatenlogica.

Week 2 (16, 18 nov)

Afleidingen in propositie- en predicatenlogica

Week 3 (23,25 nov)

Clausules en Unificatie. Prolog-voorbeeld en uitleg.

Week 4 (30nov, 2dec)

Geen contacturen. Maak de Proofweb opgaven af als je dat nog niet gedaan hebt.

Week 5 (7,9 dec)

Algemene resolutie en "normalizatie" van formules

Week 6 (14,16 dec)

SLD-resolutie en Herbrandmodellen

In de week 21,23 dec zijn er geen contact uren. Bekijk alvast de voorbeeldtentamens.

Week 7 (11,13 jan)

Onvolledigheid

Vragenuur ...

Voorbeeld tentamens zijn hier te vinden.
Het tentamen van 2009 (uitwerking) en het hertentamen.
Het tentamen van 2010 met uitwerkingen.
Het cijfer van het tentamen is je eindcijfer.