Dependence logic, fall 2008

Lecturer

Jouko Väänänen

Scope

10 cu.

Type

Advanced studies.

Lectures

Tuesday 10-12, room D123 (B120 on Oct. 7)
 Wednesday 9-11, room D123
 First lecture on Tuesday September 16.

Prerequisites

Mathematical logic (Matemaattinen logiikka).

Textbook

Jouko Väänänen: Dependence Logic.
 A New Approach to Independence Friendly Logic.
 Series: London Mathematical Society Student Texts (No. 70).

Course Home Page

http://www.math.helsinki.fi/logic/opetus/DL/

Registration

Exams

Kurssi on mahdollista suorittaa loppukokeella matematiikan yleistentissä 22.1.09 tai 3.3.09.

Exercise groups