MA0301 - Elementary Discrete Mathematics


Examination arrangement

Examination arrangement: School exam
Grade: Letter grades

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

Course content

The course is primarily for computer science students, but should also be of interest to students who take courses in mathematics. There are no prerequisites beyond high school mathematics. The course gives an introduction to combinatorics, set theory, logic, induction and recursion, relations and functions, graph theory, formal languages and finite state automata.

Learning outcome

1. Knowledge. The student has a basic knowledge of mathematical logic, set theory and combinatorial counting methods. The student has knowledge of recursion and induction, as well as relations, graphs and trees. Moreover, the student has basic knowledge of formal languages, grammars and finite automata.2. Skills. The student can make practical use of elementary logic and set theory, can write simple proofs using induction, can apply combinatorial counting methods to solve practical problems, and can make practical use of finite automata. The student is able to recognize, understand and use concepts such as relations, graphs and trees in applications, for example in information technology.

Learning methods and activities

Lectures and compulsory exercises. Grade based on final written examination.

Compulsory assignments

  • Exercises

Further on evaluation

In the case that the student receives an F/Fail as a final grade after both ordinary and re-sit exam, then the student must retake the course in its entirety. Submitted work that counts towards the final grade will also have to be retaken. For more information about grading and evaluation, see «Teaching methods and activities».

The re-sit examination may be given as an oral examination.

Specific conditions

Compulsory activities from previous semester may be approved by the department.

Course materials

Will be announced at the start of the course.

Credit reductions

Course code Reduction From To
MNFMA012 7.5
MA0302 3.7 AUTUMN 2007
TMA4140 3.7 AUTUMN 2007
More on the course

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


Term no.: 1
Teaching semester:  SPRING 2023

Language of instruction: -

Location: Trondheim

Subject area(s)
  • Mathematics
Contact information
Course coordinator: Lecturer(s):

Department with academic responsibility
Department of Mathematical Sciences


Examination arrangement: School exam

Term Status code Evaluation Weighting Examination aids Date Time Examination system Room *
Spring ORD School exam 100/100 D 2023-06-09 09:00 INSPERA
Room Building Number of candidates
Summer UTS School exam 100/100 D 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