Breadcrumb

Domain Specific Languages of Mathematics

Course
DIT983
Bachelor’s level
7.5 credits (ECTS)
Study pace
50%
Time
Day
Location
Göteborg
Study form
Campus
Language
English
Duration
-
Application period
-
Application code
GU-86020
Tuition
Full education cost: 19 253 SEK
First payment: 19 253 SEK

No fees are charged for EU and EEA citizens, Swedish residence permit holders and exchange students.

More information about tuition fees

Application closed, late application opens 13 December 2024.

About

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
  • Introduction to Domain Specific Languages (DSLs): case study linear algebra
  • DSLs and mathematics: case study category theory
  • Real analysis: mean value theorems, Taylor formulas
  • Real analysis: a DSL for power series
  • More linear algebra: eigenvalues and optimization

Prerequisites and selection

Entry requirements

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.

Selection

Selection is based upon the number of credits from previous university studies, maximum 165 credits.