Pavel Naumov

Logic & Computation

Week One - 9.00-10.30 - Level: I

Room: 7E02


This introductory-level course will discuss notion of independence as it appears in several different fields under different names: non-deducibility in information flow theory, stochastic independence in probability theory, and interchangeability in game theory. The central theme of the course is similarity of these notions that will be demonstrated by showing that propositional theory of all three of them is the same. The course will also review the known results on conditional version of these relations.