Course content

Number systems, propositional calculus with truth value tables, a little bit about quantifiers and about how to formulate a proof, elementary theory of sets, relations and functions, inductively defined structures with general recursive constructions and proofs by induction, some combinatorics, graphs and trees and finally some complexity theory and the use of the O-notation.
There will be an emphasis on working out algorithms related to these topics.

Learning outcome

Knowledge of some mathematical concepts and why they are important in a further study of informatics.

Admission

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.

Prerequisites

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

2MX from Secondary school.

Overlapping courses

10 credits with MAT008.

*The information about overlaps is not complete. Contact the Department for more information if necessary.

Teaching

4 hours of lectures per week. In addition there will be individual exercise solving sessions during the week, with guidance available.

Examination

Two compulsory assignments need to be passed within given deadlines to be allowed to take the final exam. Final mark based on written examination at the end of the semester.


Rules for compulsory assignments at the Department of Mathematics (norwegian only).

Permitted aids at the exam: None.

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 subject offers new examination in the beginning of the subsequent term for candidates who withdraw during an ordinary examination or fail an ordinary examination. Deferred examinations for students who due to illness or other valid reason of absence were unable to sit for their final exams will be arranged at the same time. (These valid reasons has to be documented within given deadlines.)

For general information about new and deferred examination, see
/studier/admin/eksamen/sykdom-utsatt/mn/index.html

More information about examination at the Faculty of Mathematics and Natural Sciences can be found here

Facts about this course

Credits
10
Level
Bachelor
Teaching
Spring 2010

This course is held for the last time Spring 2010.

Examination
Spring 2010
Teaching language
Norwegian