Studiegids

nl en

Logica

Vak
2009-2010

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)

Website

Logica