Kaisa_2012_3_photo by Veikko Somerpuro

Ilmoittaudu

Kuvaus

Optional course.

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.

Basic Logic

Bachelor and Master's Studies

History of logic from Frege to Tarski

Recommended time/stage of studies for completion: 1. or 2. year

Term/teaching period when the course will be offered: varying

First and second order logic, completeness and incompleteness theorem

Texts and papers

Lectures

Exam and excercises, or presentation, Course will be graded with grades 1-5

Exam, other methods will be described later