INF1800 – Logic and Computability
Course description
Course content
Introduction to propositional and predicate logic. Use of logic as a language for knowledge representation and specification, and methods for verification or rejection of logical validity by proof calculi or model construction. Formal models of computation, such as finite automata, stack automata and Turing machines, and the elementary theory concerning these.
Learning outcome
To be able to use propositional and predicate logic as formal languages. Being able to argue for logical validity, or establish invalidity by falsification. To be familiar with methods associated with computability models.
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).
Overlapping courses
- 10 credits overlap with HUMIT1750 – Logikk og beregninger (discontinued)
- 10 credits overlap with HUMIT1750MN – Logikk og beregninger (discontinued)
- 10 credits overlap with SLI 110
- 10 credits overlap with SLI 1
- 5 credits overlap with HUMIT1751 – Beregnbarhet (discontinued)
- 5 credits overlap with FIL1400
- 5 credits overlap with INF1080 – Logical Methods for Computer Science (continued)
Teaching
3 hours of lectures and 3 hours of group lectures per week. Mandatory assignments must be completed during the course; if these are not accepted, the student may not take the final exam.
Examination
A 4 hour written 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.
Resit an examination
This subject offers new examination in the beginning of the subsequent term for candidates who withdraw during an ordinary examination or fail an ordinary examination. For general information about new examination, see /studier/admin/eksamen/sykdom-utsatt/mn/index.html and www.matnat.uio.no/english/studies/examination/repeat.html
Other
Note that the first lecture is mandatory.
The subject is regarded equal to HUMIT1750/HUMIT1750MN/SLI 110/SLI 1 when practicing exam regulations