Domain Specific Languages of Mathematics
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
This course is open to
Exchange students at the Department of Computer Science and Engineering and exchange students at university-wide agreements. Please contact your international coordinator the University of Gothenburg if you need to know more.
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.
English proficiency
For information regarding English proficiency requirements for exchange students please contact your international coordinator at the University of Gothenburg.
Application
Do you want to apply for exchange studies at the University of Gothenburg?