SluitenHelpPrint
Switch to English
Cursus: INFOB1LI
INFOB1LI
Logica voor informatica
Cursus informatieRooster
CursuscodeINFOB1LI
Studiepunten (ECTS)7,5
Categorie / Niveau1 (Bachelor Inleiding)
CursustypeCursorisch onderwijs
VoertaalNederlands
Aangeboden doorFaculteit Betawetenschappen; Vakgroep Informatica;
Contactpersoonprof. dr. J. van Leeuwen
Telefoon+31 30 2534001
E-mailJ.vanLeeuwen1@uu.nl
Docenten
Docent
prof. dr. J. van Leeuwen
Overige cursussen docent
Docent
dr. ir. P.R. de Waal
Overige cursussen docent
Blok
2  (15-11-2010 t/m 04-02-2011)
Aanvangsblok
2
TimeslotC: MA-middag/namiddag,DI-middag, DO-ochtend
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 21-06-2010 t/m 19-11-2010
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Cursusdoelen
-
Inhoud

 

De cursus Logica voor informatica heeft de volgende leerdoelen:

 

  • je neemt kennis van de propositielogica en de predikaatlogica
  • je kunt uitspraken bewijzen met behulp van: formule-inductie, axiomatisch afleiden, resolutie en unificatie
  • je kunt syntax en semantiek onderscheiden
  • je krijgt inzicht in de logische semantiek van programmeertalen
  • je kunt informatica-problemen modelleren met behulp van logica

http://www.cs.uu.nl/education/vak.php?vak=INFOB1LI&jaar=2010

Ingangseisen
Verplicht materiaal
-
Werkvormen (aanwezigheidsplicht)
Hoorcollege (Verplicht)

werkcollege (Verplicht)

Toetsen
Tentamen
Weging100
Minimum cijfer6

SluitenHelpPrint
Switch to English