|
De student maakt kennis met een formele benadering van de propositie- en predikatenlogica alsmede met het begrip verzameling (en bewerkingen daarop) . De logica wordt zowel semantisch als deductief gepresenteerd. Zo komen naast modellen ook deductieve benaderingen zoals natuurlijke deductie en, voor zover de tijd toelaat, Hilbert-stijl axiomatische systemen en resolutie aan de orde.
http://www.cs.uu.nl/education/vak.php?vak=INFOLV&jaar=2009
|
|