LOGIKA, TEORIA OBLICZEŃ I KRYPTOGRAFIA
Tematy w semestrze jesiennym 2004:
14-10 Maria Fronczak ,
O bezpieczenstwie protokolow kryptograficznych
21-10 Dominik Wojtczak,
O obliczaniu rownowagi Nasha (wg prac M. Jurdzinskiego)
28-10 Jacek Kolodziej, Kryptograficzne generatory
pseudolosowe i ich konstrukcja
4-11 Maciej Sykulski,
Testowanie, optymalizacja, gry (wg Yanakakisa)
18-11 Aleksandra Kaminska ,
Rozszerzone protokoly Diffiego-Helmana
25-11 Jacek Jurewicz,
Dowody interakcyjne
2-12 Bartosz Sulkowski,
Rozstrzygalne gry z trudnymi warunkami Borelowskimi
(wg O. Serre'a)
9-12 Rafal Mlodzki,
Kryptogtafia wizualna
16-12 Szczepan Hummel,
Automaty sciezkowe na drzewach
6-01 Ewa Lyszczek,
Przewidywanie struktury 2-rzedowej bialek
oparte o algorytm Lima
13-01 Jakub Sakowicz,
Niestandardowe modele ZFC i hipoteza continuum
20-01 Agnieszka Kozubek,
Gry Ehrenfeuchta-Fraissego