Mathematics for Programming
Study plans 20162017

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
Topic(s)
 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, pseudoinverse 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
Lectures
Mandatory assignments
Exercises
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.
Resit examination
Resit in August.
Tillatte hjelpemidler
Code A: All printed and handwritten 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
REA2061