Matematics 2 for computer science
Study plans 2016-2017 - REA2091 - 10 ECTS

On the basis of

REA1141 Mathematics 1

Expected learning outcomes

The students will learn mathematical tools and methods for engineering problem solving, and have a foundation for further study in mathematics and computer science.  The course emphasises applications.


  • Understand the relevance of mathematics in engineering problem solving
  • Able to identify applications of mathematics in engineering subjects
  • Know the possibilities and limitations of mathematical software

The students will have in-depth knowledge in the areas of logic and discrete mathematics, with:


  • able to understand and use mathematical language
  • able to use mathematical methods and software to solve problems
  • basic mathematical reasoning


Linear Algebra:

  • systems of equations
  • matrices          
  • vector spaces
  • linear transformations
  • eigensystems and diagonalization


  • sequences and convergence
  • Taylor series

Enumerative combinatorics:

  • counting
  • difference equations
  • recursion


  • propositional logiv
  • Boolean algebra
  • Predicate logic

Sets and relations:

  • Venn diagrams
  • set operations
  • relations

Graphs and trees:

  • Hamilton og Euler cycles
  • Prim og Dijkstra’s algorithms
  • graphs and matrices
  • trees

Automata and formal languages:

  • deterministic and non-deterministic automata
  • regular expressions

Teaching Methods

Mandatory assignments

Form(s) of Assessment

Portfolio Assessment
Written exam, 4 hours

Grading Scale

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

External/internal examiner

Grading by internal examiner. External examiner every 4 year, next time is 2020.

Re-sit examination

A re-sit examination is organized in August for the written exam.

Tillatte hjelpemidler

Code C: Specified printed and hand-written support material is allowed. A specific basic calculator is allowed.
Read more about permitted examination aids.

Coursework Requirements

At least four problem sheets, including at least one using mathematical software, must be completed to take the exam.

Teaching Materials

  • Otto Bretscher, Linear Algebra with applications 4th ed., Pearson/Prentice Hall Richard
  • Johnsonbaugh, Discrete Mathematics, 7th ed., Pearson/Prentice Hall

Additional information

Examination support: Approved collection of formulae.

Credit reduction due to overlapping course REA2051: 100%