ITF10705 Mathematics for Computer Science (Autumn 2015)

The course is connected to the following study programs

Compulsory course in:

• Bachelor in Computer Science
• Bachelor in Computer Engineering
• Bachelor in Computer Engineering, Y-veien
• Bachelor in Computer Engineering, Tress

Elective course in other study programmes.

Prerequisites

This course builds on knowledge equivalent to mathematics R1 or (S1 + S2).

The student's learning outcomes after completing the course

Knowledge:

On completion of the course, the student can:

• give an account of key concepts in the course topics (see course outline below)
• give an account of relevant theorems and calculation rules from the course topics

Skills:

On completion of the course, the student can:

• solve problems with the help of theory, statements, calculation rules and techniques from the course topics
• use concepts and techniques from the course topics in computer-related subjects where relevant

General competence:

On completion of the course, the student can account for problems where using concepts and techniques from discrete mathematics can be beneficial.

Content

The following topics are covered:

• integers, divisibility and congruence
• number systems
• combinatorics
• set theory
• relations and discrete functions
• logic and mathematical reasoning
• complex numbers
• differential equations
• linear systems, matrices and determinants
• graphs and trees
• formal languages and finite state machines

Forms of teaching and learning

Lectures and exercises.

Workload

4?6 hours of lectures + exercises per week.

Coursework requirements - conditions for taking the exam

• Up to ten assignments are given during the semester, with submissions deadlines set by the course instructor. Students must submit their assignments on time and must have 75% of them approved before they may sit the exam.
• Two compulsory tests are held during the semester.

Coursework requirements must be approved before students may sit the exam.

Examination

Written exam
Written exam lasting 4 hours. Letter grading scale A?F.
Support materials: 4 pages (A4) containing students' own notes.

Course evaluation

This course is evaluated as follows:

• Mid-semester evaluation (optional)
• Final evaluation (compulsory)

The course instructor prepares a course report on the basis of student feedback and on his/her own experiences of the course. Course reports are discussed with the Committee for Study Quality at the Faculty of Computer Sciences.

Literature

Updated December 2014. 

- Steffen Log: Mathema 1 - anvendt matematikk for bachelorstudenter, Tapir akademisk forlag, 2008. ISBN9788251921794.

- Steffen Log: Mathema 2 - anvendt matematikk og statistikk for bachelorstudenter, Akademika, 2013. ISBN9788232102624.

Two notes from the course instructor:

- Turing machines - a short introduction

- Discrete functions

Additionally, the mandatory assignments and tests must be considered as part of the curriculum.