LOGIKA, TEORIA OBLICZEŃ I KRYPTOGRAFIA
Tematy w semestrze jesiennym 2002:
15-10 Jacek Swiergocki, Pieniadze elektroniczne
22-10 Pawel Witkowski, Nowy algorytm rozpoznawania
liczb pierwszych
29-10 Joanna Golinska, Logiki z operatorami indukcji
5-11 Piotr Gawel, Two-party computations
12-11 Dominik Kaminski,
Private Information Retrieval
19-11 Pawel Fic, Unconditional Security in
Cryptography
26-11 Wojciech Hury, O determinacji gier
nieskonczonych
3-12 Hubert Sledz, Problem faktoryzacji w kategoriach
swiadkow prostopadlych i rownoleglych
10-12 Marek Biskup, Rachunek Mi
17-12 Joanna Czarnocka, Automatyczna weryfikacja protokolow
glosowania
7-01-2003 Agata Kendziorek, Metoda indeksow i
liczby gladkie