This offering is not in the current catalogue. The information is retained from an earlier publication. Check the provider's current offering.
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…
- Higher education
- Information unavailable
- 20 January 2025
- Information unavailable
- Information unavailable
- 50 %
Overview
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
Admission scores
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.
The text is reproduced from the Susa source. Antagningsdata does not map GY11 and GY25 or assess personal eligibility.
Source, measure and data quality
- Source
- Skolverket Susa-navet
- Period
- 2025-01-20
- Measure
- Entry-requirement text reproduced from the published Susa data; no personal eligibility assessment is made.
- Population
- Education offering e.uoh.gu.dit983.86019.20251
- Last checked
- 2026-09-23T10:36:42.164498+00:00
- Limitation
- Antagningsdata does not map GY11 and GY25. General and specific conditions are not separated without structured source data.
Programme content
Study structure
Application and important dates
- Programme or course starts
- Programme or course ends
Salary and salary distribution
Common occupations after graduation
Students
Geographical background
Previous upper-secondary schools and programmes
Completion and outcomes
About the provider
Sources and data quality
Education facts for the selected offering come from Skolverket Susa-navet.
Retrieved . Published . Times are shown in Swedish local time.
Source identity and publication version
- Publication version
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Education identity in the source
- i.uoh.gu.dit983.86019.20251
- Offering identity in the source
- e.uoh.gu.dit983.86019.20251
- Education-form source code
- HS
- Education code in the source
- DIT983
- Change time according to the source
- 2024-09-10T10:12:30
The provider, education and education offering are separate identities. Application information should be checked on the official website. Supplementary statistics have not been obtained from this source.