homepagina voor de cursus FM2009. De vakbeschrijving is hier te vinden.

Hoorcollege: Maandag 10:45-12:30 HG01.028

Werkcollege: Woensdag 8:45-10:30 TvA2.00.14

Voorbereidingen

In week 2 gebruiken we proofweb. Controleer alvast of je login werkt. Je login is je studentnummer (s????). Je initiele password is dat ook. Verander het password de eerste keer dat je inlogt. Zo niet neem dan contact op met Dan Synek.

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

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 Informatie voor het Otter practicum.

Week 4 (30 nov, 2 dec)

Algemene resolutie en "normalizatie" van formules

Week 5 (7,9 dec)

SLD-resolutie en Herbrandmodellen

Week 6 (4, 6 jan)

Onvolledigheid

Vragenuur 11 jan.

Voorbeeld tentamens zijn hier te vinden.

Toets 25 Jan, 10:30-12:30 HG00.304

Het cijfer van de toets is je eindcijfer.