Mathematics for computer science
20152016

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)
Resit examination
Resit August 2016 for the Written examination.
Tillatte hjelpemidler
Code D: No printed or handwritten support material is allowed. A specific basic calculator is allowed.
Read more about permitted examination aids.
Teaching Materials
Richard Johnsonbaugh: Discrete Mathematics, 7th ed., Pearson/Prentice Hall
Additional material published on classfronter.