Timetable
Material
Basic information and lecture notes
Other
Tasks
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
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