INF1080 – Logical Methods for Computer Science
Schedule, syllabus and examination date
Course content
Fundamental mathematical and logical methods. The emphasis is on understanding and getting accustomed to mathematical concepts and notation that is relevant for a study in informatics. Subjects taught are logic (propositional logic and predicate logic), formalization, proof methods, set theory, relation and function theory, inductively defined structures, proof by induction, combinatorics, graphs and trees, automata and regular expressions.
Learning outcome
Think clearly and logical and solve simple mathematical problems,
carry out and understand mathematical reasoning and proofs, understand fundamental terminology and notation, and some basic results in theoretical computer science.
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
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).
Teaching
2 hours of lectures and 2 hours of tuition each week. Several mandatory problems must be completed during the course. Rules for mandatory assignments.
Access to teaching
A student who has completed compulsory instruction and coursework and has had these approved, is not entitled to repeat that instruction and coursework. A student who has been admitted to a course, but who has not completed compulsory instruction and coursework or had these approved, is entitled to repeat that instruction and coursework, depending on available capacity.
Examination
This course has a 4 hours written digital examination which counts for 100% of the grade. Mandatory assignments must be approved prior the exam.
Examination support material
No examination support material is allowed.
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.
Explanations and appeals
Resit an examination
This course offers both postponed and resit of examination. Read more:
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.
Special examination arrangements
Application form, deadline and requirements for special examination arrangements.
Other
The first lecture is mandatory.