Mathematics 2 for computer science

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 and functions

Graphs and trees:
- Hamilton og Euler cycles
- Prim og Dijkstras algorithms
- graphs and matrices
- trees

Automata and formal languages:
- deterministic and non-deterministic automata
- regular expressions

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.

Skills:
- able to understand and use mathematical language
- able to use mathematical methods and software to solve problems
- basic mathematical reasoning

Forelesninger|Obligatoriske oppgaver|Oppgaveløsning

Obligatoriske arbeidskrav:

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