Hoppa till huvudinnehållet
Institutionen för informationsteknologi

PK 09/10: Föreläsningar

Allmän information om föreläsningarna finns här.

Obs att all information i föreläsningsplanen är preliminär och kan ändras vid behov. Efter kursstart kommer sådana ändringar att meddelas på kursens nyhetssida. Detta är en god anledning att regelbundet läsa nyhetssidan. Före kursstart lämnas inga speciella meddelanden.

I planen finns reservföreläsningar inlagda. Skulle t.ex. någon föreläsning behöva flyttas, så kommer i första hand reservtiderna att användas. Om de inte behövs så kommer de att ställas in.

Länkar till OH-bilder till repektive kursmoment finns i rubrikerna nedan. OH-bildsfilerna är utformade för att läsas på dator (en bild per sida). Vill du ha utskrivna OH-bilder så bör du köpa kurskompendiet.

Det finns en förteckning över fel som upptäckts och ändringar som gjorts i OH-bilderna sedan kurskompendiet trycktes.

Moment 0 - Introduktionsföreläsning. OH-bilder

27/10, 15-17, Aulan

Moment 1 - Introduktion till programmering och programspråket Standard ML. OH-bilder

28/10, 15-17, Aulan
29/10, 13-15, Aulan

Moment 2 - Introduktion till funktioner och programutveckling. OH-bilder

2/11, 10-12, Aulan
2/11, 13-15, Aulan

Moment 3 - Mer om funktioner och bindningar. OH-bilder

9/11, 10-12, Aulan
9/11, 13-15, Aulan

Moment 4 - Om rekursion. OH-bilder

13/11, 10-12, Sal 2146
16/11, 13-15, Sal 2146

Moment 5 - Mer om rekursion. OH-bilder

20/11, 13-15, Sal 2146, Gästföreläsning: Erik Stenman från Klarna (f.d. Kreditor) talar om industriell användning av funktionell programmering. Det finns OH-bilder från föreläsningen.
23/11, 10-12, Sal 2146
23/11, 13-15, Sal 2146

Moment 6 - Om listor och polymorfa typer. OH-bilder

27/11, 13-15, Sal 2146
30/11, 10-12, Sal 2146
30/11, 13-15, Sal 2146, Överkurs: Formell verifiering eller hur man bevisar att program gör rätt utan att testa dem. OH-bilder. Dessutom finns en presentation av vad formella metoder är och hur de används i industrin.

Moment 7 - Om generella datastrukturer och träd. OH-bilder

4/12, 13-15, Sal 2146
7/12, 13-15, Sal 2146

Moment 8 - Om abstrakta datatyper och binära sökträd. OH-bilder

18/1, 10-12, Sal 2146
18/1, 13-15, Sal 2146

Moment 9 - Om högre ordningens funktioner. OH-bilder

22/1, 13-15, Sal 2146
25/1, 10-12, Sal 2146, Ett programutvecklingsexempel. OH-bilder.
25/1, 13-15, Sal 2146

Moment 10 - Om sidoeffekter, in/utmatning, imperativ programmering OH-bilder

29/1, 13-15, Sal 2146
1/2, 10-12, Sal 2146, Överkurs: Mera om programmering med högre ordningens funktioner. Programfiler med exempel
1/2, 13-15, Sal 2146

Moment 11 - Om webbprogrammering OH-bilder

5/2, 13-15, Sal 2146

Repetition

8/3, 15-17, Sal 2146, Repetition, genomgång av gamla tentor

Uppdaterad  2010-01-22 13:09:27 av Lars-Henrik Eriksson.