Schedule, syllabus and examination date

Choose semester

Course content

Introduction to propositional and predicate logic. Use of logic as a language for knowledge representation and specification, and methods for verification or rejection of logical validity by proof calculi or model construction. Formal models of computation, such as finite automata, stack automata and Turing machines, and the elementary theory concerning these.

Learning outcome

To be able to use propositional and predicate logic as formal languages. Being able to argue for logical validity, or establish invalidity by falsification. To be familiar with methods associated with computability models.


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+S2)

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

Overlapping courses


3 hours of lectures and 3 hours of group lectures per week. Mandatory assignments must be completed during the course; if these are not accepted, the student may not take the final exam.


A 4 hour written exam.

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 subject offers new examination in the beginning of the subsequent term for candidates who withdraw during an ordinary examination or fail an ordinary examination. For general information about new examination, see /studier/admin/eksamen/sykdom-utsatt/mn/index.html and


Note that the first lecture is mandatory.

The subject is regarded equal to HUMIT1750/HUMIT1750MN/SLI 110/SLI 1 when practicing exam regulations

Facts about this course






Every autumn

The course will be held for the last time autumn 2010.


Every autumn

Teaching language