MAT3600 – Mathematical logic
Course description
Course content
An introduction to first order logic including proofs of the completeness and incompleteness theorems.
Learning outcome
An understanding of the interplay between language, semantics and theory in formal logical systems. An understanding of one mathematical model of computability.
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
MAT1030 – Discrete mathematics (discontinued) and HUMIT1750 – Logikk og beregninger (discontinued). A general competence in mathematics (approx. 40 credits) can compensate for the absence of these subjects.
Overlapping courses
10 credits with MAT4600 – Mathematical logic (discontinued) and 10 credits with MA250
*The information about overlaps is not complete. Contact the department for more information if necessary.
Teaching
Taught for the first time autumn 2004. 4 hours of lectures/exercises per week
Examination
One compulsory assignment has to be handed in and approved. Final mark based on written examination at the end of the semester. Letter grading (A-F).
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.
Explanations and appeals
Resit an examination
Students who due to illness or other valid reason of absence were unable to sit for their final exams may apply for participation in deferred examinations. Deferred examinations are arranged either later in the same semester or early in the semester following the exam in question. Documentation of valid reasons for absence from the regular exam must be submitted upon application to participate in deferred examinations.
Students who have failed an exam, who withdraw during an exam, and students who wish to retake an exam to achieve a better grade may not participate in deferred exams, but may retake the exam when it is regularly scheduled.
Information about deferred and new examination (also called repeat examination) is found here