Seminar for
Mathematical Logic
PROGRAM
Sastanci Seminara za matematicku logiku Matematickog instituta
SANU odrzavace se i u akademskoj 2006/2007. godini po pravilu petkom od
16:15 sati u sali 2 na I spratu zgrade SANU, Beograd, Kneza Mihaila 35.
PETAK, 01. decembar 2006.G. U 16.15 SATI
PETAK, 08. decembar 2006.G. U 16.15 SATI
PETAK, 15. decembar 2006.G. U 15.15 SATI
PETAK, 22. decembar 2006.G. U 16.15 SATI
Gostovanje prateceg Seminara za verovatnosne logike
(Seminar for probabilistic logics will present some of its results.)
Petak 29. decembar 2006.G. U 16.15 SATI
U Beogradu, 28.11.2006.
Rukovodioci seminara:
Azurirani programi svih seminara Matematickog instituta SANU mogu se naci
na adresi www.mi.sanu.ac.yu.
Program Seminara za logiku za oktobar 2006
Christian Pech (Institut fuer Algebra, Technische
Universitaet Dresden)
Kleene's Theorem for Formal Tree-Series
In this talk I will explain a Kleene-type theorem for formal
tree-series over commutative semirings. That is, for suitable set of
rational operations I will show that the proper rational formal
tree-series coincide with the recognizable ones. In the proof we
make use of the theory of weighted tree-languages. This and other
results can be found in [1, 2, 3].
References:
[1] C. Pech. Kleene-type results for weighted
tree-automata. Dissertation, TU-Dresden, 2003.
http://www.math.tu-dresden.de/-pech/diss.ps.
[2] C. Pech. Kleene's theorem for weighted tree-automata. In A.
Lingas and B. J. Nilsson, editors, Fundamentals of Computation
Theory, 14th International Symposium, FCT 2003, Malmo, Sweeden,
August 12-15, 2003, Proceedings, volume 2751 of Lecture Notes
in Computer Science}, pages 387-399, Springer 2003.
[3] M. Droste, C. Pech and H. Vogler. A Kleene theorem for
weighted tree automata. Theory Comput. Syst}., 38(1):1-38,
2005.
Petar Markovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
Prirodna dualizabilnost konacnih algebri
(Natural dualizability of finite algebras)
We define the general framework for duality, one that encompasses
the Stone, Priestley and finite case of Pontryagin dualities. We
also survey the recent partial results on characterizing the finite
dualizable algebras. This lecture is an updated version of the
lecture by the same speaker in Spring 2004, one that includes a
survey of three major new results proved in the meantime.
Sednica Seminara nece biti odrzana zbog proslave 60. godisnjice Matematickog
instituta SANU 13., 14. i 15. decembra 2006.g.
(Mathematical institute celebrates its 60th anniversary on December 13, 14
and 15. Seminar meeting is canceled, but there is a special program of
lectures for this occasion.)
Program predavanja uprilicenih povodom proslave ovog jubileja
moze se naci na sajtu Matematickog instituta SANU.
Vladimir Ristic (Uciteljski fakultet u Jagodini, Univerzitet u Kragujevcu)
VEROVATNOSNE LOGIKE S VEKTORSKI-VREDNOSNIM MERAMA
(Probabilty logics with vector-valued measures)
Rezime: Verovatnosni modeli ovih logika imaju mere ciji je skup
vrednostin-torka racionalnih brojeva. Dokazuje se potpunost
aksiomatizacije za ove logike.
Neformalni sastanak Seminara povodom kraja godine.
(Informal meeting of the Seminar)
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.