Undervisning

Namn Sp Studieform Tid Ort Arrangör
Dependence logic 10 Cr Allmän tent 5.2.2020 - 5.2.2020
Dependence logic 10 Cr Föreläsningskurs 3.9.2019 - 22.12.2019
Dependence logic 10 Cr Allmän tent 8.8.2018 - 8.8.2018
Dependence logic 10 Cr Allmän tent 13.6.2018 - 13.6.2018
Dependence logic 10 Cr Allmän tent 11.4.2018 - 11.4.2018
Dependence logic 10 Cr Allmän tent 7.2.2018 - 7.2.2018
Dependence logic 10 Cr Allmän tent 10.1.2018 - 10.1.2018
Dependence logic 10 Cr Föreläsningskurs 5.9.2017 - 14.12.2017

Målgrupp

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.

Tidigare studier eller kunskaper

E.g. Johdatus logiikkaan II

Kunskapsmål

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

Innehåll

Team semantics, dependence logic and its variants

Aktiviteter och undervisningsmetoder som stöder lärandet

Lectures and exercise classes

Studiematerial

J. Väänänen: Dependence logic (2007)

Bedömningsmetoder och kriterier

Exam and excercises, Course will be graded with grades 1-5

Rekommenderade valfria studier

Master studies

Studieavsnittets form

Exam, other methods will be described later