Search course

Use the search function to find more information about the study programmes and courses available at Chalmers. When there is a course homepage, a house symbol is shown that leads to this page.

Graduate courses

Departments' graduate courses for PhD-students.

​​​​
​​

Syllabus for

Academic year
DAT326 - Domain Specific Languages of Mathematics  
Matematikens domänspecifika språk
 
Syllabus adopted 2019-02-07 by Head of Programme (or corresponding)
Owner: TKDAT
7,5 Credits
Grading: TH - Five, Four, Three, Fail
Education cycle: First-cycle
Major subject: Computer Science and Engineering, Information Technology, Mathematics
Department: 37 - COMPUTER SCIENCE AND ENGINEERING


Teaching language: English
Application code: 49120
Open for exchange students: Yes
Only students with the course round in the programme plan

Module   Credit distribution   Examination dates
Sp1 Sp2 Sp3 Sp4 Summer course No Sp
0116 Written and oral assignments 3,5 c Grading: UG   3,5 c    
0216 Examination 4,0 c Grading: TH   4,0 c   17 Mar 2020 pm H   25 Aug 2020 pm J

In programs

TKDAT COMPUTER SCIENCE AND ENGINEERING, Year 2 (compulsory elective)
TKDAT COMPUTER SCIENCE AND ENGINEERING, Year 3 (elective)
TKITE SOFTWARE ENGINEERING, Year 3 (elective)
TKITE SOFTWARE ENGINEERING, Year 2 (elective)
TKTEM ENGINEERING MATHEMATICS, Year 3 (compulsory elective)
TIDAL COMPUTER ENGINEERING, Year 3 (compulsory elective)

Examiner:

Patrik Jansson

  Go to Course Homepage


Eligibility:

In order to be eligible for a first cycle course the applicant needs to fulfil the general and specific entry requirements of the programme(s) that has the course included in the study programme.

Course specific prerequisites

The student should have successfully completed
  • a course in discrete mathematics as for example Introductory Discrete Mathematics.
  • two more courses mathematics, for example Linear Algebra and Calculus
  • two courses in computer science, for example (Introduction to
    Programming or Mathematical Software) and Object Oriented Programming
  • an additional three courses (22.5 hec) of any mathematics or computer science courses.

Aim

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.

Learning outcomes (after completion of the course the student should be able to)

Knowledge and understanding
  • design and implement a DSL (Domain Specific Language) for a new domain
  • organize areas of mathematics in DSL terms
  • explain main concepts of elementary real and complex analysis, algebra, and linear algebra

Skills and abilities
  • develop adequate notation for mathematical concepts
  • perform calculational proofs
  • use power series for solving differential equations
  • use Laplace transforms for solving differential equations

Judgement and approach
  • discuss and compare different software implementations of mathematical concepts

Content

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

Organisation

The main forms of instruction are lectures, seminars, case studies and group work.

Literature

See separate list.

Examination including compulsory elements

The course is examined by an individual written exam which is carried out in an examination hall at the end of the course and by written assignments carried out in groups of normally 3-4 students.


Page manager Published: Thu 04 Feb 2021.