Domain Specific Languages of Mathematics - University of Gothenburg Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Domain Specific Languages of Mathematics

Bachelor's level | 7.5 credits | Course code: DIT982

The course is not given as a stand-alone course this academic year, but can be included in the program/course package. For information contact the department.

About the Course

Software engineering involves modelling very different domains (e.g., business processes, typesetting, natural language, etc.) as software systems.  The main idea of this course is that this kind of modelling is also important when tackling classical mathematics.  In particular, it is useful to introduce abstract datatypes to represent mathematical objects, to specify the mathematical operations performed on these objects, to pay attention to the ambiguities of mathematical notation and understand when they express overloading, overriding, or other forms of generic programming.  We shall emphasize the dividing line between syntax (what mathematical expressions look like) and semantics (what they mean).  This emphasis leads us to naturally organize the software abstractions we develop in the form of domain-specific languages, and we will see how each mathematical theory gives rise to one or more such languages, and appreciate that many important theorems establish "translations" between them.

Mathematical objects are immutable, and, as such, functional programming languages are a very good fit for describing them.  We shall use Haskell as our main vehicle, but only at a basic level, and we shall introduce the elements of the language as they are needed. The mathematical topic treated have been chosen either because we expect all students to be familiar with them (for example, limits of sequences, continuous functions, derivatives) or because they can be useful in many applications (e.g., analytic functions, Laplace transforms).

More Information

http://gul.gu.se/public/cour...

Show more

Course Syllabus

DIT982

Tuition Fee

Please contact the department.
EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on: http://www.universityadmissions.se

Study Guidance

E-post: svl@cse.gu.se

Department

Department of Computer Science and Engineering
41296 Göteborg

Visiting address: Rännvägen 6 B

Page Manager: Jörgen Ölund
Last update: 2/18/2020 2:41 PM

Tell a friend about this page
Print version

Page Manager: Jörgen Ölund|Last update: 10/16/2018
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?