|
|
|
|
SMD001 Funktionell programmering 4.0 poäng | |
ÄMNE (enl SCB) Datateknik NIVÅ/DJUP A G PROGRAM/TIDSPERIOD D1, E1 / Lp I SPRÅK: Svenska EXAMINATOR H Johansson Univ lekt FASTSTÄLLD Kursplanen är fastställd av Institutionen för systemteknik 1995-05-29, reviderad 2000-02-16 att gälla från HT2000. FÖRKUNSKAPSKRAV Grundläggande behörighet. SYFTE/MÅL Kursens mål är att - ge förmåga att implementera algoritmer och datatyper i ett funktionellt programspråk. - ge en introduktion till användning av de verktyg som erbjuds i ett modernt operativsystem och en kort introduktion till allmän datorkunskap. INNEHÅLL Programmering: Uttryck och deklarationer. Typer och typkonstruerare. Typhärledning. Mönsterpassning. Rekursion. Funktioner av högre ordning. Användardefinierade typer. Enkla exempel ur den diskreta matematiken, t ex mängder, funktioner, relationer, logik.
Introduktion till UNIX och datorkunskap:
| |
Laborationer | 1.0poäng |
Tentamen | 3.0poäng |
LITTERATUR S. Thompson, Haskell - The Craft of Functional Programming. Addison Wesley Longman, 2nd edition.
Senast reviderad litteratur:
2000-02-16
|
ÖVRIGT Kursen kan ej ingå i examen tillsammans med annan kurs i funktionell programmering. Kontaktperson: Håkan Jonsson Ytterligare kursinformation: http://www.sm.luth.se/csee/courses/smd/001/ |
Universitetet | Student | Forskning | Sök | Kontakta oss | In English |
LULEÅ TEKNISKA UNIVERSITET Universitetsområdet, Porsön, 971 87 Luleå. Tel. 0920-91 000, fax 0920-91 399 |