Kaisa_2012_3_photo by Veikko Somerpuro

Anmäl dig
14.8.2017 kl. 08:00 - 14.12.2017 kl. 23:59

Tidsschema

I den här delen hittar du kursens tidsschema. Kontrollera eventuella andra tider i beskrivning.

DatumTidPlats
tors 7.9.2017
10:15 - 12:00
mån 11.9.2017
12:15 - 14:00
tors 14.9.2017
10:15 - 12:00
mån 18.9.2017
12:15 - 14:00
tors 21.9.2017
10:15 - 12:00
mån 25.9.2017
12:15 - 14:00
tors 28.9.2017
10:15 - 12:00
mån 2.10.2017
12:15 - 14:00
tors 5.10.2017
10:15 - 12:00
mån 9.10.2017
12:15 - 14:00
tors 12.10.2017
10:15 - 12:00
mån 16.10.2017
12:15 - 14:00
tors 19.10.2017
10:15 - 12:00
mån 30.10.2017
12:15 - 14:00
tors 2.11.2017
10:15 - 12:00
mån 6.11.2017
12:15 - 14:00
tors 9.11.2017
10:15 - 12:00
mån 13.11.2017
12:15 - 14:00
tors 16.11.2017
10:15 - 12:00
mån 20.11.2017
12:15 - 14:00
tors 23.11.2017
10:15 - 12:00
mån 27.11.2017
12:15 - 14:00
tors 30.11.2017
10:15 - 12:00
mån 4.12.2017
12:15 - 14:00
tors 7.12.2017
10:15 - 12:00
mån 11.12.2017
12:15 - 14:00
tors 14.12.2017
10:15 - 12:00

Övrig undervisning

13.09. - 18.10.2017 ons 14.15-16.00
01.11. - 29.11.2017 ons 14.15-16.00
13.12.2017 ons 14.15-16.00
Juha Kontinen
Undervisningsspråk: Engelska

Material

Basic information and lecture notes

Uppgifterna

Exercise set 1

Exercise set 2

Exercise set 3

Exercise set 4

Exercise set 5

Exercise set 6

Exercise set 7

Exercise set 8

Exercise set 9

Exercise set 10

Exercise set 11

Exercise set 12

Beskrivning

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