Seminarium magisterskie

Logika i teoria obliczeń

(prowadzący: Damian Niwiński, Mikołaj Bojańczyk)

Plan na semestr zimowy 2008/2009

9. X Tomasz Kurpios. Praca magisterska

16.X Marek Czarnecki. Definicje prawdy.

23.X Maria Donten. Praca magisterska

30.X Oskar Skibski. Automaty a logika – słowa skończone

6.XI Andrzej Pacuk. Gry

13,20.XI Adam Radziwończyk-Syta. Automaty a logika – słowa nieskończone

27.XI Maria Donten. Logika pierwszego rzędu na słowach

4,11.XII Aleksander Jankowski. Ilość zmiennych w formułach opisujących modele skończone

18.XII Andrzej Pacuk. Algorytmiczna teoria gier