INF9170 – Master seminar in logic
Course description
Course content
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.
Learning outcome
The participants should gain a better understanding of one or more topics within the field and get training in presenting theoretical material.
Admission
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.
Prerequisites
Recommended previous knowledge
- HUMIT1750 – Logikk og beregninger (discontinued) or SLI110 or INF120 and
- INF3170 – Logic (continued) or INF4170 – Logic (discontinued) or IN318 or SLI310.
Overlapping courses
5 credits overlap with INF5170 – Master seminar in logic (discontinued)
Teaching
The participants presents literature, research and own work. Each participant contributes with presentations.
Examination
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.
Pass/Fail.
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.
Other
Note that the first lecture is mandatory.