This course is discontinued

Schedule, syllabus and examination date

Choose semester

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

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

Facts about this course

Credits

10

Level

Bachelor

Teaching

Every autumn

The course will be held for the last time autumn 2010.

Examination

Every autumn

Teaching language

Norwegian