Till KTH:s startsida Till KTH:s startsida

Ändringar mellan två versioner

Här visas ändringar i "Lectures" mellan 2013-11-11 09:51 av Johan Montelius och 2013-11-13 12:44 av Johan Montelius.

Visa < föregående | nästa > ändring.

Föreläsningar

Vi kommer att ha fjorton föreläsningar under kursens gång, dessa är inte obligatoriska men rekommenderade. Föreläsningarna kommer att diskutera och fördjupa aspekter som som kursliteraturen inte täcker.


* overview.pdf
Under kursens gång kommer presentationer att läggas upp.

Introduktion Grunderna för funktionell programmering och grunderna för Erlang. Lambda-kalkyl och deklarativ semantik, beskriven med omskrivningsregler.


* introduction.pdf
* evaluation.pdf
Erlang Enkla program i Erlang, datatyper, mönstermatchning och hur man kan representera information. Innan föreläsniongen skall ni ha sett de två första delarna i Erlang Solutions kurs:


* Introduction to Erlang
* Basic Erlang
Ni skall också ha läst kapitel 1 och 2 i Erlang Programming.

Rekursion I och II Rekursion är kanske begreppet med högst tröskel inom funktionell programmering, idén är naturligtvis väldigt enkel men ställer till en del huvudbry till en början. Som komplement till dessa två föreläsningar finns Erlang Solutions föreläsningar:


* Sequential Erlang
Under desa två föreläsningar kommer vi att gå igenom mycket av kapitel 2 i Erlang Programming from till och med "Recursion". Läs igenom delarna innan föreläsningarna.


* recursion.pdf
* trees.pdf