PKD 10/11: 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 momenet går i varandra tidsmässigt, så föreläsningstiderna ligger inte alltid 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)

26/10, 13-15
26/10, 15-17

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

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

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

5/11, 10-12
8/11, 10-12
8/11, 13-15

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

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

Moment 5 - Gästföreläsning 1. OH-bilder (Lars-Henrik)

22/11, 10-12, Gästföreläsning 1: Erik Stenman från Klarna (f.d. Kreditor) talar om industriell användning av funktionell programmering.

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

26/11, 10-12
29/11, 10-12

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

Have a running CAS session and right-click on the following two links to save the files (if that does not work, then contact Elias or 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 CLRS; du kan hoppa över allt om invarianter, lilla-oh, och lilla-omega, samt avsnitt 4.6 och 7.3)

22/11, 13-15
29/11, 13-15
3/12, 10-12
6/12, 13-15

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

(OH-bilder, binära träd program, binära sökträd program, AVL träd applet 1, AVL träd applet 2; läs avsnitt B.5 och 10.4, samt kapitel 12 i CLRS; du kan hoppa över avsnitt 12.4; AVL träd behandlas inte i CLRS, men i avsnitt 6.3 i L: fotokopior fördelas i klassrummet till ägarna av CLRS)

13/12, 10-12
13/12, 13-15
14/1, 10-12
17/1, 10-12

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

6/12, 10-12
10/12, 10-12

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

21/1, 10-12
24/1, 10-12

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

26/1, 13-15
31/1, 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 CLRS)

17/1, 13-15

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

Have a running CAS session and right-click on the following link to save the file (if that does not work, then contact Elias or Pierre): (OH-bilder, binomial heap program, binomial heap applet; läs kapitel 6 och problem 19-2 i CLRS; du kan hoppa över avsnitt 6.4; binomial heaps behandlas inte i L)

4/2, 10-12

Moment 14 - "Hash"tabeller. (Pierre)

Have a running CAS session and right-click on the following link to save the file (if that does not work, then contact Elias or Pierre): (OH-bilder; läs kapitel 11 i CLRS; du kan hoppa över avsnitt 11.3.3 och 11.5)

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

Moment 15 - Enkla grafalgoritmer. (Pierre)

(OH-bilder ; läs kapitel 22 samt sidor 587-588 och avsnitt B.4 i CLRS)
11/2, 10-12
14/2, 10-12

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

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

Repetition (Lars-Henrik/Pierre)

11/3, 10-12, Repetition

Överkursföreläsningar (Lars-Henrik)

24/1, 13-15, 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.
31/1, 13-15, Mera om programmering med högre ordningens funktioner. Programfiler med exempel

Reservtider

Inga just nu