|
|
|
|
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åkan Jonsson 1 fo ing FASTSTÄLLD Kursplanen är fastställd av Institutionen för systemteknik 1995-05-29 att gälla från HT95. FÖRKUNSKAPSKRAV 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 1996. ÖVRIGT Kursen kan ej ingå i examen tillsammans med annan kurs i fuktionell programmering. Kontaktperson: Håkan Jonsson |
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 |