Informatiekunde - Bachelor

Grondslagen : 23 ec

Hoe beschrijf je aspecten van computersystemen zo precies mogelijk? Hoe kun je daar formeel over redeneren? Hoe bewijs je dat iets correct is? Hoe kun je computers hiervoor inzetten? Deze component omvat de noodzakelijke theoretische verdieping die je in staat stelt op een abstracter niveau met de geleerde kennis en vaardigheden om te gaan.


Voor een studie, begonnen in 2003 (onder voorbehoud)

1e jaar H 2003/2004
I00030
Formeel Denken 6 ec van 6 G

1e jaar L 2003/2004
IDENK1
Beweren en Bewijzen 6 ec van 6 ITT

2e jaar L 2004/2005
I00051
Kansrekening voor Informatiekunde 3 ec van 3 (wisk)
I00099
Statistiek voor Informatiekunde 3 ec van 3 (wisk)

3e jaar H 2005/2006
I00107
Systeemtheorie: ontwerp en evolutie 3 ec van 3 IRIS First part of the Information Systems Architecture mini-series. This part focuses on Part I (IS modeling).

3e jaar L 2005/2006
I00150
Onderzoeksmethoden 3 ec van 3 G

Voor een studie, begonnen in 2004 (onder voorbehoud)

1e jaar H 2004/2005
I00030
Formeel Denken 6 ec van 6 G

1e jaar L 2004/2005
IDENK1
Beweren en Bewijzen 6 ec van 6 ITT

2e jaar L 2005/2006
I00051
Kansrekening voor Informatiekunde 3 ec van 3 (wisk)
I00099
Statistiek voor Informatiekunde 3 ec van 3 (wisk)

3e jaar H 2006/2007
I00150
Onderzoeksmethoden 3 ec van 3 G inzet tentatief
I00165
Inleiding Informatiearchitectuur 3 ec van 6 IRIS inzet tentatief

Voor een studie, begonnen in 2005 (onder voorbehoud)

1e jaar H 2005/2006
I00030
Formeel Denken 6 ec van 6 G

1e jaar L 2005/2006
IDENK1
Beweren en Bewijzen 6 ec van 6 ITT

Voor een studie, begonnen in 2006 (onder voorbehoud)

1e jaar H 2006/2007
I00030
Formeel Denken 6 ec van 6 G inzet tentatief

1e jaar L 2006/2007
IDENK1
Beweren en Bewijzen 6 ec van 6 ITT inzet tentatief