Mikołaj Bojańczyk > Seminarium magisterskie „Logika i teoria obliczeń"


Seminarium magisterskie „Logika i teoria obliczeń"

Prowadzący: Damian Niwiński, Mikołaj Bojańczyk


Plan na semestr letni 2009

19, 26 lutego. Michał Raczkowski „Gra Yahtzee"

5, 12 marca. Aleksander Jankowski „Hierarchia kwantyfikatorów w teorii skończonych modeli"

19 marca. Adam Radziwończyk-Syta

26 marca, 2 kwietnia. Oskar Sibski „Twierdzenie Rabina o automatach na drzewach niekończonych"

9 kwietnia. Adam Pacuk. Praca magisterska, lub gry parzystosci.

16 kwietnia. Maria Donten „Twierdzenie Simona of lasach rozkładu"

23 kwietnia ?

30 kwietnia ?

7 maja ?

14 maja ?

21 maja ?

28 maja ?

4 czerwca ?