INF4170 – Logic
Course description
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