INF9170 – Master seminar in logic
Schedule, syllabus and examination date
The master seminar in logic covers topics in logic and automated theorem proving. The topics will differ from semester to semester dependent on participants and interest. Modal and non-classical logics are central.
The participants should gain a better understanding of one or more topics within the field and get training in presenting theoretical material.
PhD candidates from the University of Oslo should apply for classes and register for examinations through Studentweb.
If a course has limited intake capacity, priority will be given to PhD candidates who follow an individual education plan where this particular course is included. Some national researchers’ schools may have specific rules for ranking applicants for courses with limited intake capacity.
PhD candidates who have been admitted to another higher education institution must apply for a position as a visiting student within a given deadline.
Recommended previous knowledge
5 credits overlap with INF5170 – Master seminar in logic (discontinued)
The participants presents literature, research and own work. Each participant contributes with presentations.
80% participation. In addition, each PhD student is expected to give an oral presentation on a topic of relevance (chosen in cooperation with the lecturer). The presentation has to be approved by the lecturer for the student to be admitted to the final exam.
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.
Note that the first lecture is mandatory.