Pozivamo kolektiv našeg Fakulteta, kao i uvažene koleginice i kolege u penziji, na druženje uz večeru u organizaciji Matematičkog fakulteta u restoranu Amphora, Bulevar Nikole Tesle bb, Novi Beograd (kod hotela Jugoslavija) u petak 30.06.2017. godine, u 20 časova.
http://www.restoranamphora.co.rs
Prisustvo potvrditi mejlom na: jelena@matf.bg.ac.rs do četvrtka 29. juna do 12 sati, uz "Subject": Večera u restoranu Amphora
Srdačan pozdrav do skorog viđenja, Dekanski kolegijum
detaljnije
Neposredno prijavljivanje kandidata i predaja dokumenata za upis na Fakultet, nakon prethodno obavljenog elektronskog evidentiranja, počelo je danas 21. juna i trajaće do petka 23. juna, svakog dana od 9 do 15 sati, prema rasporedu koji se može pogledati na sajtu Upis 2017.
detaljnije
Prijava ispita za JUN2 produžava se do 20.06. u ponoć i važi samo za studente koji studiraju po Statutu 2006 i akreditovanim studijama (Bolonja).
detaljnije
Odeljenje za matematiku, fiziku i geo-nauke SANU ima čast da Vas pozove na predavanje "Ciljevi i značaj MICE eksperimenta" koje će održati prof. dr Ken Long (Professor Kenneth LONG) Rukovodilac međunarodne MICE kolaboracije, Imperijalni koledž, London u utorak 27. juna 2017. godine u 18 sati, Svečana sala SANU, Knez Mihailova 35/II.
detaljnije
Naredni sastanak Seminara biće održan u petak, 23. juna 2017. u sali 301f Matematičkog instituta SANU sa početkom u 16:15 časova.
Predavači: Mirjana Maljković, Biljana Stojanović, Žarko Mijajlović
Naslov predavanja:
DIGITALNI LEGAT PROFESORA SLAVIŠE PREŠIĆA
Apstrakt:
Grupa autora (M. Maljković, B. Stojanović i Ž. Mijajlović) nedavno je završila digitalni legat Slaviše Prešića (1933-2008), uglednog profesora Matematičkog fakulteta, osnivača logičke škole u Beogradu, osnivača Katedre za algebru i matematičku logiku Matematičkog fakulteta, osnivača i dugogodišnjeg rukovodioca Seminara za matematičku logiku Matematičkog instituta SANU. Cilj predavanja je da predstavimo ovaj legat i kroz njegovu prezentaciju prikažemo rad profesora Prešića u matematici i posebno u matematičkoj logici. Legat sadrži verujemo sve njegove naučne radove, većinu njegovih knjiga ali i obiman audio i video materijal pa je to prilika da se podsetimo na njegova zanimljiva i živopisna predavanja.
detaljnije
Naredni sastanak Seminara biće održan u sredu, 21. juna 2017. u sali 301f Matematičkog instituta SANU sa početkom u 11 časova.
Predavač: Miodrag Mateljević, Matematički fakultet u Beogradu, dopisni član SANU
Naslov predavanja:
SPECIJALNA TEORIJA RELATIVNOSTI I MATEMATIČKI MODELI
Apstrakt:
Specijalna relativnost odbacuje njutnovska načela o apsolutnom prostoru i vremenu tvrđenjem da prostorni i vremenski intervali između bilo koja dva događaja zavise od stanja kretanja njihovog posmatrača, ili da različiti posmatrači različito i opažaju prostorne i vremenske intervale istih događaja. S druge strane brzina svetlosti u vakuumu uzeta je kao apsolutna veličina, kao brzina koja je ista za sve inercijalne referente sisteme i koja se ne može nadmašiti, odnosno koja predstavlja najveću moguću brzinu u prirodi. Razmatramo jednostavne dokaze formula za Lorentz-ove transformacije, Ajnštajnove misaone eksperimente kao i vezu Lorentz-ove grupe sa Möbius-ovom grupom "nebeske" sfere. Postoje izvesne teškoće u strogom dokazivanju (sa matematičke tačke gledišta) da su razni modeli ekvivalentni.
detaljnije
Naredni sastanak Seminara biće održan u utorak, 20. juna 2017. u sali 301f Matematičkog instituta SANU sa početkom u 14:15 časova.
Predavač: Vladimir Filipović, Matematički fakultet, Univerzitet u Beogradu
Naslov predavanja: SOLVING THE MAXIMUM BETWEENNESS PROBLEM WITH ELECTROMAGNETISM METAHEURISTIC
Apstrakt: An electromagnetism (EM) metaheuristic for solving NP hard Maximum Betweenness Problem (MBP) is presented. Presentation describes elements of the proposed solution: new encoding scheme with appropriate objective functions, specific representation of the individuals (which enables the EM operators to explore the searching space in a way that achieves high quality solutions) and effective 1-swap based local search procedure (improved by the specific caching technique is performed on each EM point). Designed algorithm is tested both on real and artificial instances from the literature. Obtained experimental results and statistical analysis indicates quality of the proposed EM approach.
This is joint work with A. Kartelj, D. Matić.
detaljnije
Naredni sastanak Seminara biće održan u utorak, 20. juna 2017. u sali 301f Matematičkog instituta SANU sa početkom u 16 časova.
Predavač: Thomas Studer, Institute for Informatics, University of Bern, President of the Swiss Society for Logic and Philosophy of Science
Naslov predavanja: BLOCKCHAIN LOGIC
Detaljnije: Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. In our talk, we present the basic principles and mechanisms of blockchains and discuss the need for various kinds of blockchain logics. Then we introduce BCL, an epistemic logic to reason about the belief change dynamics induced by blockchain updates. We establish soundness and completeness of BCL with respect to a simple blockchain model.
detaljnije
Naredni sastanak Seminara biće održan u četvrtak, 15. juna 2017. u sali 301f Matematičkog instituta SANU sa početkom u 15 časova.
Predavači: Nenad Stojanović
Naslov predavanja: LOGIKE SA OPERATORIMA METRIKE
detaljnije
Naredni sastanak Seminara, biće održan u četvrtak, 15. juna 2017. u sali 301f Matematičkog instituta SANU sa početkom u 17:15 časova.
Predavač: Miroslava Antić, Matematički fakultet, Univerzitet u Beogradu
Naslov predavanja: LOKALNO STROGO KONVEKSNE HIPERPOVRŠI KONSTANTNE SELEKCIONE KRIVINE
Apstrakt: Biće prikazan deo tekućeg istraživanja lokalno strogo konveksnih hiperpovrši konstantne sekcione krivine čiji operator oblika ima najviše jednu jednodimenzionu sopstvenu vrednost.
Biće dokazano da ukoliko operator oblika nema jednodimenzione sopstvene vrednosti, onda hiperpovrš mora biti afina hipersfera, a da ukoliko ima tačno jednu takvu sopstvenu vrednost, onda može imati najviše dve višedimenzione. Pritom, takva hiperpovrš je onda ili uopšteni Kalabijev proizvod dve sfere ili proizvod sfere i tačke.
detaljnije
