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
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, 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
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.
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
REA2061