Наредни састанак семинара биће одржан у петак, 6. децембар 2013. са почетком у 14 часова у сали 301ф, Математичког института САНУ.
Предавач: Петар Марковић, Департман за математику и информатику ПМФ, Нови Сад
Наслов предавања: УВОД У ДЕСКРИПТИВНУ ТЕОРИЈУ РАЧУНСКЕ СЛОЖЕНОСТИ
Садржај: Године 1974. Р. Фагин је доказао да је скуп својстава изразивих у егзистенцијалном фрагменту логике другог реда једнак класи рачунске сложености НП (недетерминистички полинимна).
Од те теореме почиње област рачунске сложености која повезује разне логичке системе са класама рачунске сложености.
Из тачке гледишта предавача (приученог аматера у овој теми), изгледа да се ова област примарно развијала у два правца: "улепшавање класе НП" које је ишло ка налажењу све рестриктивнијих логичких система који се такође поклапају са класом НП, или бар имају непразан пресек са сваком класом сложености унутар НП, и "превођење логике на језик теорије сложености" где се различити природни фрагменти логике првог и другог реда на сличан начин као код Фагина повезују са класама рачунске сложености.
Први правац, свакако, има за мотивацију напад на миленијумски проблем $P=?NP$, док је други дао једну богату менажерију нових класа сложености са којима се данас ради, те је и један од најпознатијих прегледних интернет сајтова о овој области назван "Complexity Zoo".
Даћемо кратак преглед одабраних резултата у оба правца од 1974. до данас.
детаљније
Наредни састанак Семинара биће одржан у четвртак, 5. децембар 2013. са почетком у 17:15 часова у сали 301ф, Математичког института САНУ.
Предавач: Миљан Кнежевић, Математички факултет, Београд
Наслов предавања: A note on HQC mappings and Schwarz-Pick type inequalities
Садржај:
We will give a short review of harmonic quasiconformal mappings theory and its relation with hyperbolic geometry.
Also, we will consider which properties of HQC mappings and of hyperbolic metric are essential for validity of some Schwarz-Pick type inequalities.
детаљније
Наредни састанак Семинара биће одржан у четвртак, 5. децембра 2013. са почетком у 18h у сали 718 Математичког факултета.
Предавач: Предраг Јаничић, Марко Маликовић
Наслов предавања: Доказ коректности KRK (краљ-топ-краљ) стратегије завршнице у шаху свођењем на проблем SAT(приказ рада)
детаљније
Наредни састанак Семинара биће одржан у уторак, 3. децембра 2013. са почетком у 18h у сали 809 Математичког факултета.
Предавач: Проф. др Quentin Parker, Катедра за физику и астрономију, Универзитет Macquarie, Аустралија
Наслов предавања:The new Macquarie PN database - a multi-wavelength window into the soul of late-stage stellar evolution
детаљније
Наредни састанак Семинара биће одржан у уторак, 3. децембра 2013. са почетком у 18h у сали 844 Математичког факултета.
Предавач: Иља Гогић, Универзитет у Загребу
Наслов предавања: Хомогене C*-алгебре
Садржај: Класа комутативних C*-алгебри је у потпуности класифицирана већ у раним данима развоја теорије операторских алгебри: то су точно алгебре непрекидних комплексних функција на локално компактним Hausdorffovim просторима које трну у бесконачности.
У овом предавању ћемо се бавити с тзв. хомогеним C*-алгебрама: то су оне алгебре чије су све иредуцибилне репрезентације исте коначне димензије. Након комутативних, оне представљају идућу најједноставнију класу C*-алгебри.
С друге стране, проблем класификације таквих алгебри постаје знатно комплициранији због одређених тополошких феномена, који се не јављају у комутативном случају.
детаљније
Наредни састанак Семинара биће одржан у четвртак, 28. новембра 2013. са почетком у 17:15 часова у сали 301ф, Математичког института САНУ.
Предавач: Јасмина Савковић, Математички факултет, Београд
Наслов предавања: Приказ рада Hilario Alencar, Manfredo Do Carmo "Hypersurfaces with constant mean curvature in spheres"
Садржај
детаљније
Наредни састанак Семинара биће одржан у среду, 27. новембра 2013. са почетком у 18 часова у сали 301ф, Математичког института САНУ.
Предавач: Небојша Васовић, Рударско-геолошки факултет Универзитета у Београду
Наслов предавања: ПРИМЕНА МЕТОДА НЕЛИНЕАРНЕ ДИНАМИКЕ У ИЗУЧАВАЊУ ЗЕМЉОТРЕСА
Садржај предавања може се преузети ОВДЕ.
детаљније
Наредни састанак Семинара биће одржан у уторак, 26. новембра 2013. са почетком у 14:15 у сали 301ф Математичког института САНУ.
Предавачи: Вељко Милутиновић, ЕТФ, Зоран Огњановић, МИ САНУ
Наслов предавања: ПРЕГЛЕД АКТИВНОСТИ ПРОЈЕКАТА ДИГИТАЛИЗАЦИЈЕ КУЛТУРНЕ БАШТИНЕ
Садржај: Биће описане активности које се у оквиру пројеката спроводе на дигитализацији културне баштине Србије.
Између осталог, биће представљен "Serbia-Forum", систем за дигитализацију културне баштине Србије.
детаљније
Наредни састанак Семинара биће одржан у уторак, 26. новембра 2013. са почетком у 18h у сали 844 Математичког факултета.
Предавач: Марија Јелић, Математички факултет, Београд
Наслов предавања: Један интересантан проблем Долникова
Садржај:
В. Долников је 2011. године поставио следећи проблем.
Посматрамо три непразне фамилије транслата конвексног компактног скупа у равни, такве да свака два транслата из различитих фамилија имају заједничку тачку.
Да ли мора постојати трочлани скуп у равни који сече све транслате једне од фамилија?
Биће изложен рад А. Магазинова и П. Соберона "On a problem by Dol'nikov" који даје позитиван одговор за неке специјалне случајеве.
Предавање је из циклуса "ЖИВА МАТЕМАТИКА".
детаљније
Поштоваоци имена и дела професора Ђуре Курепе покренули су иницијативу да се одржи једнодневни скуп у знак сећања на његов живот и научни рад.
детаљније
