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
dr. M. Veldhorst
Feedback en bereikbaarheid
Overige cursussen docent
Blok
Onbekend
Aanvangsblok
X2
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=2009

 

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