|
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=2008
|
|