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

Seminar for Mathematical Logic

 

PROGRAM Program Seminara za logiku za april 2004

Sastanci Seminara za matematicku logiku Matematickog instituta SANU odrzavace se i u akademskoj 2003/2004. godini po pravilu petkom od 16:15 sati u sali 2 na I spratu zgrade SANU, Beograd, Kneza Mihaila 35.

PETAK, 02. april 2004.G. U 16.15 SATI
Aleksandar Krapez (Matematicki institut SANU, Beograd)
IDENTITETI BOL-MOUFANGove UZ POMOC DOKAZIVACA OTTER I IZGRADJIVACA MODELA MICE (Bol-Moufang identities using Prover Otter and Model Builder Mace)

Rezime: Istrazuju se odnosi 60 identiteta tipa Bol-Mufangove na kvazigrupama. Koriste se programi navedeni u naslovu.

PETAK, 09. april 2004.G. U 16.15 SATI
Zbog Uskrsnjih praznika, sastanak Seminara nece biti odrzan.


PETAK, 16. april 2004.G. U 16.15 SATI
Slobodan Vujosevic (Prirodno-matematicki fakultet Univerziteta Crne Gore u Podgorici)
JEDNA PRIMENA ELIMINACIJE KVANTIFIKATORA (An application of elimination of quantifiers)

Rezime: Metodom eliminacije kvantifikatora dokazuje se da je svaka podela jedinicnog kvadrata racionalna, tj svaki kvadrat podele ima racionalnu stranicu.

PETAK, 23. april 2004.G. U 16.15 SATI
ALeksandar Perovic (Matematicki institut SANU, Beograd)
O PROBLEMU KONTINUUMA (On the continuum problem)

Rezime: Predavanje je nastavak predavanja od 12. marta ove godine u kome je bilo reci o ZFC aspektima problema kontinuuma, Bice prikazani clanci H.Woodina "The continuum Hypothesis, Part I" i "The Continuum Hypothesis, Part II" objavljeni u Notices of the AMS, June/July 2001 i August 2001.

PETAK, 30. april 2004.G. U 16.15 SATI
Zbog Prvomajskih praznika, sastanak Seminara nece biti odrzan.


U Beogradu, 01.03.2004.

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.