Handouts
Zijn te koop bij de cursusdienst
Scientica. Zullen tevens
beschikbaar gemaakt worden via Toledo.
Aanvullende studiemateriaal
Is
beschikbaar via Toledo.
Oefenzittingen
Komen op
Toledo.
Permanente
Evaluatie
De
opgaven
worden
via
Toledo
meegedeeld
en
ingediend. De feedback
vind je ook op Toledo.
Examen
Het
examen DT 2011-2012 is formeel gezien
schriftelijk; het gaat door tijdens de zittijden in de vorm van een
sessie in het computerlabo
die 4 uur duurt. Het examen bestaat enerzijds uit enkele kleine vragen
over de leerstof en anderzijds "schrijf"
je (emacs, vim, kate ...) een
programma in Prolog en
Haskell. De
programmeeromgeving is dezelfde als tijdens de begeleide practica:
Linux, met Prolog en Haskell.
Een deel van de punten staat
op
aanwezigheid op en werkzaamheid tijdens de (verplichte)
practicumsessies en
op het indienen van een
oplossing van de opgaves (inclusief practicum)
binnen de 24 uur na de zitting.
Op die permanente evaluatie
staan 5 van
de 20 punten.
Niet tolereerbare tekorten: het schriftelijk examen tijdens de zittijd.
In de septemberzittijd
tellen de punten voor practicazittingen onder
het jaar enkel mee als dat in het voordeel is van de student - anders
telt
alleen de prestatie in de
septemberzittijd.
Tijdens het examen mag de
student gebruik maken van de lokale on-line manuals en de slides van de
cursus (eventueel met handgeschreven notas
erop). Handboeken, listings met opgeloste
oefeningen, extra manuals en elke andere bijkomende informatiebron zijn
niet toegelaten.
Uit de omgevingen van de gebruikte Prolog en Haskell systemen mag alles (inclusief de manual) gebruikt worden - maar niets daarbuiten.
Vragen over het examen
richt je best niet tot de assistenten.
Voorbeelden van
examenvragen volgen later.
Prolog systeem
SWI Prolog
is ook
beschikbaar in de pc klassen van de universiteit LUDIT
Haskell
systeem
details volgen
later
Enkele interessante links
Prolog
The
World
WIde Web
Virtual
Library: Logic Programming
bron van
"Prolog" gerelateerde informatie.
De frequently asked
questions(FAQ)
van Prolog
Enkele online
tutorials:
the
tutorial of Bartak , de tutorial
of
Fisher, en de online
tutorial of P. Blackburn et al.
Boeken over Prolog :
te vinden in de FAQ
De newsletter van
de Association of Logic Programming (ALP) met in het nummer van
November 2003
een interessante
bijdrage over waarom mensen uit de industrie Prolog willen gebruiken
voor hun toepassingen.
Haskell
De home
pagina van Haskell
Daar vind je ook een link
naar Haskell boeken met o.a.