INF3170 – Logic
Schedule, syllabus and examination date
The course introduces advanced techniques from logic for use in computer science, with emphasis on proof systems and formal semantics. Basic concepts such as satisfiability, consistency, validity, soundness and completeness, and the interrelations between these, are covered, with examples from applications of logic within computer science.
Insight into logic as a base for studies in theoretical computer science. The course gives a starting point for further studies in logic with applications in computer science.
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
In addition to fulfilling the Higher Education Entrance Qualification, applicants have to meet the following special admission requirements:
- Mathematics R1 or Mathematics (S1+S2)
The special admission requirements may also be covered by equivalent studies from Norwegian upper secondary school or by other equivalent studies. Read more about special admission requirements (in Norwegian).
Recommended previous knowledge
INF2080 – Logikk og beregninger (continued)/HUMIT1750 – Logikk og beregninger (discontinued)/SLI 110/INF 120 or similar. The course can be followed without this recommended prerequisite with some extra effort.
4 hours of lectures and 2 hours of problem sessions per week. The students must hand in and pass mandatory assignments prior to the exam. Rules for mandatory assignments.
Written (4 hour) or oral final exam (counts 100% of the grade). The form of the exam will be announced at the first lecture. One must pass all the mandatory assignments prior to the exam.
Examination support material
No examination support material is allowed.
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.
The Course Auditor is Lars Kristiansen.
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.
It will also be counted as one of your three attempts to sit the exam for this course, if you sit the exam for one of the following courses: IN318/SLI310 and INF4170
It is strongly recommended to attend the first lecture since it will be given important information.