course-details-portlet

TMA4140

Discrete Mathematics

Choose study year

This course is no longer taught and is only available for examination.

Credits 7.5
Level Foundation courses, level I
Language of instruction Norwegian
Location Trondheim
Examination arrangement School exam

About

About the course

Course content

The course gives an introduction to mathematical logic and set theory, elementary number theory with modular arithmetic, and cryptology, including RSA. Other central topics are: Sequences, recurrence relations, mathematical induction and combinatorial counting methods with applications. Moreover, the course gives an introduction to the theory of relations, graphs and trees, as well as formal languages and finite automata.

Learning outcome

1. Knowledge. The student has a basic knowledge of mathematical logic, set theory and combinatorial counting methods. The student is familiar with elementary number theory, including the Chinese remainder theorem and Fermat's little theorem, and with how number theory is applied in cryptosystems as RSA. The student has knowledge of recursion an induction, as well as relations, graphs and trees. The student also has basic knowledge of formal languages, grammars and finite automata.

2. Skills. The student is able to make practical use of elementary logic and set theory, can apply Euclid's algorithm, and is proficient in modular arithmetic, and knows how to apply number theory in encryption of messages. The student can solve systems of linear congruences using the chinese remainder theorem, can write simple proofs using induction, and is able to recognize, understand and apply concepts such as relations, graphs and trees in applications, for example in information technology. Moreover, the student is able to apply combinatorial counting methods to solve practical problems, and can make practical use of finite automata.

Learning methods and activities

Lectures and compulsory exercises.

Compulsory assignments

  • Exercises

Further on evaluation

Grade based on written final written examination. Retake of examination may be given as an oral examination. The retake exam is in August.

Course materials

Will be announced at the start of the course.

Credit reductions

Course code Reduction From
SIF5015 7.5 sp
MA0302 3.7 sp Autumn 2007
MA0301 3.7 sp Autumn 2007
TMA4412 7.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

  • Technological subjects

Contact information

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 Duration 4 hours Exam system Inspera Assessment
Place and room
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.