ITF10705 Mathematics for Computer Science (Autumn 2015)
Facts about the course
- ECTS Credits:
- 10
- Responsible faculty:
- Faculty of Computer Sciences, Engineering and Economics
- Course Leader:
- Christian Fredrik Heide
- Teaching language:
- Norwegian
- Duration:
- ½ year
Table of contents
The course is affiliated to the following study programme
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
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
The student's learning outcomes on passing 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.
Teaching and learning methods
Workload
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.
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.
Reading list
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.