Mathematics for computer science
2012-2013 - 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 in-depth 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.