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

30/10, 10-12, Sal 2146

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

30/10, 13-15, Sal 2146, A
31/10, 10-12, Sal 2146, B

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

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

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

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

Moment 4 - Om rekursion. OH-bilder

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

Moment 5 - Mer om rekursion. OH-bilder

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

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

5/12, 10-12, Sal 2146, B
5/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
8/12, 13-15, Sal 2146, B

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

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

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

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

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

30/1, 10-12, Sal 2146, B
2/2, 10-12, Sal 2146, B

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

6/2, 13-15, Sal 2146, B
9/2, 10-12, C. Mera om programmering med högre ordningens funktioner. Programfiler med exempel
9/2, 13-15, Sal 2146, B

Moment 11 - Om webbprogrammering OH-bilder

13/2, 13-15, Sal 2146, B

Repetition

6/3, 13-15, Sal 2146, Repetition, tentagenomgång