Seminar for
Mathematical Logic
PROGRAM
Plan rada Seminara za logiku za mart 2011.
Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u zimskom semestru 2009/2010.g. na novoj adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Cetvrtkom posle podne, ali od 15:00 sati, odrzavace se predavanja na Seminaru iz verovatnosnih logika pod rukovodstvom Profesora Miodraga Raskovica koji je u decembru 2007. dobio akreditaciju Naucnog veca Instituta. Na taj nacin, ponovo, kao pre vise decenija, postoje dva logicka seminara.
PETAK, 04.03.2011. U 16:00
Petar Markovic (Departman za matematiku i informatiku Prirodno-matematickog
fakulteta Univerziteta u Novom Sadu)
In memoriam: Jaroslav Jezek (1945 - 2011)}
Predavac ce govoriti o zivotu i delu Jaroslava Jezeka
(Akademija nauka Ceske republike), specijalno o njegovim
doprinosima jednakosnim logikama, teoriji mreza i grupoidima, kao
i o licnim kontaktima i saradnji s njim. ( Njegova knjiga
Universal Algebra, First edition April 2008, moze se skinuti s mreze).
PETAK, 11.03.2011. U 16:15
Rade Zivaljevic (Matematicki institut SANU, Beograd)
Bojova povrs (Boy's surface)
Bojova povrs (Boy's surface) je znamenita imerzija projektivne
ravni u 3-dimenzionalni euklidski prostor (Werner Boy je bio ucenik Davida
Hilberta). Iskoristicemo Bojovu povrs (ukljucujuci i za ovu priliku
specijalno pripremljene kompjuterske
animacije) kao primer topoloskog objekta za ciju se analizu
koriste vazne geometrijske ali i algebraske i kategorijalne
konstrukcije (kobordizmi, spektri, itd.). Predavanje je namenjeno sirem
krugu slusalaca a posebno mi je drago sto imam priliku
da o ovoj temi govorim na Logickom seminaru za koji je vezan vazan deo
moje rane matematicke biografije.
Petak, 18.03.2011. U 16:15
Olivera Vidojevic (Matematicki fakultet Univerziteta u Beogradu)
Kompaktnost u Matematickoj logici (Compactness in Mathematical logic)
Compactness as a powerful feature in mathematics, allowing reducing
of infinite to finite. Introducing, testing and application in
propositional calculus; Compactness theorem as a essential feature
of the first-order predicate calculus. Compactness and its study in
abstract logics. Importance of this theorem and application outside
logic (algebra and analysis).
PETAK, 25.03.2011. U 16:15
Aleksandar Pavlovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
Konvergentne strukture i topologije na kompletnim Bulovim algebrama
povezane s forsingom (Forcing related convergence structures and
toplogies on complete Boolean algebras)
Abstract:
Bice prezentovana generalna metoda generisanja topologije pomocu
konvergencije nizova i ilustrovana s nekoliko konvergencija
definisanih forsing osobinama realnih brojeva (podskupova skupa
prirodnih brojeva).
OBAVESTENJA:
1) Dejan Ilic (Saobracajni fakultet Univerziteta u Beogradu)
branice magistarsku tezu pod naslovom: Dimenzija modela
neprebrojivo kategoricne teorije (Dimension of model of an
uncountably categorical theory) u PETAK, 25. FEBRUARA 2011.G. U
18:00 SATI U SALI 844, V SPRAT, STUDENTSKI TRG 16, MATEMATICKI
FAKULTET UNIVERZITETA U BEOGRADU
2) Profesor Predrag Tanovic (Matematicki institut SANU)
pocinje u UTORAK, 1. MARTA 2011.G. U 16:15 SATI U SALI 301F, III
SPRAT, KNEZA MIHAILA 36, Kurs iz teorije modela (A course in model
theory)
Profesor Kosta Dosen drzi u letnjem semestru 2009/2010.
skolske godine kurs iz izbornog predmeta FILOZOFIJA MATEMATIKE
na cetvrtoj godini studija filozofije na Odeljenju za filozofiju
Filozofskog fakulteta Univerziteta u Beogradu, Cika Ljubina
18-20, u sali 308, III sprat(nove zgrade Filozofskog fakulteta)
sredom od 18:30, pocevsi od srede 10. februara 2010.g. Uz kurs
su predvidjene vezbe petkom od 18:00 sati u sali Srpskog
filozofskog drustva (prvi sprat starih prostorija Filozofskog
fakulteta), koje drzi Milos Adzic. Kurs je posvecen
filozofiji matematike Gotloba Fregea, a vezbe poglavljima iz
logike relevantnim za filozofiju matematike.
Ukoliko zelite mesecne programe ovog Seminara u elektronskom
obliku, obratite se: vdjordje@mi.sanu.ac.rs. Programi svih seminara
Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs
Beograd, 1. marta 2010.g.
Rukovodioci Seminara: Kosta Dosen i Djordje Vukomanovic