Matematics 2 for computer science
2015-2016 - 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 in-depth 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 non-deterministic 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 2016.

Re-sit examination

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

Examination support

Support material code C

Approved collection of formulae

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%