Hoppa till huvudinnehållet
Institutionen för informationsteknologi

PK 07/08: 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.

A, B och C anger om det är fråga om en "A"-, ''B''- eller "C"-föreläsning -- även detta kan komma att ändras.

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

25/10, 10-12, Sal 2146

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

25/10, 13-15, Sal 2146, A
26/10, 10-12, Sal 2146, B

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

5/11, 10-12, Sal 2146, A
5/11, 13-15, Sal 2146, B
6/11, 13-15, Sal 2146, B

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

12/11, 10-12, Sal 2146, A
12/11, 13-15, Sal 2146, B
13/11, 13-15, Sal 2146, B

Moment 4 - Om rekursion. OH-bilder

21/11, 13-15, Sal 2146, A
22/11, 10-12, Sal 2146, B
23/11, 08-10, Sal 2146, B

Moment 5 - Mer om rekursion. OH-bilder

30/11, 10-12, Sal 2146, A
30/11, 13-15, Sal 2146, C. 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.
3/12, 13-15, Sal 2146, B

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

10/12, 10-12, Sal 2146, B
10/12, 13-15, Sal 2146, B, Gästföreläsning, Erik Stenman från Kreditor talar om industriell användning av funktionell programmering. OH-bilder
11/12, 13-15, Sal 2146, B

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

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

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

28/1, 10-12, Sal 2146, B

29/1, 13-15, Sal 2146, B

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

4/2, 10-12, Sal 2146, B
4/2, 13-15, Sal 2146, B

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

11/2, 10-12, Sal 2146, B
11/2, 13-15, Sal 2146, B

Repetition, tentagenomgång

4/3, 15-17, Sal 2146, C. Mera om programmering med högre ordningens funktioner. Programfiler med exempel
6/3, 10-12, Sal 2146, Repetition, tentagenomgång

Uppdaterad  2008-02-11 23:40:35 av Lars-Henrik Eriksson.