Mikołaj Bojańczyk > Seminarium magisterskie „Logika i teoria obliczeń"
Prowadzący: Damian Niwiński, Mikołaj Bojańczyk
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 ?