INF9800 – Topics in Logic

Schedule, syllabus and examination date

Course content

This is a research seminar. The themes will vary from semester to semester. Typical themes are proof theory, incompleteness, complexity, modal Logic.

Learning outcome

The students will be taught one or more themes in logic and be able to do research in the Field.

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

Recommended previous knowledge

INF3170 – Logic (continued)/INF4171 – Logic (continued)

Teaching

2 hours of lectures and 1 hours of problem sessions per week. The students must hand in and pass mandatory assignments prior to the exam.

Examination

Grading scale

Grades are awarded on a pass/fail scale. 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.

Facts about this course

Credits
10
Level
Master
Teaching
Spring 2013
Spring 2011
Spring 2008

Every second spring semester.

Examination
Spring 2013
Spring 2011
Spring 2008

Every second spring semester.

Teaching language
Norwegian (English on request)