Logica voor 2de jaars informatica

De hoorcolleges:	Propositielogica
	Predicatenlogica
	Logica en Programmeren	(Jan Jaspars, di. 11.15 - 13.00)

De verdiepingswerkcolleges (Johan van Benthem, do. 11.15 - 12.00)

De oefenwerkcolleges en het huiswerk (Ronald de Wolf, do. 12.15 - 13.00)

De FAQ/E-mailservice .

De tentamenstof

Onderwerpen	Boek	Handouts/pages
Propositielogica	Hoofdstuk 2 t/m 5	Circuits Proposities als updates Complexiteit Meerwaardige logica's
Predicatenlogica	Hoofdstuk 6 t/m 9	Resolutie
Logica en Programmeren	Paragraaf 14.3 Hoofdstuk 15 Hoofdstuk 13, par. 1,2,3,6, en 10	Logisch programmeren Inductief logisch programmeren

Bekijk ook de pages, en download de vragen + antwoorden van het werkcollege . Het tentamen is een open boek tentamen.

Het proeftentamen en ook de antwoorden .

Het tentamen van 1/12 en ook de antwoorden .