This course is discontinued

INF5170 – Master seminar in logic

Schedule, syllabus and examination date

Choose semester

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 og INF3170 – Logic / 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.

Facts about this course

Credits

5

Level

Master

Teaching

Spring and autumn

This course will not be given spring 2016

Examination

Spring and autumn

Teaching language

Norwegian (English on request)