INF9170 ¨C Master seminar in logic

Course description

• Course content
• Learning outcome
• Admission
• Prerequisites

• Overlapping courses
• Teaching
• Examination

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 ¨C Logikk og beregninger (discontinued) or SLI110 or INF120 and
• INF3170 ¨C Logic (continued) or INF4170 ¨C Logic (discontinued) or IN318 or SLI310.

Overlapping courses

5 credits overlap with INF5170 ¨C 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

• Explanation of grades 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.