Lecture Course
MAST31206, 10 cr, Juha Kontinen, 05.09.2017 - 14.12.2017Master's Programme in Mathematics and StatisticsEnglish
Subscribe this course activityRSS

Kaisa_2012_3_photo by Veikko Somerpuro
Enrol
14.8.2017 at 08:00 - 14.12.2017 at 23:59

Timetable

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

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

Learn more about the classrooms accessibility and facilities (in Finnish)

Other teaching

Ryhmä 1
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

Material

Basic information and lecture notes

Other

Tasks

Exercise set 1

PDF icon P1.pdf

Exercise set 2

Exercise set 3

Exercise set 4

PDF icon P4.pdf

Exercise set 5

PDF icon P5.pdf

Exercise set 6

PDF icon Exercise set 6

Exercise set 7

PDF icon P7.pdf

Exercise set 8

PDF icon P8.pdf

Exercise set 9

PDF icon P9.pdf

Exercise set 10

PDF icon P10.pdf

Exercise set 11

PDF icon P11.pdf

Exercise set 12

PDF icon P12.pdf

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