INF5170 – Master seminar in logic
Course content
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.
Learning outcome
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.
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
INF2080 – Logikk og beregninger (continued) og INF3170 – Logic (continued) / INF4170 – Logic (discontinued) /IN318/SLI310.
Teaching
The participants present litterature, research and own work.
Examination
80% attendance and an essay or presentation defined by the seminar leader. General information about the 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.
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.
Other
It is strongly recommended to attend the first lecture since it will be given important information.