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

Hoorcollege: Woensdag 13:45 - 15:30 Hfml0220 (wk 46-50, 1-2)

Werkcollege: Vrijdag 10:45 - 12:30 HG01.028 (wk 46-50, 1-2)

Tentamen: Woensdag 19-1: 13:30-15:30 (Hg00.071)

Voorbereidingen

In de eerste week 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.).

We doen ook een Otter practicum zorg dat je Otter op je computer geinstalleerd hebt. Of gebruik de webinterface.

Week 1 (17,19 nov)

Modellen van de Propositie- en Predicatenlogica.

Week 2 (24, 26 nov)

Afleidingen in propositie- en predicatenlogica

Week 3 (8,10 dec)

Clausules en Unificatie. Prolog-voorbeeld en uitleg.

Week 4 (15,17 dec)

Algemene resolutie en "normalizatie" van formules

Week 5 (5,7 jan) Let op: HG01.028

SLD-resolutie en Herbrandmodellen

Week 6 (12,14 jan)

Onvolledigheid

Vragenuur ...

Voorbeeld tentamens zijn hier te vinden.
Het tentamen van 2009 (uitwerking) en het hertentamen.

Vragenuur: Maandag 17-1: 15:30-17:30 (HG02.028)

Het tentamen met uitwerkingen.
Het cijfer van de toets is je eindcijfer.