Kaisa_2012_3_photo by Veikko Somerpuro

Anmäl dig
12.8.2019 kl. 09:00 - 22.12.2019 kl. 23:59

Meddelande

Bild för Fan Yang

Fan Yang

Publicerad, 15.12.2019 kl. 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.

Bild för Fan Yang

Fan Yang

Publicerad, 12.12.2019 kl. 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

Bild för Fan Yang

Fan Yang

Publicerad, 12.11.2019 kl. 16:50

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

Tidsschema

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

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

Material

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

Övriga

Uppgifterna

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

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