course-details-portlet

MA0301

Elementary Discrete Mathematics

Assessments and mandatory activities may be changed until September 20th.

Credits 7.5
Level Foundation courses, level I
Course start Spring 2026
Duration 1 semester
Language of instruction Norwegian
Location Trondheim
Examination arrangement School exam

About

About the course

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. The lectures may be given in English.

Compulsory assignments

  • Exercises

Further on evaluation

Grade based on final written examination.

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

Course materials

Will be announced at the start of the course.

Credit reductions

Course code Reduction From
MNFMA012 7.5 sp
MA0302 3.7 sp Autumn 2007
TMA4140 3.7 sp Autumn 2007
TMA4412 5 sp Autumn 2025
This course has academic overlap with the courses 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

Lecturers

Department with academic responsibility

Department of Mathematical Sciences

Examination

Examination

Examination arrangement: School exam
Grade: Letter grades

Ordinary examination - Spring 2026

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

Re-sit examination - Summer 2026

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