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

Seminar for Mathematical Logic

 

PROGRAM


Plan rada Seminara za logiku za mart 2010.

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, 05.03.2010. U 16:15 SATI
Natasa Glisovic (Matematicki fakultet Univerziteta u Beogradu)
Sistem za simulaciju rada molekularno bioloskih procesa
(The system for simulation of molecular biological processes)


Deoxyribonucleic acid (DNA) is a carrier of hereditary information in the cell, while Ribonucleic acid (RNA) participates in the transfer of these information and their translation into proteins. RNA is the carrier of genetic information in some viruses. This paper is designed to show links between processes of transcription DNA and protein synthesis on the one hand and the formal grammar of the other. A system to simulate this process was implemented in the programming language $C + +$.

Petak, 12.03.2010. U 16:15 SATI
Petar Markovic (Departman za matematiku i informatiku Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
Pregled rezultata o turnirima reprezentovanim kao grupoidima (A survey of tournaments represented as groupoids)

We give a historical overview of results on tournaments represented as groupoids from initial results in late 1960s till the present day.

Petak, 19.03.2010. u 16:15 sati

Vladan Djordjevic(Filozofski fakultet Univerziteta u Beogradu)
Logika za protivcinjenicke kondicionale (Conditional logic: counterfactuals)

Ovo predavanje ima za cilj da predstavi deo discipline koja se u filozofskoj logici zove 'logika za kondicionale', i odnosi se na tzv. protivcinjenicke kondicionale obicnog jezika. (The talk will offer an overview of the part of conditional logic pertaining to the so-called counterfactual or subjunctive conditionals of ordinary language.)

Petak, 26.03.2010. U 16:15 sati
Predrag Tanovic (Matematicki institut SANU, Beograd)
Kvaziminimalne strukture (Quasi minimal structures)

Izucavajuci polje kompleksnih brojeva sa dodatom eksponencijalnom funkcijom $(C_{exp})$ Zilber je dosao do: Zilberova hipoteza: Struktura $C_{exp}$ je kvaziminimalna: neprebrojiva je i svaki njen definabilan podskup je ili prebrojiv ili ko-prebrojiv (komplement mu je prebrojiv). Neka je $(M,...)$ kvaziminimalna, $A$ podskup od $M$ i neka je $cl(A)$ unija svih prebrojivih podskupova od $M$ koji su definabilni formulom sa parametrima iz $A$. A priori $cl$ ne mora biti ni operator zatvorenja $(cl(cl(A))$ moze biti razlicit od $cl(A)$), a kamo li predgeometrija (operator zatvorenja koji zadovoljava Steinitzovu aksiomu zamene). Na predavanju ce biti predstavljena (neobjavljena) teorema dihotomije za kvaziminimalne strukture: ili je $cl$ predgeometrija ili postoji vrlo specificno definabilno parcijalno uredjenje, kao i njeno uopstenje za strukture sa tzv. lokalno regularnim tipom. Teorema nastavlja odgovarajuci rezultat za minimalne strukture, a neki njeni (vrlo) posebni slucajevi su nedavno objavljeni $(arXiv)$ u radu sa A.Pillayem. (Zilber studied the exponential field of complex numbers $(C_{exp})$ and conjectured: ZIlber's Conjecture: $C_{exp}$ is quasi minimal (meaning that it is uncountable with any definable subset being either countable or co-countable). Let $(M,...)$ be quasi minimal, let A be a subset of M, and let $cl(A)$ denotes the union of all countable subsets which are definable by a formula with parameters from A. A priori $cl$ may not be a closure operator $(cl(cl(A))$ may differ from $cl(A)$), so is not always a pre geometry operator (closure operator satisfying the Steinitz Exchange axiom). A dichotomy theorem for quasi minimal structures will be presented: either $cl$ is a pre geometry operator or there exists a very specific definable partial order, as a special case of a (more general) dichotomy theorem for so called locally strongly regular types. The dichotomy continues the corresponding one for minimal structures; its special case was recently published $(arXiv)$ in the joint paper with A.Pillay.)

OBAVESTENJE:

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