SluitenHelpPrint
Switch to English
Cursus: INFOMPSV
INFOMPSV
Programmasemantiek en -verificatie
Cursus informatieRooster
CursuscodeINFOMPSV
Studiepunten (ECTS)7,5
Categorie / NiveauM (Master)
CursustypeCursorisch onderwijs
VoertaalEngels
Aangeboden doorFaculteit Betawetenschappen; Graduate School of Natural Sciences;
Contactpersoondr. S.W.B. Prasetya
Telefoon+31 30 2534090
E-mailS.W.B.Prasetya@uu.nl
Docenten
Docent
dr. S.W.B. Prasetya
Overige cursussen docent
Blok
1-GSNS  (04-09-2017 t/m 10-11-2017)
Aanvangsblok
1-GSNS
TimeslotA: MA-ochtend, DI-namiddag, WO-ochtend
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 29-05-2017 t/m 25-06-2017
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
Na-inschrijvingJa
Na-inschrijving geopendvanaf 21-08-2017 t/m 17-09-2017
WachtlijstJa
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
-
Inhoud
Ingangseisen
Je moet een geldige toelatingsbeschikking hebben
Verplicht materiaal
-
Aanbevolen materiaal
Software
Haskell (beschikbaar in MyWorkPlace) HOL (software alleen in CLZ) SPIN (beschikbaar in MyWorkPlace)
Werkvormen (aanwezigheidsplicht)
Hoorcollege (Verplicht)

Practicum (Verplicht)

Toetsen
Eindresultaat
Weging100
Minimum cijfer-

SluitenHelpPrint
Switch to English