INF5170 – Master seminar in logic
Schedule, syllabus and examination date
The master seminar in logic treats topics in logic, knowledge representation and automatic reasoning. The themes will vary from semester to semester depending on the participants and their interests. Modal and non-classical logics are central themes. The seminar alternates with the seminar in intelligent data. 80% participation is mandatory.
The participants will get a better understanding of one or more subjects in the field and get opportunity to write essays or present theoretical material.
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.
Recommended previous knowledge
The participants present litterature, research and own work.
80% attendance and an essay or presentation defined by the seminar leader. General information about the examination.
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.
Withdrawal from an examination
It is possible to take the exam up to 3 times. If you withdraw from the exam after the deadline or during the exam, this will be counted as an examination attempt.
It is strongly recommended to attend the first lecture since it will be given important information.