• Studies
• Courses
• • INF1800

This course is no longer available, see the current course list.

INF1800 - Logic and Computability

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 outcomes

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 at UiO must apply for courses in StudentWeb.

International applicants, if you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures for international applicants.

The examination in this course is not available for external candidates. Only students admitted to the course may sit for the examination.

Prerequisites

Formal prerequisites

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.

Overlap

10 credits against HUMIT1750 - Logikk og beregninger. 10 credits against HUMIT1750MN - Logikk og beregninger. 10 credits against SLI 110. 10 credits against SLI 1. 5 credits against HUMIT1751 - Beregnbarhet. 5 credits against FIL1400. 5 credits against INF1080 - Logical methods for computer science.

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.

Exam information

A 4 hour written exam.

Assessment and grading

Course grades are awarded on a descending scale using alphabetic grades from A to E for passes and F for fail. Read more about the grading system .

Possibility of make-up exams and re-takes

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 http://www.mn.uio.no/studier/admin/eksamen/utsatt-og-ny-eksamen/index.html and www.matnat.uio.no/english/studies/examination/repeat.html

Other information

Note that the first lecture is mandatory.

The subject is regarded equal to HUMIT1750/HUMIT1750MN/SLI 110/SLI 1 when practicing exam regulations

Contact us