6 ECTS credits
165 u studietijd

Aanbieding 1 met studiegidsnummer 4020800FNR voor alle studenten in het 1e semester met een gespecialiseerd master niveau.

Semester
1e semester
Inschrijving onder examencontract
Niet mogelijk
Beoordelingsvoet
Beoordeling (0 tot 20)
2e zittijd mogelijk
Ja
Onderwijstaal
Nederlands
Onder samenwerkingsakkoord
Onder uitwisselingsakkoord mbt studiedelen
Faculteit
Faculteit Wetenschappen en Bio-ingenieurswetensch.
Verantwoordelijke vakgroep
Computerwetenschappen
Externe partnerinstelling(en)
Universiteit Gent
Onderwijsteam
Christophe Scholliers (titularis)
Onderdelen en contacturen
30 contacturen Hoorcollege
15 contacturen Werkcolleges, practica en oefeningen
Inhoud

De cursus bestudeert op formele wijze

  • syntax
  • operationele semantiek
  • typesystemen
  • programma-analyse op basis van o.a. abstracte interpretatie
  • voornaamste eigenschappen van syntax, semantiek en typesystemen en bijhorende bewijstechnieken, o.a.
    • behoud van types
    • voortgang
    • Curry-Howard verband
    • logische relaties
    • ...

Dit gebeurt op basis van de eenvoudig getypeerde lambda-calculus en verschillende uitbreidingen, o.a.

  • primitieve types
  • tupels
  • records
  • som-types
  • polymorfisme
  • ...

Niet alle onderwerpen komen elk jaar aan bod.

Bijkomende info

Geen

Leerresultaten

Algemene competenties

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

Beoordelingsinformatie

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:

  • Examen andere met een wegingsfactor 1 en aldus 100% van het totale eindcijfer.

Aanvullende info mbt evaluatie

Micro-teaching presentatie: 20%

Projectopdracht: 30%

Mondeling examen: 50%

Toegestane onvoldoende
Kijk in het aanvullend OER van je faculteit na of een toegestane onvoldoende mogelijk is voor dit opleidingsonderdeel.

Academische context

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)