FÖRKUNSKAPSKRAV
Grundläggande behörighet.

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