Seminar for
Mathematical Logic
PROGRAM
Plan rada Seminara za logiku za jun 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, 03.06.2011. U 16:15
Dragan Doder (Masinski fakultet Univerziteta u Beogradu)
O sintaksi i semantici diskretnih temporalnih logika - II deo
(On syntax and semantics of discrete temporal logics - Part II)
Sadrzaj: Prvi deo predavanja ce sadrzati kratak prikaz jezika osnovnih
temporalnih logika s diskretnim vremenom: $LTL$, $CTL$ i $CTL^*$,
kao i njima odgovarajucih semantika. U drugom delu ce biti izlozen predlog
jako potpunog aksiomatskog sistema za jednu opstu klasu modela razgranate
logike, koja koristi jezik $CTL^*$.
Petak, 10.06.2011. U 16:15
Jelena Skoric i Sonja Telebakovic (Matematicki fakultet Univerziteta u
Beogradu)
Eliminacija kvantora i Algebarska geometrija
(Quantifier elimination and Algebraic geometry)
Rezime predavanja bice naknadno poslan.
PETAK, 17.06.2011. U 16:15
Milos S. Kurilic (Departman za matematiku i informatiku Prirodno-matemati
ckog fakulteta Univerziteta u Novom Sadu)
Poredak kondenzacije (The Condensation Order)
Abstract:
Preduredjenje $\preceq_{c}$ na skupu Top$(X)$ svih topologija na
nepraznom skupu $X$ je definisan na slede\'ci na\v cin: ${\mathcal
O}_1 \preceq_{c} {\mathcal O}_2$ akko postoji neprekidna bijekcija
(kondenzacija) $f: \langle X, {\mathcal O}_2 \rangle \rightarrow
\langle X, {\mathcal O}_1 \rangle$. Bi\'ce analizirano ovo
preduredjenje, njegov antisimetri\v cni koli\v cnik, topolo\v ske
invarijante odredjene indukovanom ekvivalencijom topologija i
particije posmatranog koli\v cnika koje odgovaraju ovim
invarijantama. Takodje \'cemo ispitivati klase ekvivalencije i,
posebno, pokazati da postoji topologija ${\mathcal O}$ takva da za
svako separabilno Dedekind kompletno linearno uredjenje bez krajnjih
ta\v caka, $L$, postoji maksimalan lanac ${\mathcal L}$ topologija
homeomorfnih ${\mathcal O}$, takav da ${\mathcal L}\cong L$.\\
The pre-order $\preceq_{c}$ on the set Top$(X)$ of all topologies on
a non-empty set $X$ is defined by ${\mathcal O}_1 \preceq_{c}
{\mathcal O}_2$ iff there is a continuous bijection (a condensation)
$f: \langle X, {\mathcal O}_2 \rangle \rightarrow \langle X,
{\mathcal O}_1 \rangle$. We analyze this pre-order, its
antisymmetric quotient, the topological invariants determined by the
induced equivalence of topologies and the partitions of the observed
quotient corresponding to these invariants. Also, we investigate the
equivalence classes and, in particular, show that there is a
topology ${\mathcal O}$ such that for each separable Dedekind
complete linear order without end-points, $L$, there is a maximal
chain ${\mathcal L}$ of topologies homeomorphic to ${\mathcal O}$,
such that ${\mathcal L}\cong L$.
PETAK, 24.06.2011. U 16:00
OPROSTAJNI SASTANAK I SLOBODNA TEMA (FAREWELL MEETING AND GENERAL TOPICS)
DOSADASNJI RUKOVODIOCI SEMINARA SU VEC NAJAVILI POVLACENJE NAJDALJE DO
ZAVRSETKA SKOLSKE GODINE, A TO JE 30. SEPTEMBAR 2011.G.
Postoje bar tri kandidata za nove rukovodioce ovog seminara o cemu ce biti
reci na sastanku. Takodje, bice reci o Drustvu za cistu i primenjenu
logiku
(Society for pure and applied logic). Pozivaju se clanovi Seminara na
razgovor o ovim temama.
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