Matematics 2 for computer science
Study plans 20162017

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.
Knowledge
 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 indepth knowledge in the areas of logic and discrete mathematics, with:
Skills
 able to understand and use mathematical language
 able to use mathematical methods and software to solve problems
 basic mathematical reasoning
Topic(s)
Linear Algebra:
 systems of equations
 matrices
 vector spaces
 linear transformations
 eigensystems and diagonalization
Series:
 sequences and convergence
 Taylor series
Enumerative combinatorics:
 counting
 difference equations
 recursion
Logic:
 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 nondeterministic automata
 regular expressions
Teaching Methods
Lectures
Mandatory assignments
Exercises
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.
Resit examination
A resit examination is organized in August for the written exam.
Tillatte hjelpemidler
Code C: Specified printed and handwritten 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%