Mathematics for computer science
2015-2016 - REA1101 - 10 ECTS


2MX or REA 3022 Matematikk R1 or equivalent course.

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


  • Number theory
  • Matrices
  • Propositional and predicate logic
  • Proofs
  • Sets, functions and relations
  • Enumerative combinatorics
  • Graphs and trees
  • Automata and languages

Teaching Methods

Mandatory assignments

Form(s) of Assessment

Portfolio Assessment
Written exam, 4 hours

Form(s) of Assessment (additional text)

  • Written exam – 4 hours (60%)
  • Portfolio (40%)
  • The students must pass both the exam and the portfolio.

Grading Scale

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

Re-sit examination

Re-sit August 2016 for the Written examination.

Tillatte hjelpemidler

Code D: No printed or hand-written support material is allowed. A specific basic calculator is allowed.
Read more about permitted examination aids.

Teaching Materials

Richard Johnsonbaugh: Discrete Mathematics, 7th ed., Pearson/Prentice Hall

Additional material published on classfronter.