MAT-INF3600 – Mathematical Logic
Course description
Schedule, syllabus and examination date
Course content
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
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).
Recommended previous knowledge
- Courses equivalent to the first two years of a bachelor in Mathematics and/or Computer Science will be an advantage.
Overlapping courses
- 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 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.
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 1mandatory assignment that must be approved before you can sit the final exam.
Examination support material
Language of examination
Grading scale
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.
More about examinations at UiO
- Use of sources and citations
- How to use AI as a student
- 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.