Hoppa till huvudinnehållet
Institutionen för informationsteknologi

PKD 11/12: 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 (Lars-Henrik)

27/10, 10-12
27/10, 13-15

Moment 2 - Funktioner och programutveckling. OH-bilder (Lars-Henrik)

31/10, 13-15
4/11, 13-15
7/11, 13-15

Moment 3 - Rekursion och listor. OH-bilder (Lars-Henrik)

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

Moment 4 - Programmeringsmetodik och programvaruteknik. OH-bilder (Lars-Henrik)

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

Moment 5 - Generella datastrukturer. OH-bilder (Lars-Henrik)

21/11, 15-17
24/11, 10-12

Moment 6 - Algoritmanalys, "divide and conquer" algoritmdesign, och sortering. (Pierre)

OH-bilder, mer OH-bilder (originalen), påminnelse om induktion (sidor 5-12), analyserade program, sortering program, sortering applet 1, sortering applet 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

24/11, 13-15
28/11, 13-15
29/11, 13-15
1/12, 13-15

Moment 7 - Binära träd. (Pierre)

OH-bilder, 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

5/12, 13-15
6/12, 13-15
8/12, 13-15

Moment 8 - Gästföreläsning 1. OH-bilder

12/12, 13-15, Gästföreläsning: Cons Åhs från Klarna (f.d. Kreditor) talar om industriell användning av funktionell programmering.
15/12, 10-12, Reserv: inställt
16/12, 10-12, Reserv: inställt

Moment 9 - Högre ordningens funktioner. OH-bilder (Lars-Henrik)

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

Moment 10 - Abstrakta datatyper. OH-bilder (Lars-Henrik)

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

Moment 11 - Sidoeffekter, in/utmatning, imperativ programmering. OH-bilder (Lars-Henrik)

30/1, 10-12
6/2, 10-12

Moment 12 - Stackar och först-in-först-ut köer. (Pierre)

OH-bilder, stack program, först-in-först-ut kö program; läs sidor 229-231 och avsnitt 10.1 i CLRS3

19/1, 10-12

Moment 13 - "Heaps" och prioritetsköer. (Pierre)

OH-bilder, binomial heap program, binomial heap applet; läs kapitel 6 och problem 19-2 i CLRS3; du kan hoppa över avsnitt 6.4; binomial heaps behandlas inte i L

25/1, 10-12

Moment 14 - "Hash"tabeller. (Pierre)

OH-bilder; läs kapitel 11 i CLRS3; du kan hoppa över avsnitt 11.3.3 och 11.5

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

Moment 15 - Elementära grafalgoritmer. (Pierre)

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

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

Moment 16 - Gästföreläsning 2.

13/2, 13-15, Gästföreläsning 2: Mattias Willman, CTO av Trade Extensions talar om industriell relevans av algoritmer. (OH-bilder)
16/2, 10-12, Reserv: inställt

Repetition (Lars-Henrik och Pierre)

12/3, 10-12

Överkursföreläsningar (Lars-Henrik)

12/3, 13-15, Mera om programmering med högre ordningens funktioner. Programfiler med exempel

Reservtider

Inga just nu

Uppdaterad  2012-03-07 18:40:30 av Lars-Henrik Eriksson.