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
Kommande starter
1 tillgängligt startdatum
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...
Highlights