print logo
Norsk versjon

This course is no longer available, see the current course list.

MAT4600 - Mathematical logic

Facts about this course:
Credits:10
Teaching semester:Every autumn semester

This version of the course will be held for the last time Autumn 2007. MAT-INF3600 - Mathematical logic will still be held.
Examination semester:Every autumn semester
Language of instruction:English if requested by exchange students, otherwise Norwegian
Administrated by:Department of Mathematics
Detailed course information - Current and previous semesters:

Course content

An introduction to first order logic including proofs of the completeness and incompleteness theorems.

Learning outcomes

An understanding of the interplay between language, semantics and theory in formail 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.

Prerequisites

Recommended prior knowledge

MAT1030 - Discrete mathematics and HUMIT1750 - Logikk og beregninger. A general competence in mathematics (approx. 40 credits) can compensate for the absence of these subjects.

Overlap

10 credits with MAT3600 - Mathematical logic and 10 credits with MA 250.

*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.

Exam information

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.

Possibility of make-up exams and re-takes

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

More information about examination at the Faculty of Mathematics and Natural Sciences can be found here

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

Phone: +47 22 85 58 86 / +47 22 85 58 88
Fax: +47 22 85 43 49
E-mail: 
Web: http://www.mn.uio.no/math/english/