Matematikens domänspecifika språk
Göteborgs universitet
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
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
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...
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.
