The course consists of lectures, exercises, and writing tasks. The details can be found on the course Moodle area.
Alternatively the course can be taken by passing a general examination.
Master's Programme in Mathematics and Statistics is responsible for the course.
The course belongs to the Mathematics and Applied mathematics module.
The course is available to students from other degree programmes.
Mathematical routine aquired during B.Sc. level mathematics courses. Introduction to logic I&II help, but are not strictly necessary.
The course gives basic knowledge in the strengths and limitations of formal proofs
Recommended time/stage of studies for completion: 1. year
Term/teaching period when the course will be offered: varying
The main topics of the course are the completeness theorems of propositional and predicate logic and Gödel's incompleteness theorems. Methods and topics needed for these are formal deduction, definability, primitive recursive and recursive functions.
Jouko Väänänen ”Matemaattinen logiikka” (alternatively e.g. Herbert B. Enderton ”A Mathematical Introduction to Logic”)
Lectures and exercises
Exam and excercises, Course will be graded with grades 1-5
Exam and exercises or general exam