REA1121 - Mathematics for Programming


New from the academic year 2016/2017

Examination arrangement

Examination arrangement: Written examination
Grade: Letters

Evaluation form Weighting Duration Examination aids Grade deviation
Written examination 100/100 5 hours A

Course content


Logic puzzles

Introduction to logic programming languages

Bitwise logic


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

Learning outcome

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

Learning methods and activities

Forelesninger|Obligatoriske oppgaver|Oppgaveløsning

Obligatoriske arbeidskrav:

 Up to 5 compulsory assignments

Compulsory assignments

  • Obligatoriske arbeidskrav

Further on evaluation

Utfyllende om kontinuasjon:

Re-sit in August.

Specific conditions

Exam registration requires that class registration is approved in the same semester. Compulsory activities from previous semester may be approved by the department.

Admission to a programme of study is required:
Bachelor of Game Programming (BSP)
Computer Science (ÅRINF)
Programming [Games | Applications] (BPROG)

Course materials

Handouts and internet resources.


Detailed timetable


Examination arrangement: Written examination

Term Statuskode Evaluation form Weighting Examination aids Date Time Room *
Spring ORD Written examination 100/100 A 2017-06-08 09:00 A061, eksamensrom U-etg. A-bygg , A-atriet-2/3 (A-160)
Summer KONT Written examination 100/100 A 2017-08-08 09:00 A-atriet-2/3 (A-160)
  • * The location (room) for a written examination is published 3 days before examination date.
If more than one room is listed, you will find your room at Studentweb.