Mathematics for computer science

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

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

Lectures, assignments