Mathematics for computer science
20122013

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 indepth 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)
Coursework Requirements
At least four problem sheets must be completed to take the exam.
Teaching Materials
Richard Johnsonbaugh: Discrete Mathematics, 7th ed., Pearson/Prentice Hall
Additional material published on classfronter.