Informatica - Bachelor

Grondslagen : 19 ec

Hoe beschrijf je aspecten van computersystemen zo precies mogelijk? Hoe kun je daar formeel over redeneren? Wat is het verband tussen formalisme en realiteit? Wanneer is iets correct? Hoe kun je computers hiervoor inzetten? Wat zijn de grenzen van computersystemen?


Voor een studie, begonnen in 2003 (onder voorbehoud)

1e jaar H 2003/2004
I00109
Talen en automaten 3 ec van 3 G

1e jaar L 2003/2004
I00016
Berekenbaarheid 3 ec van 3 G
IDENK1
Beweren en Bewijzen 3 ec van 6 ITT

2e jaar H 2004/2005
I00010
Analyse van algoritmen/complexiteit 3 ec van 6 G

2e jaar L 2004/2005
I00090
Semantiek en logica 1 3 ec van 6 G

3e jaar H 2005/2006
I00091
Semantiek en logica 2 4 ec van 6 G

Voor een studie, begonnen in 2004 (onder voorbehoud)

1e jaar H 2004/2005
I00109
Talen en automaten 3 ec van 3 G

1e jaar L 2004/2005
I00016
Berekenbaarheid 3 ec van 3 G
IDENK1
Beweren en Bewijzen 3 ec van 6 ITT

2e jaar H 2005/2006
I00010
Analyse van algoritmen/complexiteit 3 ec van 6 G

2e jaar L 2005/2006
I00090
Semantiek en logica 1 3 ec van 6 G

3e jaar H 2006/2007
I00091
Semantiek en logica 2 4 ec van 6 G inzet tentatief
I00091
Semantiek en logica 2 4 ec van 6 G inzet tentatief

Voor een studie, begonnen in 2005 (onder voorbehoud)

1e jaar H 2005/2006
I00109
Talen en automaten 3 ec van 3 G

1e jaar L 2005/2006
I00016
Berekenbaarheid 3 ec van 3 G
IDENK1
Beweren en Bewijzen 3 ec van 6 ITT

2e jaar H 2006/2007
I00010
Analyse van algoritmen/complexiteit 3 ec van 6 G inzet tentatief
I00010
Analyse van algoritmen/complexiteit 3 ec van 6 G inzet tentatief

2e jaar L 2006/2007
I00090
Semantiek en logica 1 3 ec van 6 G inzet tentatief
I00090
Semantiek en logica 1 3 ec van 6 G inzet tentatief

Voor een studie, begonnen in 2006 (onder voorbehoud)

1e jaar H 2006/2007
I00109
Talen en automaten 3 ec van 3 G inzet tentatief

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