SluitenHelpPrint
Switch to English
Cursus: INFOLV
INFOLV
Logica en verzamelingen
Cursus informatie
CursuscodeINFOLV
Studiepunten (EC)7,5
Cursusdoelen

Inhoud

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

 

SluitenHelpPrint
Switch to English