Kaisa_2012_3_photo by Veikko Somerpuro

Enrol

Timetable

Here is the course’s teaching schedule. Check the description for possible other schedules.

DateTimeLocation
Wed 13.9.2017
14:15 - 16:00
Wed 20.9.2017
14:15 - 16:00
Wed 27.9.2017
14:15 - 16:00
Wed 4.10.2017
14:15 - 16:00
Wed 11.10.2017
14:15 - 16:00
Wed 18.10.2017
14:15 - 16:00
Wed 1.11.2017
14:15 - 16:00
Wed 8.11.2017
14:15 - 16:00
Wed 15.11.2017
14:15 - 16:00
Wed 22.11.2017
14:15 - 16:00
Wed 29.11.2017
14:15 - 16:00
Wed 13.12.2017
14:15 - 16:00

Other teaching

13.09. - 18.10.2017 Wed 14.15-16.00
01.11. - 29.11.2017 Wed 14.15-16.00
13.12.2017 Wed 14.15-16.00
Juha Kontinen
Teaching language: English

Description

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.

E.g. Johdatus logiikkaan II

Master studies

Basic knowledge of dependence logic and team semantics.

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

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

Team semantics, dependence logic and its variants

J. Väänänen: Dependence logic (2007)

Lectures and exercise classes

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

Exam, other methods will be described later