6 ECTS credits
165 u studietijd
Aanbieding 1 met studiegidsnummer 4020800FNR voor alle studenten in het 1e semester met een gespecialiseerd master niveau.
De cursus bestudeert op formele wijze
Dit gebeurt op basis van de eenvoudig getypeerde lambda-calculus en verschillende uitbreidingen, o.a.
Niet alle onderwerpen komen elk jaar aan bod.
Geen
1 Informele definities en uitspraken over programmeertalen formaliseren
2 Eigenschappen van programmeertalen formeel bewijzen
3 De belangrijkste concepten in verband met typesystemen en abstracte interpretatie creatief benutten in nieuwe toepassingen
4 Appreciatie hebben voor de formele benadering van programmeertalen
De beoordeling bestaat uit volgende opdrachtcategorieën:
Examen Andere bepaalt 100% van het eindcijfer
Binnen de categorie Examen Andere dient men volgende opdrachten af te werken:
Micro-teaching presentatie: 20%
Projectopdracht: 30%
Mondeling examen: 50%
Deze aanbieding maakt deel uit van de volgende studieplannen:
Master in de ingenieurswetenschappen: computerwetenschappen: afstudeerrichting Artificiële Intelligentie
Master in de ingenieurswetenschappen: computerwetenschappen: afstudeerrichting Multimedia
Master in de ingenieurswetenschappen: computerwetenschappen: afstudeerrichting Software Languages and Software Engineering
Master in Applied Sciences and Engineering: Computer Science: Artificial Intelligence (enkel aangeboden in het Engels)
Master in Applied Sciences and Engineering: Computer Science: Multimedia (enkel aangeboden in het Engels)
Master in Applied Sciences and Engineering: Computer Science: Software Languages and Software Engineering (enkel aangeboden in het Engels)
Master in Applied Sciences and Engineering: Computer Science: Data Management and Analytics (enkel aangeboden in het Engels)