Handouts
Beschikbaar via Toledo en de VTK
cursusdienst.
Aanvullend studiemateriaal
Beschikbaar via Toledo.
Oefenzittingen
Beschikbaar
via
Toledo
Permanente
Evaluatie
Beschikbaar
via
Toledo
Examen
Het examen SDT 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; tijdens die
4 uur "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 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.
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.