Mathematics for computer science
Study plans 2016-2017 - REA1101 - 10 ECTS

Prerequisite(s)

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.

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.

Topic(s)

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

Teaching Methods

Lectures
Mandatory assignments
Exercises

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)

Teaching Materials

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

Additional material published on classfronter.