DAT326 · Chalmers tekniska högskola
Matematikens domänspecifika språk
Ny kurs
Inga tentor än
Ladda upp dina tidigare tentor och få hjälp med att strukturera ditt studiematerial
Få dina tentauppgifter kategoriseradeBli guidad genom ditt studiematerialFå hjälp direkt med teori och tipsHåll koll på dina framsteg
HP
4
Språk
Engelska
Institution
Data- och informationsteknik
Lärandemål
- Kunskap och förståelse
- designa och implementera ett domänspecifikt språk (DSL) för en ny domän
- strukturera delområden inom matematik i termer av DSL
- förklara de centrala begreppen i grudläggande reell och komplex analys, algebra och linjär algebra
- F
- ä
- r
- d
- i
- g
- h
- e
- t
- o
- c
- f
- ö
- m
- å
- a
- utveckla lämplig notation för matematiska koncept
- genomföra och kalkylera bevis
- använda potensserier för att lösa differentialekvationer
- använda Laplace-transformer för att lösa differentialekvationer
- V
- n
- s
- l
- diskutera och jämföra olika implementationer av matematiska begrepp
Kursinnehåll
- 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 formuler
- Reell analys: ett DSL för potensserier
- Mer linjär algebra: egenvärden och optimering
Förutsättningar
- Grundläggande behörighet för grundnivå
Litteratur
Se separat litteraturlista.
Liknande kurser vid andra universitet
Gör som 15 000+ studenter och ta kontroll över ditt tentaplugg.
Kom igång gratis