Matematikens domänspecifika språk
Om utbildningen
Kursen presenterar klassiska matematiska ämnen från ett datavetenskapligt perspektiv: genom att specificera de introducerade begreppen, vara uppmärksam på syntax och typer, och slutligen genom att bygga domänspecifika språk för vissa av de matematiska områden som nämns nedan.
Föreläsningarna kommer att behandla:
- Introduktion till funktionell programmering, programkalkyl och bevis
- Introduktion till domänspecifika språk (DSL) med linjär algebra som exempel
- DSL och matematik: kategoriteori som exempel
- Reell analys: medelvärdessatser, Taylors formler
- Reell analys: ett DSL for potensserier
- Mer linjär algebra: egenvärden och optimering
Behörigheter och urval
Behörighet
För behörighet till kursen krävs att studenten ska ha avklarat:
- 7,5 hp i diskret matematik (exempelvis DIT980 Diskret matematik för Datavetare)
- 15 hp inom matematik (exempelvis MMGD20 Linjär algebra D och MMGD30 Matematisk analys D)
- 15 hp inom datavetenskap (exempelvis DIT440 Introduktion till funktionell programmering eller MVG300 Programmering med Matlab och DIT012 Imperativ programmering med grundläggande objektorientering)
Ytterligare 22.5hp inom matematik eller datavetenskap
Urval
Högskolepoäng, max 165 hp.