Informatica - Master variant O

Thematische specialisatie : 24 ec

Verdieping in een deel van het vakgebied via wetenschappelijke colleges rond een thema naar keuze.

Voor dit onderdeel kiest elke student 24 ec uit de volgende cursussen. Sommige cursussen dragen bij aan meer dan dit curriculumonderdeel alleen.


H 2003/2004
Embedded systems
I00011
Architectuur van real-timesystemen 6 ec van 6 ITT
Embedded systems
IZEND1
Protocolvalidatie 6 ec van 6 ITT
Foundations of computer science
I00018
Betrouwbaarheid van softwaresystemen 6 ec van 6 ST
Foundations of computer science
I00023
Complexiteitstheorie 6 ec van 6 G
Foundations of computer science
I00088
Semantiek 6 ec van 6 G
Informatiesystemen
I00054
Cognitie en representatie 6 ec van 6 IRIS
Kunstmatige Intelligentie
I00025
Computational Intelligence 6 ec van 6 IRIS
Kunstmatige Intelligentie
I00054
Cognitie en representatie 6 ec van 6 IRIS
Software-constructie
I00018
Betrouwbaarheid van softwaresystemen 6 ec van 6 ST
Software-construction
I00110
Testtechnieken 6 ec van 6 ST

L 2003/2004
Embedded systems
I00015
Beeldverwerking 6 ec van 6 ITT
Embedded systems
I00067
Ontwikkeling van Technische Systemen 6 ec van 6 ITT Wordt dit semester niet gegeven zoo als gepland.
Foundations of computer science
I00111
Typetheorie 6 ec van 6 G
Foundations of computer science
I00139
Proof Assistants 6 ec van 6 G
Informatiesystemen
I00035
Grondslagen van Informatiesystemen (IS2) 6 ec van 6 IRIS
Informatiesystemen
I00041
Information Retrieval 6 ec van 6 IRIS
Kunstmatige Intelligentie
I00041
Information Retrieval 6 ec van 6 IRIS
Kunstmatige Intelligentie
I00131
Intelligent Agents 6 ec van 6 IRIS
Software-constructie
I00021
Codes en Algoritmen 6 ec van 6 G
Software-constructie
I00032
Geavanceerd Programmeren 6 ec van 6 ST
Software-constructie
I00066
Ontwikkeling van grote Softwaresystemen 6 ec van 6 ST

H 2004/2005
Embedded systems
I00011
Architectuur van real-timesystemen 6 ec van 6 ITT
Embedded systems
I00110
Testtechnieken 6 ec van 6 ST College begint in week 38.
Foundations of computer science
I00023
Complexiteitstheorie 6 ec van 6 G
Foundations of computer science
I00088
Semantiek 6 ec van 6 G
informatiesystemen
I00039
Informatiearchitectuur 6 ec van 6 IRIS
Informatiesystemen
I00054
Cognitie en representatie 6 ec van 6 IRIS
Kunstmatige Intelligentie
I00025
Computational Intelligence 6 ec van 6 IRIS
Kunstmatige Intelligentie
I00054
Cognitie en representatie 6 ec van 6 IRIS
Security
I00087
Security Protocols 6 ec van 6 SoS
Security
I00135
Network security 6 ec van 6 SoS
Software-constructie
I00032
Geavanceerd Programmeren 6 ec van 6 ST
Software-constructie
I00066
Ontwikkeling van grote Softwaresystemen 6 ec van 6 ST
Software-construction
I00110
Testtechnieken 6 ec van 6 ST College begint in week 38.

L 2004/2005
Embedded systems
I00015
Beeldverwerking 6 ec van 6 ITT
Embedded systems
IZEND1
Protocolvalidatie 6 ec van 6 ITT
Foundations of computer science
I00018
Betrouwbaarheid van softwaresystemen 6 ec van 6 ST
Foundations of computer science
I00111
Typetheorie 6 ec van 6 G
Foundations of computer science
I00139
Proof Assistants 6 ec van 6 G
Informatiesystemen
I00035
Grondslagen van Informatiesystemen (IS2) 6 ec van 6 IRIS
Informatiesystemen
I00041
Information Retrieval 6 ec van 6 IRIS
Kunstmatige Intelligentie
I00041
Information Retrieval 6 ec van 6 IRIS
Kunstmatige Intelligentie
I00131
Intelligent Agents 6 ec van 6 IRIS
Security
I00136
Security seminar 6 ec van 6 SoS
Security
I00137
Cryptography 6 ec van 6 G
Software-constructie
I00018
Betrouwbaarheid van softwaresystemen 6 ec van 6 ST

H 2005/2006
Embedded systems
I00110
Testtechnieken 6 ec van 6 ST
Embedded systems
I00155
Design of Embedded Systems 6 ec van 6 ITT Deze cursus vervangt de cursus Architectuur van Real Time Systemen
Foundations of computer science
I00023
Complexiteitstheorie 6 ec van 6 G
Foundations of computer science
I00088
Semantiek 6 ec van 6 G
informatiesystemen
I00039
Informatiearchitectuur 6 ec van 6 IRIS
Informatiesystemen
I00054
Cognitie en representatie 6 ec van 6 IRIS
Kunstmatige Intelligentie
I00054
Cognitie en representatie 6 ec van 6 IRIS
Security
I00135
Network security 6 ec van 6 SoS
Security
I00153
Security in organisations 6 ec van 6 SoS
Software-constructie
I00032
Geavanceerd Programmeren 6 ec van 6 ST
Software-constructie
I00066
Ontwikkeling van grote Softwaresystemen 6 ec van 6 ST
Software-construction
I00110
Testtechnieken 6 ec van 6 ST

L 2005/2006
I00137
Cryptography 6 ec van 6 G
Embedded systems
I00015
Beeldverwerking 6 ec van 6 ITT
Embedded systems
I00154
Analysis of Embedded Systems 6 ec van 6 ITT
Foundations of computer science
I00018
Betrouwbaarheid van softwaresystemen 6 ec van 6 ST
Foundations of computer science
I00111
Typetheorie 6 ec van 6 G
Foundations of computer science
I00139
Proof Assistants 6 ec van 6 G
Informatiesystemen
I00035
Grondslagen van Informatiesystemen (IS2) 6 ec van 6 IRIS
Informatiesystemen
I00041
Information Retrieval 6 ec van 6 IRIS
Kunstmatige Intelligentie
I00025
Computational Intelligence 6 ec van 6 IRIS semester wordt lente
Kunstmatige Intelligentie
I00041
Information Retrieval 6 ec van 6 IRIS
Security
I00136
Security seminar 6 ec van 6 SoS
Security
ISOFSE
Software Security 6 ec van 6 SoS
Software-constructie
I00018
Betrouwbaarheid van softwaresystemen 6 ec van 6 ST

H 2006/2007
Embedded systems
I00110
Testtechnieken 6 ec van 6 ST inzet tentatief
Embedded systems
I00155
Design of Embedded Systems 6 ec van 6 ITT Deze cursus vervangt de cursus Architectuur van Real Time Systemen
Foundations of computer science
I00018
Betrouwbaarheid van softwaresystemen 6 ec van 6 ST inzet tentatief
Foundations of computer science
I00023
Complexiteitstheorie 6 ec van 6 G inzet tentatief
Foundations of computer science
I00088
Semantiek 6 ec van 6 G inzet tentatief
informatiesystemen
I00039
Informatiearchitectuur 6 ec van 6 IRIS inzet tentatief
informatiesystemen
I00039
Informatiearchitectuur 6 ec van 6 IRIS inzet tentatief
Informatiesystemen
I00054
Cognitie en representatie 6 ec van 6 IRIS inzet tentatief
Kunstmatige Intelligentie
I00054
Cognitie en representatie 6 ec van 6 IRIS inzet tentatief
Security
I00153
Security in organisaties 6 ec van 6 SoS inzet tentatief
Software-constructie
I00018
Betrouwbaarheid van softwaresystemen 6 ec van 6 ST inzet tentatief
Software-constructie
I00032
Geavanceerd Programmeren 6 ec van 6 ST inzet tentatief
Software-construction
I00110
Testtechnieken 6 ec van 6 ST inzet tentatief

L 2006/2007
Embedded systems
I00015
Beeldverwerking 6 ec van 6 ITT
Embedded systems
I00154
Analysis of Embedded Systems 6 ec van 6 ITT inzet tentatief
Foundations of computer science
I00111
Typetheorie 6 ec van 6 G inzet tentatief
Foundations of computer science
I00139
Proof Assistants 6 ec van 6 G inzet tentatief
Informatiesystemen
I00035
Grondslagen van Informatiesystemen (IS2) 6 ec van 6 IRIS inzet tentatief
Informatiesystemen
I00041
Information Retrieval 6 ec van 6 IRIS inzet tentatief
Kunstmatige Intelligentie
I00025
Computational Intelligence 6 ec van 6 IRIS semester wordt lente
Kunstmatige Intelligentie
I00041
Information Retrieval 6 ec van 6 IRIS inzet tentatief
Security
ISOFSE
Software Security 6 ec van 6 SoS inzet tentatief
Software-constructie
I00066
Ontwikkeling van grote Softwaresystemen 6 ec van 6 ST in 06/07 together with iss?