|
|
|
|
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 Jonsson Doktorand 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: Operativsystemet UNIX. Filsystemet. Några användbara systemkommandon. Textredigering. Introduktion till några datatekniska områden som t ex datorarkitektur, programspråk, användning av systemprogramvara och kringutrustning. UNDERVISNING Undervisningen består av lektioner, föreläsningar och obligatoriska laborationer. På några lektioner kan det förekomma skriftliga prov vars resultat får tillgodoräknas på den ordinarie tentamen som ges i direkt anslutning till kursen EXAMINATION Skriftlig tentamen med differentierade betyg. Obligatoriska laborationer. KURSENS BETYGSKALA: U,3,4,5 MOMENT/PROV | |
Laborationer | 1.0poäng |
Tentamen | 3.0poäng |
LITTERATUR S. Thompson, Haskell - The Craft of Functional Programming. Addison Wesley Longman 1996. Kontaktperson: Håkan Jonsson |
Ansvarig för sidan: Birgitta.Hakansson@dc.luth.se
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 |