Programmeringssprog

Programmeringssprog

 

Målbeskrivelse

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.

Indholdsbeskrivelse

 · Funktionsprogrammeringssprog
Features såsom højereordens funktioner, dovne datastrukturer, polymorfi, og moduler,

· Logikprogrammeringssprog
Features såsom unificering, back-tracking, vidensrepræsentation, og logikgrammatikker.

Undervisning

Forelæsninger 3 timer (2+1).
Øvelser 3 timer

Obligatorisk program
2 mindre projekter

Litteratur

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

Bemanding

Peter Mosses

Eksamensform

Projekt (Take home exam), intern censur, 13 skalaen

Placering

4. kvarter

Omfang

5 ECTS