Luleå tekniska universitet
hemsidan sök kontakta oss student
Studiehandboken 1998/99


Systemteknik

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
Gäller för läsåret 1998/99.
Aktuella versionen innevarande läsår:http://www.luth.se/stuka

Ansvarig för sidan: Karin.Lindholm@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
Last edited 1998-12-18