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
Prerequisites and selection
Requirements
The student should have successfully completed 7.5 credits in discrete mathematics as for example DIT980 Discrete Mathematics for Computer Scientists. 15 credits in mathematics, for example MMGD20 Linear Algebra D and MMGD30 Calculus D 15 credits in computer science, for example DIT440 Introduction to Functional Programming or MVG300 Programming with Matlab and DIT012 ImperativeProgramming with Basic Object-orientation Additional 22.5 credits of any mathematics or computer science Courses.
Selection
Selection is based upon the number of credits from previous university studies, maximum 225 credits.
For admission to the summer 2021 and onward the following selection applies: selection is based upon the number of credits from previous university studies, maximum 165 credits.