SluitenHelpPrint
Switch to English
Cursus: INFOLV
INFOLV
Logica en verzamelingen
Cursus informatieRooster
CursuscodeINFOLV
Studiepunten (ECTS)7,5
Categorie / Niveau1 (Bachelor Inleiding)
CursustypeCursorisch onderwijs
VoertaalNederlands
Aangeboden doorFaculteit Betawetenschappen; Onderwijsinstituut Informatica;
Contactpersoondr. M. Veldhorst
Telefoon+31 30 2534450
E-mailM.Veldhorst@uu.nl
Docenten
Docent
T.C. van Dijk, BSc
Overige cursussen docent
Docent
dr. M. Veldhorst
Feedback en bereikbaarheid
Overige cursussen docent
Docent
dr. G.A.W. Vreeswijk
Feedback en bereikbaarheid
Overige cursussen docent
Blok
Onbekend
Aanvangsblok
2
TimeslotC: MA-middag/namiddag,DI-middag, DO-ochtend
Onderwijsvorm
Voltijd
Opmerkinghttp://www.cs.uu.nl/education/vak.php?vak=INFOLV
Aanmeldingsprocedureadministratie onderwijsinstituut
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedureadministratie onderwijsinstituut
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

 

Ingangseisen
Verplicht materiaal
Boek
John Kelly, The Essence of Logic, Prentice Hall, ISBN 0-13-396375-6 Bestel dit boek tijdig omdat er een levertijd is voorzien van ongeveer 6 weken.
Boek
Seymour Lipschutz, Set Theory and Related Topics, Schaum's Outline Series, McGraw-Hill, ISBN 0-07-038159-3
Werkvormen (aanwezigheidsplicht)
Hoorcollege

Werkcollege (Verplicht)

Toetsen
Tentamen
Weging100
Minimum cijfer6

Beoordeling
Schriftelijk tentamen in twee delen.

SluitenHelpPrint
Switch to English