Tematyka:
- Struktura hierarchii stopni Turinga, klasyfikacja różnych paradygmatów obliczeniowych według hierarchii stopni Turinga (np. wyuczalności algorytmicznej, reprezentowalności nad klasą modeli skończonych, itp.), związki teorii stopni Turinga z siłą wyrazu logik i z rozstrzygalnością teorii aksjomatycznych;
- Podejście konkretne do badań nad podstawami matematyki (w opozycji do podejścia aksjomatycznego), metody teoriomodelowe w potencjalnie nieskończonych dziedzinach modeli skończonych, kombinatoryka, teoria automatów, matematyka dyskretna;
- Logiczne podstawy arytmetyki, tj. zagadnienia teorii modeli arytmetyki, teorii dowodu arytmetyki, badania sił wyrazu teorii arytmetycznych (także z kwantyfikatorami uogólnionymi), słabe arytmetyki, podsystemy arytmetyki drugiego rzędu, arytmetyka a złożoność obliczeniowa.
Wykładowcy:
Lista wykładowców tegorocznej edycji Warsztatów Logicznych:
TBA
Siatka zajęć:
TBA