Målet med kurset er
· at præsentere den studerende for programmeringssprog som understøtter forskellige programmeringsparadigmer, såsom funktions-, logik-, og parallelprogrammering.
· at give den studerende kendskab til basale begreber og teknikker indenfor disse paradigmer gennem praktiske eksempler og øvelser i programmering.
· Funktionsprogrammeringssprog
Features såsom højereordens funktioner, dovne datastrukturer, polymorfi, og moduler,
· Logikprogrammeringssprog
Features såsom unificering, back-tracking, vidensrepræsentation, og logikgrammatikker.
Forelæsninger 3 timer (2+1).
Øvelser 3 timer
Obligatorisk program
2 mindre projekter
Jeffrey D. Ullman: Elements of ML Programmering (ML 97 Edition), Prentice Hall, 1998.
Peter D. Mosses: Elements of Logic Programmering (course notes), to appear, 2004
Peter Mosses
Projekt (Take home exam), intern censur, 13 skalaen
4. kvarter
5 ECTS