Kaisa_2012_3_photo by Veikko Somerpuro

Enrol
12.8.2019 at 09:00 - 22.12.2019 at 23:59

Messages

Fan Yang's picture

Fan Yang

Published, 15.12.2019 at 23:17

There will be an extra exercise session organized by the TA Davide Quadrellaro on Tuesday (Dec. 17) at 14:00. If you would like to join (not compulsory), Davide will meet you in the coffee room of the fourth floor, Exactum.

Fan Yang's picture

Fan Yang

Published, 12.12.2019 at 13:53

Dear students,

The exam of Dependence Logic course will be held on December 19 (Thursday), 13:00 - 16:00, in Exactum C122. Please make sure that you arrive at the classroom at 13:00 (sharp). The exam will start at 13:05.

In the exam question sheets you will find an appendix that contains a list of rules for the natural deduction systems covered in the course.

Good luck!

Miika and Fan

Fan Yang's picture

Fan Yang

Published, 12.11.2019 at 16:50

The classroom of the Dependence Logic lecture on Thursday Nov. 14 (10:15-12:00) has been changed to Exactum, sali B120.

Timetable

Lectures:

Tue 14:15 - 16:00, Physicum, sali D106, Gustaf Hällströmin katu 2
Thu 10:15 - 12:00, Physicum, sali D104, Gustaf Hällströmin katu 2

Exercise class:

Fri 12:15 - 14:00, Exactum, C220, Pietari Kalmin katu 5

Note: No exercise class on Friday, December 6 (Independence Day)

Exam:

December 19, Thu 13:00 - 16:00, Exactum, C122, Pietari Kalmin katu 5

DateTimeLocation
Tue 3.9.2019
14:15 - 16:00
Thu 5.9.2019
10:15 - 12:00
Fri 6.9.2019
12:15 - 14:00
Tue 10.9.2019
14:15 - 16:00
Thu 12.9.2019
10:15 - 12:00
Fri 13.9.2019
12:15 - 14:00
Tue 17.9.2019
14:15 - 16:00
Thu 19.9.2019
10:15 - 12:00
Fri 20.9.2019
12:15 - 14:00
Tue 24.9.2019
14:15 - 16:00
Thu 26.9.2019
10:15 - 12:00
Fri 27.9.2019
12:15 - 14:00
Tue 1.10.2019
14:15 - 16:00
Thu 3.10.2019
10:15 - 12:00
Fri 4.10.2019
12:15 - 14:00
Tue 8.10.2019
14:15 - 16:00
Thu 10.10.2019
10:15 - 12:00
Fri 11.10.2019
12:15 - 14:00
Tue 15.10.2019
14:15 - 16:00
Thu 17.10.2019
10:15 - 12:00
Fri 18.10.2019
12:15 - 14:00
Tue 29.10.2019
14:15 - 16:00
Thu 31.10.2019
10:15 - 12:00
Fri 1.11.2019
12:15 - 14:00
Tue 5.11.2019
14:15 - 16:00
Thu 7.11.2019
10:15 - 12:00
Fri 8.11.2019
12:15 - 14:00
Tue 12.11.2019
14:15 - 16:00
Thu 14.11.2019
10:15 - 12:00
Fri 15.11.2019
12:15 - 14:00
Tue 19.11.2019
14:15 - 16:00
Thu 21.11.2019
10:15 - 12:00
Fri 22.11.2019
12:15 - 14:00
Tue 26.11.2019
14:15 - 16:00
Thu 28.11.2019
10:15 - 12:00
Fri 29.11.2019
12:15 - 14:00
Tue 3.12.2019
14:15 - 16:00
Thu 5.12.2019
10:15 - 12:00
Tue 10.12.2019
14:15 - 16:00
Thu 12.12.2019
10:15 - 12:00
Fri 13.12.2019
12:15 - 14:00

Material

Lecture notes (please login to view the lecture notes; last updated: 12.12)

Other

Tasks

Exercises

exercises for the exercise class on 13.09
exercises for the exercise class on 20.09
Exercises for the exercise class on 27.9
Exercises for the exercise class on 4.10
Exercises for the exercise class on 11.10 (note: exercises 1 and 2 were replaced with new ones on 2.10)
Exercises for the exercise class on 18.10
Exercises for the exercise class on 1.11
Exercises for the exercise class on 8.11
Exercises for the exercise class on 15.11
Exercises for the exercise class on 22.11
Exercises for the exercise class on 29.11
Exercises for the exercise class on 13.12

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