De volgende onderwerpen worden behandeld: de syntax en semantiek van de propositie logica en de predikaat logica, de bewijsmethoden van semantische tableaus en resolutie, en logisch programmeren.
*Method: * hoorcollege, werkgroep
Examination: schriftelijk
Objective: Kennis van de formele syntax en semantiek van de propositielogica en de predikaatlogica, de bewijsmethoden van semantische tableaus en resolutie, en logisch programmeren. Vaardigheden: formaliseren en interpreteren, constructie van afleidingen, logisch programmeren.
*Literature: * J.F.A.K. van Benthem (e.a.): Logica voor Informatici (3e ed.), Addison Wesley (2003) plus bijlagen (op de webpage van dit vak)
*Website: * http://homepages.cwi.nl/~frb/logica.pdf