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.