PK 09/10: Föreläsningar
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.
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
27/10, 15-17, Aulan
Moment 1 - Introduktion till programmering och programspråket Standard ML. OH-bilder
28/10, 15-17, Aulan
29/10, 13-15, Aulan
Moment 2 - Introduktion till funktioner och programutveckling. OH-bilder
2/11, 10-12, Aulan
2/11, 13-15, Aulan
Moment 3 - Mer om funktioner och bindningar. OH-bilder
9/11, 10-12, Aulan
9/11, 13-15, Aulan
Moment 4 - Om rekursion. OH-bilder
13/11, 10-12, Sal 2146
16/11, 13-15, Sal 2146
Moment 5 - Mer om rekursion. OH-bilder
20/11, 13-15, Sal 2146, Gästföreläsning: Erik Stenman från Klarna (f.d. Kreditor) talar om industriell användning av funktionell programmering. Det finns OH-bilder från föreläsningen.
23/11, 10-12, Sal 2146
23/11, 13-15, Sal 2146
Moment 6 - Om listor och polymorfa typer. OH-bilder
27/11, 13-15, Sal 2146
30/11, 10-12, Sal 2146
30/11, 13-15, Sal 2146, Överkurs: 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.
Moment 7 - Om generella datastrukturer och träd. OH-bilder
4/12, 13-15, Sal 2146
7/12, 13-15, Sal 2146
Moment 8 - Om abstrakta datatyper och binära sökträd. OH-bilder
18/1, 10-12, Sal 2146
18/1, 13-15, Sal 2146
Moment 9 - Om högre ordningens funktioner. OH-bilder
22/1, 13-15, Sal 2146
25/1, 10-12, Sal 2146, Ett programutvecklingsexempel. OH-bilder.
25/1, 13-15, Sal 2146
Moment 10 - Om sidoeffekter, in/utmatning, imperativ programmering OH-bilder
29/1, 13-15, Sal 2146
1/2, 10-12, Sal 2146, Överkurs: Mera om programmering med högre ordningens funktioner. Programfiler med exempel
1/2, 13-15, Sal 2146
Moment 11 - Om webbprogrammering OH-bilder
5/2, 13-15, Sal 2146
Repetition
8/3, 15-17, Sal 2146, Repetition, genomgång av gamla tentor