Schedule, syllabus and examination date

Choose semester

Changes in the course due to coronavirus

As a general rule, exams at the MN Faculty will during the autumn of 2021 be conducted without physical attendance. For reasons relating to the course content, some courses will have on-campus written examination if the current infection rate makes this possible.

The semester page for your course will be updated with any changes in the form of examination. See also more information about examination at the MN Faculty in 2021.

Course content

The course concerns first order logic up to proofs of the completeness and incompleteness theorems.

    Learning outcome

    After completing the course you

    • are familiar with the syntax and semantics of first-order logic
    • are familiar with the completeness theorem of first-order logic
    • are familiar with the compactness theorem and basic model theory
    • are familiar with Gödel´s first incompleteness theorem.

    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 theHigher 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).

    • Courses equivalent to the first two years of a bachelor in Mathematics and/or Computer Science will be an advantage.

    Overlapping courses

    Teaching

    4 hours of lectures/exercises per week throughout the semester.

    The course may be taught in Norwegian if the lecturer and all students at the first lecture agree to it.

    Examination

    Final written exam which counts 100 % towards the final grade. 

    This course has 1 mandatory assignment that must be approved before you can sit the final exam.

    Examination support material

    No examination support material is allowed.

    Language of examination

    Courses taught in English will only offer the exam paper in English. 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:

    Special examination arrangements, use of sources, explanations and appeals

    See more about examinations at UiO

    Last updated from FS (Common Student System) Sep. 24, 2021 2:24:46 AM

    Facts about this course

    Credits
    10
    Level
    Bachelor
    Teaching
    Autumn
    Examination
    Autumn
    Teaching language
    English