LOGIKA I TEORIA OBLICZEŃ
Plan seminarium na semestr wiosenny 2002:
12-02 Pawel Witkowski: Kwantowy algorytm wyszukiwania
(kontynuacja)
19-02 Pawel Wolff: Gry nieskonczone (kontynuacja)
26-02 Grzegorz Chojnacki: Praca magisterska z kryptografii
5-12-19-03 Michal Bernardelli: Szyfrowanie strumieniowe
26-03 Joanna Czarnocka: Model checking dla systemow
czasu rzeczywistego
9-04 Slawomir Leszczynski: Kody korygujace bledy
23-04 Jakub Taranienko: Logiki modalne (praca mgr)
30-04 Agnieszka Cieslinska: Monadyczne NP
21-05 O swoich pracach magisterskich opowiadaja:
Jan Adamowicz, O generatorach liczb pseudolosowych
Joanna Czrnocka, O zautomatyzowanej weryfikacji protokolow
kryptograficznych
Slawomir Leszczynski, O dowodach interakcyjnych ze skonczona
liczba stanow