Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za decembar 2013.
Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 15h, pod rukovodstvom Profesora Miodraga Raskovica.
ČETVRTAK, 19.12.2013. U 15:00
dr Miodrag Raskovic
PONEDELJAK, 23.12.2013. U 14:00
Luka Milicevic, Triniti koledz, Univerzitet u Kembridzu, UK
KONTRAKTIVNE FAMILIJE NA KOMPAKTNIM PROSTORIMA
Apstrakt. Familija operatora f_1, f_2, ..., f_n na kompletnom metrickom prostoru (X,d) se naziva kontraktivnom familijom ako postoji pozitivno c < 1 takvo da za svake dve tae x,y u X, postoji indeks i takav da d(f_i(x), f_i(y)) <= c d(x,y). Tim Ostin je postavio pitanje da li za kontraktivnu familiju F na kompletnom metrickom prostoru uvek postoji kompozicija funkcija u F sa fiksnom tackom. U ovom predavanju cemo definisati prostore dijametara koji nam biti alat za konstrukciju kontraprimera za Ostinovo pitanje.
Mihajlo Cekic, Triniti koledz, Univerzitet u Kembridzu, UK
LAMBDA NA r OBOJENA HOMFLY HOMOLOGIJI RACIONALNIH CVOROVA
Apstrakt. Posle otkrica kvantnih invarijanti vezanih za SU(2) od Jones-a, Turaev je prvi dokazao da sve kvantne invarijante dolaze od tzv. kvantnih grupa. Postoji elementaran, graficki nacin da se definisu SU(n) kvantne invarijante preko trivalentnih planarnih grafova, cija je polinomna invarijanta HOMFLY polinom. Najjednostavniji primer predstavljaju tzv. racionalni cvorovi.
ČETVRTAK, 26.12.2013. U 15:00
Aleksandar Perovic
TEMPORALNE LOGIKE SA VREMENOM IZOMORFNIM PROIZVOLJNOM GRANICNOM ORDINALU
Beograd, 2013.