ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

Seminar for Mathematical Logic

 

PROGRAM Program Seminara za logiku za jun 2007

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. jun 2007.G. U 16.15 SATI
Zarko Mijajlovic (Matematicki fakultet Univerziteta u Beogradu)
Neke primene nestandardne analize
(Some applications of non-standard analysis)


Rec je o primenama nestandardne analize na dinamicke sisteme i diferencijalne jednacine.

PETAK, 08. jun 2007.G. U 16.15 SATI
Mark A. Brown (Philosophy Department, Syracuse University, Syracuse, New York, USA)
A Graph-Theoretic Approach to Some Problems in the Theory of Branching Quantifiers

By a Mostowski graph, we mean a finite graph with disjoint sets A, E of vertices, with all edges directed from A to E. A number of results about Mostowski graphs are found to be useful in establishing semantic and syntactic results about branching quantifiers, which Henkin characterized as partially ordered sets of first order quantifiers, but which can better be characterized as sets of dependencies among quantifiers.

PETAK, 15. jun 2007.G. U 15.15 SATI
Aleksandar Perovic (Saobracajni fakultet Univerziteta u Beogradu)
Lindenbaum-Tarski algebre (The Lindenbaum-Tarski Algebras)

Na predavanju ce biti reci o karakterizaciji Boole-ovih algebri preko Lindenbau-Tarski iskaznih algebri, kao i veza ovih algebri s forsingom.

U Beogradu, 07.05.2007.

Rukovodioci seminara:
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.

Azurirani programi svih seminara Matematickog instituta SANU mogu se naci na adresi www.mi.sanu.ac.yu.