INF5800 – Topics in Logic
This is a research seminar. The themes will vary from semester to semester. Typical themes are proof theory, incompleteness, complexity, modal Logic.
The students will be taught one or more themes in logic and be able to do research in the field.
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.
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.
Oral exam. The students must pass mandatory assignments prior to the exam.
Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. 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.