Länkstig

Matematikens domänspecifika språk

Kurs
DIT983
Grundnivå
7,5 högskolepoäng (hp)
Study pace
50%
Time
Dag
Location
Göteborg
Study form
Campus
Language
Engelska
Start/slut
-
Ansökningsperiod
-
Application code
GU-86020
Ansökan stängd. Sen anmälan öppnar 13 december 2024.

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.