Syllabus for |
|
DAT325 - Domain Specific Languages of Mathematics
|
| |
| Syllabus adopted 2015-02-10 by Head of Programme (or corresponding) |
| Owner: TKDAT |
|
|
7,5 Credits |
| Grading: TH - Five, Four, Three, Not passed |
| Education cycle: First-cycle |
|
Major subject: Computer Science and Engineering, Information Technology, Mathematics
|
|
Department: 37 - COMPUTER SCIENCE AND ENGINEERING
|
The current course round has limited places. Please contact the student center if you are not able to add the course to your selection.
Teaching language: English
| Course module |
|
Credit distribution |
|
Examination dates |
|
Sp1 |
Sp2 |
Sp3 |
Sp4 |
Summer course |
No Sp |
| 0115 |
Written and oral assignments |
3,5 c |
Grading: TH |
|
|
|
3,5 c
|
|
|
|
|
|
| 0215 |
Examination |
4,0 c |
Grading: TH |
|
|
|
4,0 c
|
|
|
|
|
15 Mar 2016 pm EKL
|
23 Aug 2016 pm SB |
In programs
TKDAT COMPUTER SCIENCE AND ENGINEERING, Year 2 (compulsory elective)
TKDAT COMPUTER SCIENCE AND ENGINEERING, Year 3 (elective)
TKTEM ENGINEERING MATHEMATICS, Year 3 (elective)
TKITE SOFTWARE ENGINEERING, Year 3 (elective)
Examiner:
Bitr professor
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
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.