LOGIKA, TEORIA OBLICZEŃ I KRYPTOGRAFIA
Tematy w semestrze wiosennym 2005:
24-02 Eryk Kopczynski,
Gry pol-pozycyjnie zdeterminowane - praca mgr
3-03 Agata Przybylska,
Logika temporalna nad grafami automatow ze stosem - praca mgr
10-03 Maciej Mostowski,
Arytmetyka w skonczonych modelach - praca mgr
17-03 Maria Fronczak, Jacek Kolodziej,
Dystrybucja kluczy kryptograficznych w sieciach sensorowych
Bezpieczna agregacja danych w sieciach sensorowych
24-03 Lukasz Chmielewski,
Algorytmy kwantowe
31-03 Szczepan Hummel i Maciej Sykulski,
Topologia a obliczenia rozproszone (nagroda Goedla)
7-04 Antoni Goldstein,
Kryptoanaliza szyfrow strumieniowych - praca mgr
14-04 Ilona Kryszkiewicz,
Obliczenia wielopodmiotowe - praca mgr
21-04 Stanislaw Skonieczny,
Algorytmiczne uzupelnianie luk w tekstach starozytnych - praca mgr
28-04 Maciej Mostowski,
Arytmetyka w strukturach skonczonych - praca mgr
5-05 Michal Sokolowski,
Algorytmy rozwiazywania gier - praca mgr
12-05 Elzbieta Filipkowska,
Algorytmy rozwiazywania gier - praca mgr
19-05 Piotr Wieczorek,
Praca mgr (kryptografia)