MAT-INF3600 - Mathematical logic
Schedule, syllabus and examination date
The course will contain first order logic up to proofs of the completeness and incompleteness theorems.
After having completed the course:
- you are familiar with the syntax and semantics of first-order logic
- you are familiar with the completeness theorem of first-order logic
- you are familiar with the compactness theorem and basic model theory
- you are familiar with Gödel's first incompleteness theorem
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 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
- 10 credits overlap with MAT3600 - Mathematical logic (discontinued)
- 10 credits overlap with MAT4600 - Mathematical logic (discontinued)
- 10 credits overlap with MA250
- 10 credits overlap with MA150
- 10 credits overlap with MA231
- 6 credits overlap with MA130
- 6 credits overlap with MA230
- 4 credits overlap with MA350
* The information about overlaps is not complete. Contact the department for more information if necessary.
4 hours of lectures/exercises per week.
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.
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
Students who can document a valid reason for absence from the regular examination are offered a postponed examination at the beginning of the next semester.
Re-scheduled examinations are not offered to students who withdraw during, or did not pass the original examination.
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.