Kapitel 1. Inledning

1.1. Uppgifter och betyg

Välj en, två eller flera av nedanstående uppgifter:

  1. Lambda-kalkyl och denotationssemantik (3-4)
  2. Oändliga strukturer och lat evaluering (2)
  3. Programmeringsspråket Haskell (2)
  4. Programmeringsspråket ML (2)
  5. Programmeringsspråket FP (3)
  6. Programmeringsspråket Erlang (2-3)
  7. Objektorienterad funktionell programmering (?)(entusiastprojekt, mycket begränsat antal deltagare)
  8. Implementeringar av funktionella språk (exvis grafreduktion, kombinatorer) (?)
  9. Partialevaluering (?)
  10. En interpretator för Lisp i Lisp (3?)
  11. Valfri uppgift inom deklarativ programmering (?)

Siffran efter uppgiften anger hur många enheter uppgiften är värd.

För betyget 3 på kursen krävs två enhet, för betyget 4 tre enheter, för betyget 5 fyra enheter. Vissa projekt kan inte kombineras för ett högre betyg.

Undervisning på fördjupningsavsnitten ges i form handledning eller gemensam problemlösning. Du är naturligtvis alltid välkommen att fråga, inte bara när du redan har valt en uppgift, utan även inför ditt val. Beskrivningarna av flera av uppgifterna är kortfattade och kompletteras gärna med svar på dina frågor.

Vissa projekt behandlar ämnen som är nya för båda deltagare och lärare på kursen. Undervisningen på dessa ges i form av gemensam problemlösning. På dessa krav är uppgiftsdefinitionen öppet för diskussion.

1.2. Val av uppgifter

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

Du ska dels välja uppgift, dels välja dag-/kvällstid. Vissa projekt har handledning dagtid andra kvällstid.

1.3. Information

På anslagstavlan och WWW kommer kontinuerligt information om om redovisning, uppgifter etc. Följ denna noga.

1.4. Redovisning

Redovisningen av ett fördjupningsavsnitt består av:

Uppgiften och lektionen ska vara helt klara till redovisningstillfället. Anmälan till redovisningen är bindande.

Ett lektionstillfällen kommer anordnas för fördjupningsavsnitten. För försenade projekt ges en redovisningsmöjlighet i samband med vårens kurs.

Därutöver krävs bevistande av minst 4 lektioner inom andra fördjupningsuppgifter än de egna.

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

Programmeringsuppgifterna ska i sin helhet spegla en god programmeringssed för deklarativa språk. Således får procedurella konstruktioner endast användas i rena undantagsfall. Varje sådan användning ska i detalj motiveras. För de flesta uppgifter krävs ingen felhantering.

1.5. Kursbibliotek

Vissa böcker för kursen finns tillgängliga för läsning men inte för hemlån.

Kapitel 2


Anders Berglund                        Office: Room 1254
Department of Computer Systems         E-mail: Anders.Berglund@docs.uu.se
Box 325                                Phone (work): +46 18 471 31 67
S-751 05 Uppsala                       Mobile phone: +46 70 582 45 80
Sweden                                 Fax (work):   +46 18 55 02 25
                                       

Senast ändrad: 08/28/97 23:08:21