Seminar for
Mathematical Logic
PROGRAM
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
PETAK, 09. april 2004.G. U 16.15 SATI
PETAK, 16. april 2004.G. U 16.15 SATI
PETAK, 23. april 2004.G. U 16.15 SATI
PETAK, 30. april 2004.G. U 16.15 SATI
U Beogradu, 01.03.2004.
Rukovodioci seminara:
Azurirani programi svih seminara Matematickog instituta SANU mogu se naci
na adresi www.mi.sanu.ac.yu.
Program Seminara za logiku za april 2004
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.
Zbog Uskrsnjih praznika, sastanak Seminara nece biti odrzan.
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.
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.
Zbog Prvomajskih praznika, sastanak Seminara nece biti odrzan.
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.