ITF10705 Mathematics for Computer Science (Autumn 2014)

The course is connected to the following study programs

Compulsory course in:

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

Elective course in the Bachelor Programme in Information Systems

Prerequisites

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

Lecture Semester

Bachelor Programme in Computer Engineering: semester 3 (autumn)
Bachelor Programme in Computer Engineering, Y-veien: semester 3 (autumn)
Bachelor Programme in Computer Engineering, Tress: semester 3 (autumn)
Bachelor Programme in Computer Science: semester 3 (autumn)
Bachelor Programme in Information Systems: semester 5 (autumn)
Bachelor Programme in Information Systems, specialisation in IT Management: semester 5 (autumn)
Bachelor Programme in Information Systems, specialisation in Web Development: semester 5 (autumn)

Total workload:

4?6 hours of lectures + exercises per week.

The student's learning outcomes after completing the course

Knowledge:

On completion of the course, the students 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 students 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 students can account for problems where using concepts and techniques from discrete mathematics can be beneficial.

Content

The following topics are covered:

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

Forms of teaching and learning

Lectures and exercises.

Coursework requirements - conditions for taking the exam

• 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 spring 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.