Одбрана докторске дисертације Мајде Смоле „Формирање супермасивних црних рупа и утицај судара галаксија на њихову еволуцију“, биће одржана у четвртак 13.07.2017. у 16 сати у сали 718.
детаљнијеПозивамо колектив нашег Факултета, као и уважене колегинице и колеге у пензији, на дружење уз вечеру у организацији Математичког факултета у ресторану Amphora, Булевар Николе Тесле бб, Нови Београд (код хотела Југославија) у петак 30.06.2017. године, у 20 часова.
http://www.restoranamphora.co.rs
Присуство потврдити мејлом на: jelena@matf.bg.ac.rs до четвртка 29. јуна до 12 сати, уз 'Subject': Вечера у ресторану Amphora
Срдачан поздрав до скорог виђења, Декански колегијум
детаљнијеНепосредно пријављивање кандидата и предаја докумената за упис на Факултет, након претходно обављеног електронског евидентирања, почело је данас 21. јуна и трајаће до петка 23. јуна, сваког дана од 9 до 15 сати, према распореду који се може погледати на сајту Упис 2017.
детаљнијеПријава испита за ЈУН2 продужава се до 20.06. у поноћ и важи само за студенте који студирају по Статуту 2006 и акредитованим студијама (Болоња).
детаљнијеОдељење за математику, физику и гео-науке САНУ има част да Вас позове на предавање "Циљеви и значај MICE експеримента" које ће одржати проф. др Кен Лонг (Professor Kenneth LONG) Руководилац међународне MICE колаборације, Империјални колеџ, Лондон у уторак 27. јуна 2017. године у 18 сати, Свечана сала САНУ, Кнез Михаилова 35/II.
детаљнијеНаредни састанак Семинара биће одржан у петак, 23. јуна 2017. у сали 301ф Математичког института САНУ са почетком у 16:15 часова.
Предавачи: Мирјана Маљковић, Биљана Стојановић, Жарко Мијајловић
Наслов предавања:
ДИГИТАЛНИ ЛЕГАТ ПРОФЕСОРА СЛАВИШЕ ПРЕШИЋА
Апстракт:
Група аутора (М. Маљковић, Б. Стојановић и Ж. Мијајловић) недавно је завршила дигитални легат Славише Прешића (1933-2008), угледног професора Математичког факултета, оснивача логичке школе у Београду, оснивача Катедре за алгебру и математичку логику Математичког факултета, оснивача и дугогодишњег руководиоца Семинара за математичку логику Математичког института САНУ. Циљ предавања је да представимо овај легат и кроз његову презентацију прикажемо рад професора Прешића у математици и посебно у математичкој логици. Легат садржи верујемо све његове научне радове, већину његових књига али и обиман аудио и видео материјал па је то прилика да се подсетимо на његова занимљива и живописна предавања.
Наредни састанак Семинара биће одржан у среду, 21. јуна 2017. у сали 301ф Математичког института САНУ са почетком у 11 часова.
Предавач: Миодраг Матељевић, Математички факултет у Београду, дописни члан САНУ
Наслов предавања:
СПЕЦИЈАЛНА ТЕОРИЈА РЕЛАТИВНОСТИ И МАТЕМАТИЧКИ МОДЕЛИ
Апстракт:
Специјална релативност одбацује њутновска начела о апсолутном простору и времену тврђењем да просторни и временски интервали између било која два догађаја зависе од стања кретања њиховог посматрача, или да различити посматрачи различито и опажају просторне и временске интервале истих догађаја. С друге стране брзина светлости у вакууму узета је као апсолутна величина, као брзина која је иста за све инерцијалне референте системе и која се не може надмашити, односно која представља највећу могућу брзину у природи. Разматрамо једноставне доказе формула за Lorentz-ове трансформације, Ајнштајнове мисаоне експерименте као и везу Lorentz-ове групе са Möbius-овом групом "небеске" сфере. Постоје извесне тешкоће у строгом доказивању (са математичке тачке гледишта) да су разни модели еквивалентни.
Наредни састанак Семинара биће одржан у уторак, 20. јуна 2017. у сали 301ф Математичког института САНУ са почетком у 14:15 часова.
Предавач: Владимир Филиповић, Математички факултет, Универзитет у Београду
Наслов предавања: SOLVING THE MAXIMUM BETWEENNESS PROBLEM WITH ELECTROMAGNETISM METAHEURISTIC
Апстракт: 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ć.
Наредни састанак Семинара биће одржан у уторак, 20. јуна 2017. у сали 301ф Математичког института САНУ са почетком у 16 часова.
Предавач: Thomas Studer, Institute for Informatics, University of Bern, President of the Swiss Society for Logic and Philosophy of Science
Наслов предавања: BLOCKCHAIN LOGIC
Детаљније: 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.
Наредни састанак Семинара биће одржан у четвртак, 15. јуна 2017. у сали 301ф Математичког института САНУ са почетком у 15 часова.
Предавачи: Ненад Стојановић
Наслов предавања: ЛОГИКЕ СА ОПЕРАТОРИМА МЕТРИКЕ
© Copyright 2008 Математички факултет Универзитет у Београду
Design & Development
Александар Смиљковић
Адреса: Студентски трг 16
Телефон: (+381) 011 2027 801
Fаx: (+381) 011 2630 151
E-mail: matf@matf.bg.ac.rs
Жиро рачун: 840-181 5666-68
PIB: 100046603
