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. Det finns också en förteckning över fel som upptäckts i OH-bilderna.

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

26/9, 10-12, Aulan

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

26/9, 13-15, Aulan, A
27/9, 13-15, Aulan, B

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

3/10, 10-12, Sal 2247, A
3/10, 13-15, Sal 2247, B
4/10, 13-15, Sal 2247, B

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

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

Moment 4 - Om rekursion. OH-bilder

17/10, 10-12, Sal 2247, A
17/10, 13-15, Sal 2247, B
18/10, 13-15, Sal 2247, B

Moment 5 - Mer om rekursion. OH-bilder

28/10, 10-12, Sal 2247, A
28/10, 13-15, Sal 2247, B

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

7/11, 10-12, Sal 2247, A
8/11, 08-10, Sal 1311, 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.
8/11, 13-15, Sal 2247, B

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

14/11, 10-12, Sal 2247, A
14/11, 13-15, Sal 2247, B. Ett programutvecklingsexempel. OH-bilder.
15/11, 13-15, Sal 2247, B

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

21/11, 10-12, Sal 2247, A
21/11, 13-15, Sal 2247, Reservtid
22/11, 13-15, Sal 2247, B

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

28/11, 10-12, Sal 2247, A
28/11, 13-15, Sal 2247, B

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

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

Moment 11 - Om webbprogrammering. OH-bilder

12/12, 10-12, Sal 2247, Reservtid
12/12, 13-15, Sal 2247, B

Repetition, tentagenomgång

13/12, 13-15, Sal 2247