Seminar for
Mathematical Logic
PROGRAM
Sastanci Seminara za matematicku logiku Matematickog instituta
SANU odrzavace se i u akademskoj 2005/2006. godini po pravilu petkom od
16:15 sati u sali 2 na I spratu zgrade SANU, Beograd, Kneza Mihaila 35.
PETAK, 17. februar 2006.G. U 16.15 SATI
PETAK, 24. februar 2006.G. U 16.15 SATI
U Beogradu, 16.02.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 februar 2006
Petar Markovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
Veza izmedju univerzalne algebre i slozenosti izracunavanja
(A connection between Universal Algebra and Computational Complexity)
An important class of problems in Complexity Theory is called the
Constraint Satisfaction problems (CSP), whose complexity is at worst
NP-complete, and in certain cases can be in P. We shall review
some results connecting the complexity of the CSP and the
structural properties of a finite algebra corresponding to it. At
the end of the lecture we shall briefly go over the latest results
by G. Kun and another by Berman, Idziak, McKenzie, Valeriote and the
speaker. The second seems to pinpoint a class of algebras for which
$CSP$ will be in P.
Aleksandra Eric (Gradjevinski fakultet Univerziteta u Beogradu)
Prsten kosih polinoma - neki zanimljivi i skoriji rezultati
(The ring of skew polinomials - some recent and interesting results)
Prsten kosih polinoma kao primer iz nekomutativne algebre. Slicnosti i
razlike sa nekomutativnim prstenima. Prepoznavanje kosih
polinoma kao matricnog prstena, veza pseudo-nula i orijentisanih
grafova, kosi polinomi i dimenzija prostora re\v senja sistema
diferencijalnih jednacina. Predavanje je zamisljeno kao
doprinos resavanju logickog problema koji je postavio M.
Kapetanovic: Sta je polinom u proizvoljnoj algebarskoj strukturi?
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.