course-details-portlet

BMA1010

Mathematics for Computer Science

Credits 7.5
Level Foundation courses, level I
Course start Autumn 2025
Duration 1 semester
Language of instruction Norwegian
Location Gjøvik
Examination arrangement School exam

About

About the course

Course content

  • Logics: Statements, arguments, basic proof theory. Mathematical induction.
  • Set theory and discrete functions.
  • Number theory: Divisibility and congruence, Euclid's algorithm, RSA and/or Diffie-Hellman as applications.
  • Graph theory: Important types of graphs, graph isomorphy, trees. Graph theoretical algorithms, such as Prim's and Dijkstra's algorithms.
  • Combinatorics: Counting results related to quantities, functions and graphs.

Learning outcome

The course will give students knowledge of how mathematics is used in solving problems in computer science. It will also provide a foundation for further specialisation in mathematics and computer science. The course emphasises applications.

Knowledge: The candidate should demonstrate knowledge of the following

  • concepts in logic of statements.
  • common forms of mathematical proofs, including mathematical induction.
  • basic set theory.
  • discrete functions and relations.
  • concepts and algorithms related to graphs, including trees and graphisomorphism.
  • concepts, methods and results in number theory, modular calculus and cryptography.

Skills: The candidate can

  • apply basic concepts, results and methods from the theory of statements and arguments, for example determine whether an argument is valid or invalid and determine whether two statements are equivalent
  • construct simple mathematical proofs, including inductive proofs
  • apply basic concepts and results related to set theory, discrete functions and relations, and can represent these in different ways
  • apply basic concepts and results related to graphs, including paths in graphs and graphisomorphism
  • apply algorithms to smaller examples,
  • apply basic concepts and methods from number theory related to divisibility, including Euclid's algorithm
  • apply congruences calculations and work with Diffie-Hellman key exchange and/or RSA.

General competence: The candidate

  • can communicate about and by means of mathematics, and use relevant mathematical notation
  • can use mathematics to model and solve theoretical and practical problems in situations relevant to their own field, in academic and professional contexts.

Learning methods and activities

Lectures and exercises. Exercises will be based on assignments in a digital assessment system. Exercises and learning videos for self-study will be available as a supplement to the lectures.

Compulsory assignments: at least 75% of the exercises must be approved for admission to the exam. The number of obligatory assignments and weighting will be announced at the start of the semester.

Compulsory assignments

  • Obligatorisk arbeidskrav

Further on evaluation

  • There will be a school exam (in a digital examination system) at the end of the semester.
  • A resit exam can be changed to oral exam.
  • The resit exam is in august.

Specific conditions

Admission to a programme of study is required:
Digital Infrastructure and Cyber Security (BDIGSEC)
Programming (BPROG)

Course materials

Recommended literature will be published at the beginning of semester.

Credit reductions

Course code Reduction From
DCST1004 7.5 sp Autumn 2019
This course has academic overlap with the course in the table above. If you take overlapping courses, you will receive a credit reduction in the course where you have the lowest grade. If the grades are the same, the reduction will be applied to the course completed most recently.

Subject areas

  • Mathematics

Contact information

Course coordinator

Department with academic responsibility

Department of Mathematical Sciences

Examination

Examination

Examination arrangement: School exam
Grade: Letter grades

Ordinary examination - Autumn 2025

School exam
Weighting 100/100 Examination aids Code C Date 2025-12-03 Time 09:00 Duration 4 hours Exam system Inspera Assessment
Place and room for school exam

The specified room can be changed and the final location will be ready no later than 3 days before the exam. You can find your room location on Studentweb.

Ametyst
Room A-atriet-2/3 (A-160)
60 candidates
Mustad, Inngang A
Room M433-Eksamensrom 4.etg
22 candidates
Smaragd
Room S310
29 candidates
Room S206
38 candidates

Re-sit examination - Summer 2026

School exam
Weighting 100/100 Examination aids Code C Duration 4 hours Exam system Inspera Assessment Place and room Not specified yet.