Doel
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.
Beschrijving
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.
Methode
hoorcollege, werkgroep
Examinering
schriftelijk
Literatuur
J.F.A.K. van Benthem (e.a.): Logica voor Informatici (3e ed.), Addison Wesley (2003) plus bijlagen (op de webpage van dit vak)