Schedule, syllabus and examination date

Choose semester

Course content

MAT1140 provides a first introduction to abstract mathematics. Mathematical structures that are common to several branches are introduced, and the course gives training in mathematical reasoning. There are no prerequisites beyond high school mathematics (R1+R2), but it can be advantageous to have been exposed to rigorous mathematical arguments. MAT1140 lays a theoretical foundation for further studies in mathematics.

Learning outcome

After completing the course you:

  • can analyze the logical structure of propositions, know common proof techniques, and can present mathematical arguments in a clear and well-organized manner, with correct terminology and notation;
  • know the concepts of sets and boolean operations, can carry out arguments about sets and families of sets, know the concept of cardinality, and the most important properties of countable sets;
  • know the concepts of function and relation, can use them to describe mathematical relationships, and you can recognize and use equivalence relations and partial orders;
  • know how integers can be factored into prime numbers, can argue about congruence classes and know characterizations of pythagorean triples and sums of squares;
  • know basic properties of some algebraic structures, especially rings and fields, and how this illuminates examples such as real numbers and polynomials;
  • know the axiom of choice and Zorn's lemma, and can carry out arguments based on them.



Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb.

If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.


Formal prerequisite knowledge

In addition to fulfilling the Higher Education Entrance Qualification, applicants have to meet the following special admission requirements:

  • Mathematics R1 (or Mathematics S1 and S2) + R2

And in addition one of these:

  • Physics (1+2)
  • Chemistry (1+2)
  • Biology (1+2)
  • Information technology (1+2)
  • Geosciences (1+2)
  • Technology and theories of research (1+2)

The special admission requirements may also be covered by equivalent studies from Norwegian upper secondary school or by other equivalent studies (in Norwegian).

Recommended previous knowledge

It's advantageous to have taken MAT1100 – Calculus, but it's also possible to take the course with R1 and R2 as background.

Overlapping courses

5 credits overlap with INF1080 – Logical Methods for Computer Science (continued)

*The information about overlaps for discontinued courses may not be complete. If you have questions, please contact the Department. 


4 hours of lectures, 2 hours of exercises in groups per week.

The number of groups offered can be adjusted during the semester, depending on attendance.


2 mandatory assignments. Detailed information about compulsory assignments will be published on the course information page at the beginning of the semester. 

Final written examination.

Examination support material

No examination support material is allowed.

Language of examination

Subjects taught in English will only offer the exam paper in English.

You may write your examination paper in Norwegian, Swedish, Danish or English.

Grading scale

Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. Read more about the grading system.

Explanations and appeals

Resit an examination

This course offers both postponed and resit of examination. Read more:

Withdrawal from an examination

It is possible to take the exam up to 3 times. If you withdraw from the exam after the deadline or during the exam, this will be counted as an examination attempt.

Special examination arrangements

Application form, deadline and requirements for special examination arrangements.


The course is subject to continuous evaluation. At regular intervals we also ask students to participate in a more comprehensive evaluation.

Facts about this course






Every autumn


Every autumn

Teaching language