Tillfället ingår inte i den aktuella katalogen. Uppgifterna är bevarade från en tidigare publicering. Kontrollera aktuellt utbud hos anordnaren.
University of Gothenburg
Domain Specific Languages of Mathematics
The course will present classical mathematical topics from a computing science perspective: giving specifications of the concepts introduced, paying attention to syntax and types, and ultimately constructing DSLs of some mathematical areas mentioned below. The lecture topics are: Introduction to functional program…
- Högskoleutbildning
- Uppgift saknas
- 19 januari 2026
- Uppgift saknas
- Uppgift saknas
- 50 %
Översikt
The course will present classical mathematical topics from a computing science perspective: giving specifications of the concepts introduced, paying attention to syntax and types, and ultimately constructing DSLs of some mathematical areas mentioned below. The lecture topics are: Introduction to functional programming and calculational proofs<br> Introduction to Domain Specific Languages (DSLs): case study linear algebra<br> DSLs and mathematics: case study category theory<br> Real analysis: mean value theorems, Taylor formulas<br> Real analysis: a DSL for power series<br> More linear algebra: eigenvalues and optimization
Antagningspoäng
Behörighet
The student should have successfully completed: - 7\.5 hec in discrete mathematics, for example DIT980 Introductory Discrete Mathematics for Computer Scientists - 15 hec in mathematics, for example MMGD20 Linear Algebra D and MMGD30 Calculus D - 15 hec in computer science, for example DIT440 Introduction to Functional Programming or MVG300 Programming with Matlab and DIT012 Imperative Programming with Basic Object-orientation Additional 22.5 hec of any mathematics or computer science courses.
Texten återges från Susa-underlaget. Antagningsdata gör ingen egen mappning mellan GY11 och GY25 och bedömer inte personlig behörighet.
Källa, mått och datakvalitet
- Källa
- Skolverket Susa-navet
- Period
- 2026-01-19
- Mått
- Behörighetstext återgiven från publicerat Susa-underlag; ingen personlig behörighetsbedömning.
- Population
- Utbildningstillfälle e.uoh.gu.dit983.86024.20261
- Senaste kontroll
- 2026-09-23T10:36:42.164498+00:00
- Begränsning
- GY11 och GY25 mappas inte av Antagningsdata. Grundläggande och särskilda villkor separeras inte utan strukturerat underlag.
Utbildningens innehåll
Studiernas upplägg
Ansökan och viktiga datum
- Utbildningen startar
- Utbildningen slutar
Lön och lönefördelning
Vanliga yrken efter utbildningen
Studenterna
Geografisk bakgrund
Tidigare gymnasieskolor och program
Genomströmning och utfall
Om anordnaren
University of Gothenburg
Anordnare för det publicerade utbildningstillfället.
Källor och datakvalitet
Utbildningsfakta för valt tillfälle kommer från Skolverket Susa-navet.
Hämtad . Publicerad . Tider visas i svensk tid.
Källidentitet och publiceringsversion
- Publiceringsversion
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Utbildningsidentitet hos källan
- i.uoh.gu.dit983.86024.20261
- Tillfällesidentitet hos källan
- e.uoh.gu.dit983.86024.20261
- Utbildningsformens källkod
- HS
- Utbildningskod hos källan
- DIT983
- Ändringstid enligt källan
- 2026-01-12T09:42:50
Anordnare, utbildning och utbildningstillfälle är separata identiteter. Uppgifter om ansökan bör kontrolleras på den officiella webbplatsen. Kompletterande statistik har inte hämtats från denna källa.