MAT1140 – Structures and Arguments
Course description
Schedule, syllabus and examination date
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, 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.
Admission to the course
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.
Special admission requirements
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
Overlapping courses
- 5 credits overlap with INF1080 – Logical Methods for Computer Science (continued).
- 5 credits overlap with IN1150 – Logical Methods.
Teaching
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.
Examination
Final written exam which counts 100 % towards the final grade.?
This course has 2 mandatory assignments that must be approved before you can sit the final exam.
Examination support material
No examination support material is allowed.
Language of examination
The examination text is given in Norwegian. You may submit your response 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.
Resit an examination
This course offers both postponed and resit of examination. Read more:
More about examinations at UiO
- Use of sources and citations
- Special exam arrangements due to individual needs
- Withdrawal from an exam
- Illness at exams / postponed exams
- Explanation of grades and appeals
- Resitting an exam
- Cheating/attempted cheating
You will find further guides and resources at the web page on examinations at UiO.