Kaisa_2012_3_photo by Veikko Somerpuro

Ilmoittaudu
12.8.2019 klo 09:00 - 22.12.2019 klo 23:59

Viestit

Käyttäjän Fan Yang kuva

Fan Yang

Julkaistu, 15.12.2019 klo 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.

Käyttäjän Fan Yang kuva

Fan Yang

Julkaistu, 12.12.2019 klo 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

Käyttäjän Fan Yang kuva

Fan Yang

Julkaistu, 12.11.2019 klo 16:50

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

Aikataulu

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

PäivämääräAikaOpetuspaikka
Ti 3.9.2019
14:15 - 16:00
To 5.9.2019
10:15 - 12:00
Pe 6.9.2019
12:15 - 14:00
Ti 10.9.2019
14:15 - 16:00
To 12.9.2019
10:15 - 12:00
Pe 13.9.2019
12:15 - 14:00
Ti 17.9.2019
14:15 - 16:00
To 19.9.2019
10:15 - 12:00
Pe 20.9.2019
12:15 - 14:00
Ti 24.9.2019
14:15 - 16:00
To 26.9.2019
10:15 - 12:00
Pe 27.9.2019
12:15 - 14:00
Ti 1.10.2019
14:15 - 16:00
To 3.10.2019
10:15 - 12:00
Pe 4.10.2019
12:15 - 14:00
Ti 8.10.2019
14:15 - 16:00
To 10.10.2019
10:15 - 12:00
Pe 11.10.2019
12:15 - 14:00
Ti 15.10.2019
14:15 - 16:00
To 17.10.2019
10:15 - 12:00
Pe 18.10.2019
12:15 - 14:00
Ti 29.10.2019
14:15 - 16:00
To 31.10.2019
10:15 - 12:00
Pe 1.11.2019
12:15 - 14:00
Ti 5.11.2019
14:15 - 16:00
To 7.11.2019
10:15 - 12:00
Pe 8.11.2019
12:15 - 14:00
Ti 12.11.2019
14:15 - 16:00
To 14.11.2019
10:15 - 12:00
Pe 15.11.2019
12:15 - 14:00
Ti 19.11.2019
14:15 - 16:00
To 21.11.2019
10:15 - 12:00
Pe 22.11.2019
12:15 - 14:00
Ti 26.11.2019
14:15 - 16:00
To 28.11.2019
10:15 - 12:00
Pe 29.11.2019
12:15 - 14:00
Ti 3.12.2019
14:15 - 16:00
To 5.12.2019
10:15 - 12:00
Ti 10.12.2019
14:15 - 16:00
To 12.12.2019
10:15 - 12:00
Pe 13.12.2019
12:15 - 14:00

Materiaalit

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

Muu

Tehtävät

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

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.

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