Programkonstruktion
Från IT-Wiki
| Varning: Detta är en sida skapad av studenter från pågående/föregående kurstillfälle och speglar kursen utifrån vårt perspektiv. Observera att kursinnehållet kan skilja stort från år till år. Faktafel kan förekomma! |
|---|
Programkonstruktion (1DL200)
[redigera] Period ht 2008/vt 2009[redigera] Viktigt
[redigera] Om kursenKursen är på 10 hp och läses av IT1 tillsammans med DVK1 med start i slutet av höstterminen 2008 och slut i mitten av vårterminen 2009. Den innehåller grundläggande programmering med Introduktion till informationsteknologi som enda förkunskapskrav. Före 2007 kallades kursen för Programkonstruktion I på IT-programmet och Programmeringsmetodik DV1 på DVP (nuvarande DVK). Kursplan. | 
|
Språket man läser heter SML (Standard ML), med implementationen moscow ML (använder en kompilator som omvandlar till bytekod) som kan laddas ner här. Det är ett funktionellt språk med rekursion istället för while- och for-loopar. Principiellt kan man antingen arbeta direkt i en tolk/terminal (med kommandot mosml), i emacs (med kombinationen M-x mosml) eller skriva i en texteditor och spara filer på formatet .sml så att de kan köras i ML (med funktionen use). Om du är nyfiken eller undrar över något av andra anledningar så finns en FAQ att tillgå, som tillsammans med wikipedias sida om ML och nedanstående kurslitteratur borde kunna svara på de flesta frågor. Om informationen där inte räcker, gå in på kurshemsidan för mer info eller maila Lars-Henrik, lektionsledarna eller labbassistenterna vars epostadresser finns här.
Kursen har betygsnivåerna U, 3, 4 och 5. Lite speciellt för kursen är att det ställs ovanligt höga krav på kvalitet på de uppgifter som lämnas in (kodstandard, funktion, med mera) och att man är stenhård på deadlines. Föreläsningarna är också uppdelade i A, B och C där A innehåller det mest grundläggande, B tar upp fullständigt material i ett högt tempo och C utgör överkurs och ger exempel på mer avancerade tillämpningar av kursmaterialet.
[redigera] Litteratur
- Titel: Programkonstruktion Kompendium
- Författare: Lars-Henrik Eriksson, Gray Michaelson, Sergei Romanenko, Claudio Russo, Peter Sestoft
- Antal sidor: ca 200
- Pris: 70 kr på UTHgård
- Köpa-boken faktor (1-5): 5
- Kommentar: Innehåller kodningsstandard, programutvecklingstips, utdrag av "Elementary Standard ML", OH-bilder från föreläsningar (ovärderligt) samt utdrag ur "Moscow ML Language Overview"
Man rekommenderas även att läsa Elementary Standard ML och Introduction to Programming using SML, varav åtminstone den förstnämnda finns att hämta hem från Internet (klicka på länken). För att läsa PostScript-filer (vilket är det format som Elementary Standard ML är uppladdat som) krävs särskild programvara, till exempel GSView (PC, man behöver ladda ner två filer: Det grafiska interfacet och interpretatorn Ghostscript), MacGhostView (Mac) eller Ghostview (UNIX).
[redigera] Examination
- Man ska få godkänt på minst 7 av de 10 labbarna. Viktigt att hålla deadlines, en bristande lösning medför komplettering (bättre än underkänd).
- I slutet av kursen skall man göra två stycken inlämningsuppgifter, av jämförelsevis hög svårighetsgrad.
- Kursen avslutas med en tenta, som är avgörande för den som vill ha betyg över godkänt.
[redigera] Externa länkar
Mall (Kan vara användbar för att efterlikna kodstandard särskilt i de första labbarna)
