Algemeen

• Studiepunten: 2.00
• Onderwijstaal: Nederlands
• Werkvorm: Colleges
• Begeleidingsuren: 30.0 uren 
• Periode: Wordt gedoceerd in het eerste semester
• Verantwoordelijke POC: POC Computerwetenschappen

Docenten/didactisch team

Janssens Gerda

Inhoud

De volgende materie wordt behandeld:

• een logische programmeertaal, bv. Prolog
• basisconcepten: unificatie, procedurale en declaratieve lezing van een LP, backtracking, selectiestrategie, negatie
• specificatie met behulp van Hornclause
• Prolog: zuivere Prolog, ingebouwde predicaten, modules
• programmeertechnieken: structuren met open einde, door falen aangedreven iteratie, continuaties, metavertolkers, definite clause grammars, cyclische datastructuren, delay, memoizatie
• bespreking van andere LPtalen: logische programma's met constraints CLP (bijvoorbeeld beperkingen op eindige domeinen), Answer Set Programming, Constraint Handling Rules, ...
• een functionele programmeertaal, bv. Haskell
• basisconcepten: functie, reductiestrategieën, call-by-need, lui/ strikt
• Haskell: hogere-ordefuncties, mono- en polymorfe types, type classes, (un)currying
• programmeertechnieken: oneindige processen, closure, list comprehension, declaratieve input/output
• type-inferentie
• andere functionele talen: LISP, Scheme, ML ...
• inzicht in de geschiedenis van, het onderzoek rond, en de evolutie van declaratieve talen
• noties van state-of-the-art
• uitvoeringsmechanismen voor declaratieve talen en ontwikkelingen daaromtrent

Studiemateriaal

Als aanvulling op de slides van de cursus kan bijkomend studiemateriaal geraadpleegd worden:
 
1. In de campusblibliotheek (didactische cluster van de CBA) kunnen de volgende handboeken geraadpleegd worden: 

• PROLOG Programming for Artificial Intelligence, Ivan BratkoAddison Wesley, third edition 2001.
• Programming in Haskell, Graham Hutton, University of Nottingham , Cambridge University Press, January 2007.
  2. Op Toledo worden links gegeven naar de officiele sites van de programmeertalen met inbegrip van links naar online-tutorials.

Beschrijving leeractiviteit

De slides vormen een leidraad voor de gegeven lessen en geven een overzicht van de geziene topics.  Tijdens de les maken de studenten kleine oefeningen die hen aanzetten om de stof beter te begrijpen.

Algemeen

• Studiepunten: 2.00
• Onderwijstaal: Nederlands
• Werkvorm: Oefenzittingen
• Begeleidingsuren: 16.0 uren 
• Periode: Wordt gedoceerd in het eerste semester
• Verantwoordelijke POC: POC Computerwetenschappen

Docenten/didactisch team

Janssens Gerda

Beschrijving leeractiviteit

8 oefenzittingen waarin de studenten de aangeleerde stof verder verwerken door zelf programma's te schrijven in de aangeleerde talen.  Ze doen dat in PC-labo's en onder begeleiding van een assistent. De student maakt na elke oefenzitting individueel een oefening die hij binnen de 24 uur indient.  Eenmalig wordt de oefening vervangen door een practicum (in te dienen na 2 weken).

Evaluatievorm

Modaliteit van de evaluatie:
    schriftelijk
Tijdstip: partiële evaluatie met afrondend examen tijdens de examenperiode
Soort evaluatie:
    Gesloten boek
    Oefening met beoordeling

Toelichting

De evaluatie bestaat uit 2 delen.
Na elke oefenzitting krijgen de studenten een oefening die ze individueel maken en binnen de 24u indienen.  Eenmalig wordt de oefening vervangen door een practicum.  Dit deel telt mee voor 5  van de 20 punten.
Schriftelijk examen van 4 uur tijdens de zittijd: gesloten boek, schrijven van programma's op een PC.  Dit deel telt mee voor 15 van de 20 punten.
Niet tolereerbare tekorten: het schriftelijk examen tijdens de zittijd. 
Voor de tweede zit telt het eerste deel van de evaluatie enkel mee als het voordelig is voor de student.