Наредни састанак Семинара биће одржан у петак, 2. јуна 2017. у сали 301ф Математичког института САНУ са почетком у 15:15 часова.
Предавач: Славко Моцоња, Математички факултет, Београд
Наслов предавања: ПРЕБРОЈИВИ МОДЕЛИ ТЕОРИЈА ЛИНЕАРНИХ УРЕЂЕЊА
Апстракт:
Чувена Вотова хипотеза, један од најстаријих отворених проблема теорије модела, тврди да је број пребројивих модела теорије првог реда (на пребројивом језику) највише пребројив или једнак континууму. Иако је познато да је хипотеза тачна у неким специјалним случајевима, општи приступ њеном решавању, ако постоји, није познат. Међу познатим примерима теорија за које важи Вотова хипотеза спадају теорије неких линеарних уређења, на пример теорије линерних уређења са унарним предикатима и о-минималне теорије. Ово предавање је посвећено једном приступу за класификацију модела теорија линерних уређења, који води до доказа Вотове хипотезе за неке шире класе теорија.
детаљније
Наредни састанак Семинара, биће одржан у четвртак, 1. јуна 2017. у сали 301ф Математичког института САНУ са почетком у 17:15 часова.
Предавач: др Миљан Кнежевић, доцент Математичког факултета
Наслов предавања: DISTANCE IN THE ABSOLUTE PLANE AND CAUCHY FUNCTIONAL EQUATIONS
Апстракт
детаљније
Одбрана докторске дисертације Ивана Димитријевића „Геометријска генерализација Ајнштајнове теорије гравитације“, биће одржана у петак 02.06.2017. у 17 сати у сали 830.
детаљније
Наредни састанак Семинара биће одржан у уторак, 30. маја 2017. у сали 301ф Математичког института САНУ са почетком у 14:15 часова.
Предавачи: доц. др Александра Лабус и проф. др Зорица Богдановић, Факуктет организационих наука, Универзитет у Београду
Наслов предавања: INTERNET OF THINGS: ПРОМОЦИЈА УЏБЕНИКА "ИНТЕРНЕТ ИНТЕЛИГЕНТНИХ УРЕЂАЈА"
Апстракт:
Интернет интелигентних уређаја представља нову област информационих технологија која омогућава повезивање већег броја корисника, уређаја, услуга и апликација на интернет. Може се применити у домаћинствима, градовима, енергетици, малопродаји, логистици, пољопривреди, индустрији, образовању, здравству, пословању, државној управи, чиме се знатно унапређује квалитет живота и олакшава испуњавање свакодневних активности. На предавању ће бити представљен први уџбеник на српском језику из области Интернета интелигентних уређаја (енг. Internet of Things, IoT).
Уџбеник под називом "Интернет интелигентних уређаја" даје преглед теоријских концепата, технологија и методолошких поступака за развој и примену интернета интелигентних уређаја. Такође, дат је и преглед паметних окружења у којима се IoT примењује: паметне куће, паметни градови, паметне учионице, паметни саобраћај, и др.
Аутори уџбеника су професори Катедре за електронско пословање: проф.др Божидар Раденковић, проф. др Маријана Деспотовић-Зракић, проф. др Зорица Богдановић, доц. др Душан Бараћ, доц. др Александра Лабус и доц. др Живко Бојовић.
детаљније
Наредни састанак Семинара биће одржан у уторак, 30. маја 2017. у сали 844 Математичког факултета са почетком у 14 часова.
Предавачи: Филип Јевтић и Марија Јелић
Наслов предавања: МЕТРИКА И ПОЛИТОПИ
Апстракт:
Мотивисан класичном теоремом Канторовича и Рубинштајна, Анатолиј Вершик је асоцирао сваком коначном метричком простору тзв. Липшицов политоп и поставио проблем карактеризације коначних метричких простора преко f-вектора асоцираних политопа. Поред основне конструкције, биће изложени и неки оригинални резултати, према раду https://arxiv.org/abs/1703.06612 Cyclohedron and Kantorovich-Rubinstein polytopes Filip D. Jevtić, Marija Jelić, Rade T. Živaljević
детаљније
Због радова на факултетској трафо станици могућ је прекид снабдевања струјом у недељу 28. маја 2017. године у времену од 09 до 12 сати.
детаљније
Наредни састанак Семинара биће одржан у четвртак, 25. маја 2017. у сали 301ф Математичког института САНУ са почетком у 15 часова.
Предавачи: Tjitze Rienstra, University of Luxembourg
Наслов предавања: RankPL - A QUALITATIVE PROBABILISTIC PROGRAMMING LANGUAGE
Апстракт:
In this talk I discuss RankPL, a qualitative variant of a probabilistic programming language with a semantics based on Spohn’s ranking theory. RankPL can be used to represent and reason about processes that exhibit uncertainty expressible by distinguishing “normal” from “surprising” events. RankPL allows (iterated) revision of rankings over alternative program states and supports various types of reasoning, including abduction and causal inference. I discuss the language, its semantics, and a number of practical examples.
детаљније
Позивамо вас да не пропустите један од најзанимљивих догађаја године на МатФ-у! 
У суботу ће 19 водећих ИТ компанија - пријатеља Катедре за рачунарство студентима Математичког факултета укратко представити свој рад, понуде пракси, курсева, позиција, итд.
Време: субота 27.05.2017, од 12 до 15 часова
Место: ВХА и хол зграде ПМФ на Студентском тргу
Извештаји са претходних скупова вам могу дочарати атмосферу.
У организацији овог догађаја учествује и организација студената Математичког факултета ОМИКРОН.
Дођите на ИТ@МатФ
детаљније
Наредни састанак Семинара биће одржан у петак, 26. маја 2016. у сали 301ф Математичког института САНУ са почетком у 14:15 часова.
Предавач: Vladlen Timorin, HSE, Moscow
Наслов предавања: LAMINATIONAL MODELS FOR SPACES OF POLYNOMIALS
Апстракт: This is a joint work with Alexander Blokh, Lex Oversteegen and Ross Ptacek. We will discuss combinatorial structure of spaces of complex polynomials. The latter are viewed as dynamical systems. A classic example is the Mandelbrot set which parameterizes complex quadratic polynomials with "interesting dynamics" up to affine conjugacy. A combinatorial model for the Mandelbrot set, which is also a conjectural topological model, is known. We address the issue of finding combinatorial models for spaces of higher degree polynomials. As in the quadratic case, it is useful first to model individual polynomials (combinatorial models for polynomials are provided by Thurston`s laminations), and then use appropriate spaces of laminations to model the corresponding spaces of polynomials.
детаљније
