Mathematics for Programming
Study plans 2016-2017 - REA1121 - 10 ECTS

On the basis of

 REA1101 Mathematics for computer science

Expected learning outcomes

 After completing the subject the students should have knowledge of:

  • Applications of mathematical logic
  • Algorithms for pathfinding
  • Logic and functional programming
  • Elementary mechanics for applications
  • Software applications of linear algebra 
  • The role of mathematics in software development

Skills in:

  • Programming in logic and functional paradigms 
  • Creating path finding solutions
  • Analysing applications using probability theory
  • Turning mathematical descriptions into programming code

General competence of:

  • Improved general logical and mathematical reasoning
  • Problems solving and rigorous descriptions of solutions
  • General programming ability
  • Written and spoken English


  • Logic
    • Logic puzzles
    • Introduction to logic programming languages
    • Bitwise logic
  • Probability
    • Elementary probability and enumeration
    • Conditional probability
    • Modelling using Markov chains
    • Expectation and variance
    • Applications in software engineering
  • Linear Algebra
    • Eigenvalues, pseudo-inverse and singular value decomposition (SVD)
    • Applications to image processing and recommender systems
    • Computational linear algebra using Python and C++
  • Introduction to Functional Programming 
  • Mechanics for software applications
    • Elementary Newtonian mechanics
    • Numerical solution of the equations of motion
    • Elastic and inelastic collisions
    • Solving trajectory intersection problems
    • Inverse kinematics

Teaching Methods

Mandatory assignments

Form(s) of Assessment

Written exam, 5 hours

Grading Scale

Alphabetical Scale, A(best) – F (fail)

External/internal examiner

Internal examiner, together with external examiner once every three years, next time in 2019.

Re-sit examination

Re-sit in August.

Tillatte hjelpemidler

Code A: All printed and hand-written support material is allowed. All calculators are allowed.
Read more about permitted examination aids.

Coursework Requirements

 Up to 5 compulsory assignments

Teaching Materials

Handouts and internet resources.

Replacement course for