Matematics 2 for computer science
2014-2015 - 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

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 2016.

Re-sit examination

A re-sit examination is organized each year.

Examination support

Calculator without wireless communication.

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

Credit reduction due to overlapping course REA2051: 100%