Matematikens domänspecifika språk

Göteborgs universitet
Sammanfattning
Fristående kurser (grundnivå)
Göteborg
7.5 hp
Deltid
Klassrum
Startdatum: Vår 2023 - Göteborg

Matematikens domänspecifika språk

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

Förkunskaper

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

Göteborgs universitet

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 37 000 studenter och 6 000 medarbetare gör universitetet till en stor och inspirerande arbetsplats, flödande av kunskap och idéer. Öppenheten är ett signum som genomsyrar verksamheten. Universitetet tar plats i debatten...


Läs mer om Göteborgs universitet och visa alla utbildningar

Hitta till utbildaren

Göteborgs universitet


Recensioner

Det finns inga recensioner för Matematikens domänspecifika språk

Jobb & Lön

Var finns framtidens jobb & hur mycket kommer jag att tjäna?

Få koll på vad du kan tjäna efter din utbildning och om den branschen är värd att investera din tid i.

Till Jobb & Lön