Instruction
| Name | Cr | Method of study | Time | Location | Organiser |
|---|---|---|---|---|---|
| Dependence logic | 10 Cr | General Examination | 5.2.2020 - 5.2.2020 | ||
| Dependence logic | 10 Cr | Lecture Course | 3.9.2019 - 22.12.2019 | ||
| Dependence logic | 10 Cr | General Examination | 8.8.2018 - 8.8.2018 | ||
| Dependence logic | 10 Cr | General Examination | 13.6.2018 - 13.6.2018 | ||
| Dependence logic | 10 Cr | General Examination | 11.4.2018 - 11.4.2018 | ||
| Dependence logic | 10 Cr | General Examination | 7.2.2018 - 7.2.2018 | ||
| Dependence logic | 10 Cr | General Examination | 10.1.2018 - 10.1.2018 | ||
| Dependence logic | 10 Cr | Lecture Course | 5.9.2017 - 14.12.2017 |
Target group
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.
Prerequisites
E.g. Johdatus logiikkaan II
Learning outcomes
Basic knowledge of dependence logic and team semantics.
Timing
Recommended time/stage of studies for completion: 1. or 2. year
Term/teaching period when the course will be offered: varying
Contents
Team semantics, dependence logic and its variants
Activities and teaching methods in support of learning
Lectures and exercise classes
Study materials
J. Väänänen: Dependence logic (2007)
Assessment practices and criteria
Exam and excercises, Course will be graded with grades 1-5
Recommended optional studies
Master studies
Completion methods
Exam, other methods will be described later