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