MAT-INF3600 - Mathematical logic
|
||||||||||||||||
|
||||||||||||||||
Course content
The course will contain first order logic up to proofs of the completeness and incompleteness theorems.
Learning outcomes
An understanding of the interplay between language, semantics and theory in formal logical systems. An understanding of one mathematical model of computability.
Admission
Students at UiO must apply for courses in StudentWeb.
International applicants, if you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures for international applicants.
The examination in this course is not available for external candidates. Only students admitted to the course may sit for the examination.
Prerequisites
Formal prerequisites
In addition to fulfilling the Higher Education Entrance Qualification, applicants have to meet the following special admission requirements:
One of these:
- Mathematics R1
- Mathematics (S1+S2)
And and in addition one of these:
- Mathematics (R1+R2)
- 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. Read more about special admission requirements.
Recommended prior knowledge
MAT1030 - Discrete mathematics and INF1800 - Logic and Computability. A general competence in mathematics (approx. 40 credits) can compensate for the absence of these subjects
Overlap
10 credits against MAT3600 - Mathematical logic. 10 credits against MAT4600 - Mathematical logic. 10 credits against MA250. 10 credits against MA150. 10 credits against MA231. 6 credits against MA130. 6 credits against MA230. 4 credits against MA350.
* The information about overlaps is not complete. Contact the department for more information if necessary.
Teaching
4 hours of lectures/exercises per week.
Teaching takes place throughout the semester.
Exam information
One compulsory assignment must be handed in and approved within given deadlines to get access to the final exam. Final mark is given based 100% on written examination at the end of the semester.
Exam resources
No special exam resources are allowed.
Language of examination
Students may, on subjects where the language of instruction is Norwegian and the examination form is written exam, ask for the exam paper in Bokmål, Nynorsk or English. Closing date for registering the chosen examination language is September 1st for the fall semester and February 1st for the spring semester.
Please view the web page of the Faculty of Mathematics and Natural Sciences on how to proceed
Subjects taught in English will offer the exam paper in English only.
This rule also applies for subjects where the exam form is dependent on the number of students and written exam is chosen by the teaching staff.
Assessment and grading
Course grades are awarded on a descending scale using alphabetic grades from A to E for passes and F for fail. Read more about the grading system .
Explanations and appeals
A student may appeal against an awarded grade and/or file a formal complaint about exam procedures
Possibility of make-up exams and re-takes
Students who can document valid reasons for failing to attend their final exams within given deadlines may participate in deferred examinations. Deferred examinations are arranged either later in the same semester or early in the semester following the exam in question.
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
Withdrawing from exams and limits on re-takes
A student can sit for this exam up to 3 times. If a student wishes to withdraw from the exam, s/he must do this in StudentWeb at least two weeks prior to the first day of the exam. Failure to do so will be counted as one of the three opportunities to sit for the exam.
Exam options for students with special needs
Students may apply for access to alternative exam resources or exam forms on the basis of chronic illness and/or special needs that create a marked disadvantage to other students in the exam situation. Mothers who are breastfeeding may apply for extra time to complete the exam.
Evaluation of this course
Feedback from our students is essential to us in our efforts to ensure and further improve the high quality of our programmes and courses. As a student at the University of Oslo you will therefore be asked to participate in various types of evaluation of our courses, facilities and services. All courses are subject to continuous evaluation. At regular intervals we also ask students on a particular course to participate in a more comprehensive, in-depth evaluation of this course, a so called "periodic evaluation".
Contact us
Department of Mathematics
Visiting address:
Niels Henrik Abel's building, Moltke Moes vei
Visiting hours:
Monday-friday 09:00-14:30
Postal address:
P.O.box 1053, Blindern
NO-0316 Oslo
Fax: +47 22 85 43 49
E-mail: studieinfo@math.uio.no
Web: http://www.mn.uio.no/math/english/