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