This course is discontinued

Schedule, syllabus and examination date

Choose semester

Course content

The course introduces logical calculi which are suitable for proof search. Sequent calculi for classical and intuitionistic logic, the tableau method and resolution are central. Fundamental concepts such as satisfiability, consistency, validity, soundness and completeness, and the relations between these, are covered.

Learning outcome

The aim of the course is to give the students a background in logic, which is sufficient for advanced studies in theoretical computer science, logic or automated deduction.

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

Formal prerequisite knowledge

None

Recommended previous knowledge

HUMIT1750 – Logikk og beregninger (discontinued)/SLI 110/INF 120 or similar. The course can be followed without this recommended prerequisite with some extra effort.

Overlapping courses

10 credits with INF3170 – Logic (continued) and 10 credits with IN 318/SLI 310.

Teaching

2 hours of lectures and 2 hours of problem sessions per week. The students must hand in and pass obligatory tasks before they are admitted to take the exam.

Examination

Written or oral final exam.

Grading scale

Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. Read more about the grading system.

Other

Note that the first lecture is compulsory. The subject is regarded equal to IN318/SLI310 and INF3170 when practicing exam regulations.

Course Auditor: Lars Kristiansen

Facts about this course

Credits

10

Teaching

Every spring

Examination

Every spring

Teaching language

Norwegian