DCST1004 - Mathematics for Computer Science


Examination arrangement

Examination arrangement: School exam
Grade: Letter grades

Evaluation Weighting Duration Grade deviation Examination aids
School exam 100/100 4 hours C

Course content

  • Logics: Statements, arguments, basic proof theory. Mathematical induction.
  • Set theory and discrete functions.
  • Number theory: Divisibility and congruence, Euclid's algorithm, Diffie-Hellman as application.
  • 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 also provides a foundation for further specialization in mathematics and computer science. The course puts emphasis on 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 graph isomorphisms.
  • 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 equivalence relations, paths in graphs and graph isomorphisms
  • apply algorithms to smaller examples,
  • apply basic concepts and methods from number theory related to divisibility, including Euclid's algorithm
  • apply congruences calculations and perform Diffie-Hellman key exchange

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

  • xxx

Further on evaluation

Compulsory work: 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.

A resit exam can be changed to oral exam

Specific conditions

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

Course materials

Recommended literature will be published at the beginning of semester.

Credit reductions

Course code Reduction From To
BMA1010 7.5 AUTUMN 2019
More on the course



Version: 1
Credits:  7.5 SP
Study level: Foundation courses, level I


Term no.: 1
Teaching semester:  AUTUMN 2024

Language of instruction: Norwegian

Location: Trondheim

Subject area(s)
  • Computer Science
  • Information Security
  • Mathematics
Contact information
Course coordinator: Lecturer(s):

Department with academic responsibility
Department of Computer Science


Examination arrangement: School exam

Term Status code Evaluation Weighting Examination aids Date Time Examination system Room *
Autumn ORD School exam 100/100 C INSPERA
Room Building Number of candidates
Summer UTS School exam 100/100 C INSPERA
Room Building Number of candidates
  • * The location (room) for a written examination is published 3 days before examination date. If more than one room is listed, you will find your room at Studentweb.

For more information regarding registration for examination and examination procedures, see "Innsida - Exams"

More on examinations at NTNU