PKD 12/13: Föreläsningar

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

Syftet med föreläsningsplanen är att tala om när olika moment i kursen kommer att behandlas. Föreläsningsplanen är inget schema! Det officiella schemat finns här. Observera att flera moment kan gå i varandra tidsmässigt, så föreläsningstiderna ligger inte nödvändigtvis i kronologisk ordning.

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

All information i föreläsningsplanen är preliminär och kan ändras vid behov!

Länkar till OH-bilder för repektive kursmoment finns i rubrikerna nedan. OH-bilderna kommer att läggas upp successivt.

Det finns en förteckning över fel som upptäckts och ändringar som gjorts i OH-bilderna sedan de lades upp på webben första gången.

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

29/10, 10-12
29/10, 13-15

Moment 2 - Funktioner och programutveckling. OH-bilder

31/10, 08-10
5/11, 10-12
5/11, 13-15

Moment 3 - Rekursion och listor. OH-bilder

7/11, 13-15
12/11, 15-17
13/11, 13-15

Moment 4 - Programmeringsmetodik och programvaruteknik. OH-bilder

15/11, 10-12
19/11, 10-12

Moment 5 - Algoritmanalys, "divide and conquer" algoritmdesign, och sortering. (Pierre Flener) OH-bilder

Kompletterande OH-bilder (originalen), påminnelse om induktion (sidor 5-12), analyserade program, sorteringsprogram, sorteringsapplet 1, sorteringsapplet 2; läs kapitel 1, 2, 3, 4, och 7 samt sidor 147-150 och Appendix D i CLRS3; du kan hoppa över allt om invarianter, lilla-oh, och lilla-omega, samt avsnitt 4.6 och 7.3

19/11, 13-15
22/11, 08-10
26/11, 15-17
27/11, 13-15

Moment 6 - Generella datastrukturer. OH-bilder

3/12, 10-12
6/12, 15-17

Moment 7 - Binära träd.

OH-bilder (bilder 32-39 ingår inte i kursen), binära träd program, binära sökträd program, red-black-träd program; läs avsnitt B.5 och 10.4, kapitel 12 (du kan hoppa över avsnitt 12.4), avsnitt 13.1 och 13.2 i CLRS3 (OBS: avsnitt 13.3 i CLRS3 har inte samma algoritmen som i kursen), samt Red-Black Trees in a Functional Setting av Chris Okasaki, i Journal of Functional Programming, 9(4):471-477, July 1999

10/12, 10-12
12/12, 15-17

Reserv/gäst/överkurs/repetitionsföreläsningar under hösten

29/11, 15-17, INGEN FÖRELÄSNING. Reservtid som inte kommer att användas.
3/12, 13-15, Gästföreläsning: Cons Åhs från Klarna talar om industriell användning av funktionell programmering. OH-bilder.
10/12, 13-15, Överkursföreläsning: 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.
17/12, 10-12, Repetitionsföreläsning. Genomgång av gamla tentauppgifter. Frågor & svar.
17/12, 13-15, INGEN FÖRELÄSNING. Reservtid som inte kommer att användas.

Moment 8 - Högre ordningens funktioner. OH-bilder

21/1, 10-12
21/1, 13-15

Moment 9 - Abstrakta datatyper, stackar och köer. OH-bilder mer OH-bilder stack program, först-in-först-ut kö program; läs avsnitt 10.1 i CLRS3

23/1, 13-15
28/1, 10-12
28/1, 13-15

Moment 10 - Sidoeffekter, in/utmatning, imperativ programmering. OH-bilder

30/1, 13-15
6/2, 15-17

Moment 11 - "Heaps", prioritetsköer, hashtabeller. OH-bilder mer OH-bilder binomial heap program, binomial heap applet; läs kapitel 6, 11 och problem 19-2 i CLRS3; du kan hoppa över avsnitt 6.4, 11.3.3 och 11.5; binomial heaps behandlas inte i L

4/2, 10-12
4/2, 13-15

Moment 12 - Elementära grafalgoritmer. OH-bilder; läs kapitel 22 samt sidor 587-588 och avsnitt B.4 i CLRS3

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

Reserv/gäst/överkurs/repetitionsföreläsningar under våren

13/2, 13-15, Överkursföreläsning. Mera om programmering med högre ordningens funktioner.

18/2, 10-12, INGEN FÖRELÄSNING. Reservtid som inte kommer att användas.
18/2, 13-15, INGEN FÖRELÄSNING. Reservtid som inte kommer att användas.
18/3, 15-17, Repetitionsföreläsning