INF4170 – Logic
Schedule, syllabus and examination date
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.
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.
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.
Formal prerequisite knowledge
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.
10 credits with INF3170 – Logic (continued) and 10 credits with IN 318/SLI 310.
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.
Written or oral final exam.
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.
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