Funktionell programmering
vt99

Syfte:
Efter genomgången kurs ska deltagaren självständigt kunna lösa programmeringsmässiga problem i ett funktionellt språk. Deltagaren ska också ha kunskaper om de viktigaste teoretiska frågeställningarna kring funktionell programmering.

Innehåll:
Funktionell programmering i Lisp. Abstrakta Datatyper. Valfri fördjupningsuppgift.

Omfattning:
5 poäng

Lärare:
Anders Berglund (föreläsningar, examination)
tel 018-471 31 67 (arb), 070-425 02 11 (nalle) 08-652 45 80 (hem)
e-mail: Anders.Berglund@docs.uu.se

Roger Jonsson (handledning, Lispuppgifter, fördjupningsuppgifter)
tel 021 10 14 54
e-mail: rjn@mdh.se

Eventuella ytterligare lärare enligt senare meddelande

Litteratur:
Kompendium

För den intresserade:
Henderson, "Functional Programming. Application and implementaion", Prentice-Hall

Fördjupningslitteratur enligt överenskommelse

Undervisnings och examinationsformer:

Basblock

På kursens första två avsnitt, basblocket: funktionell programmering i Lisp och dataabstraktion ges undervisning i form av föreläsningar, uppgiftshandledning och en laboration enligt separat schema.

Dessa avsnitt examineras med tre (eller fyra) mindre inlämningsuppgifter samt en tenta. Tentamen ger endast betygen underkänt eller godkänt. Gränsen för godkänt resultat kommer att vara 50% vardera för de två avsnitten funktionell programmering och dataabstraktion.

De ordinarie uppgifterna på basblocket ska redovisas senast vid tentamenstillfället. För försent inlämnade gäller att rättning av uppgifter görs vid ett tillfälle, vid läsårets slut.

Fördjupningsblock

Kursens återstående avsnitt väljes efter önskat betyg.

Preliminärt kommer följande fördjupningsavsnitt att finnas:

Den definitiva listan över projekt meddelas i samband med sista föreläsningen på basblocket.

Antalet platser på varje avsnitt är begränsat. Tid när anmälningslistor anslås meddelas senare.

För betyget 3 krävs två enheter fördjupningsavsnitt, för betyget 4 tre enheter, för betyget 5 fyra godkända enheter fördjupningsavsnitt. Varje fördjupningsuppgifter ger 2 till 4 enheter enligt senare meddelande.

Redovisningen av ett fördjupningsavsnitt består av

Två redovisningstillfällen kommer anordnas för fördjupningsavsnitten: ett i slutet av terminen, ett vid ett senare tillfälle. För studenter som som redovisar sina fördjupningsuppgifter senast under höstterminen ska göra tre programmeringsuppgifter på basblocket, övriga fyra.

Undervisning på fördjupningsavsnitten ges enbart i form handledning.

Totala kurskrav

För godkänt resultat på kursen krävs

Samtliga moment på kursen ska slutföras inom samma läsår. Det är således inte möjligt att "spara" delresultat mellan två läsår.

Kursens moment ska lösas individuellt eller i grupper om två, förutom tentamen som är individuell. Vid arbete i grupp gäller att gruppens båda medlemmar ska aktivt delta i hela arbetet och allt arbete ska vara gemensamt. Att fördela uppgifter mellan sig inom en grupp är inte tillåtet.

Förhör kommer att hållas på inlämnade uppgifter eller under arbetets gång. Eventuella förekomster av fusk, kommer, såsom högskoleförodningen fastställer, att anmälas till rektor.

Preliminär föreläsningsplan
(varje undervisningstillfälle omfattar 3 lektioner ā 45 minuter)

1. Inledning. Introduktion till funktionell programmering.
Anders Berglund: Anteckningar om Lisp som funktionellt programmeringsspråk.
Kia Höök: Arbetsmetod för små program föreläsningsanteckningar
Laboration.
2.Funktionell programmering i Lisp, forts
Litteratur som Föreläsning 1.
3.Funktionell programmering i Lisp, forts
Litteratur som Föreläsning 1.
4,5



Abstrakta datatyper.
Lisp-implementeringar. Formella definitioner av ADTer.
Abelsson-Sussman
Kia Höök: Arbetsmetod för stora program
Cleaveland
6.Genomgång av fördjupningsavsnitt. 

  Anders Berglund			office	    + 46 (18) 471 31 67
  Information Technology		mobile	    + 46 (70) 425 02 11
  Department of Computer Systems        fax, dept   + 46 (18) 55 02 25
  P.O. Box 325				
  S-751 05 Uppsala			
  Sweden				
  e-mail: Anders.Berglund@docs.uu.se