Наредни састанак КГТА семинара биће одржан у уторак, 4. априла 2017. у сали 844 Математичког факултета са почетком у 14 часова.
Предавач: Владимир Грујић, Математички факултет
Наслов предавања: ГКМ ТЕОРИЈА
Апстракт: ГКМ теорија је развијена за рачунање (еквиваријантних) кохомолошких прстенова многострукости са торусним дејством. Биће представљене основе ове методе, уз разне примере.
Немачка служба за академску размену (DAAD) расписала је конкурс за два типа стипендија:
1. Стипендије за кратке истраживачке посете у трајању од једног до шест месеци (http://www.daad.rs/sr/09904/index.html).
2. Стипендије за студијски боравак на универзитетима и истраживачким институцијама у Немачкој за наставнике са универзитета у Србији (http://www.daad.rs/sr/09905/index.html).
Рок за пријаву на конкурс: 15. новембар за боравке који почињу између јуна и новембра наредне године, 1. мај за боравке који почињу између децембра исте године и маја наредне године.
Контакт особа:
Мирко Даутовић
DAAD Информативни центар Београд
Цара Уроша 35
11000 Београд
Тел.: + 381 11.2636.424
E-mail: info@daad.rs
Web: www.daad.rs
Наредни састанак Семинара биће одржан у петак, 31. марта 2017. у сали 710 Математичког факултета са почетком у 12 часова.
Предавач: проф. др Миодраг Матељевић
Наслов предавања: THE GROWTH OF GRADIENTS OF SOLUTIONS OF SOME ELLIPTIC EQUATIONS AND BI–LIPSCHICITY OF QCH
Апстракт
Наредни састанак Семинара биће одржани 30. марта 2017. у сали 301ф Математичког института САНУ са почетком у 17:15 часова.
Предавач: Милош Ђорић, Математички факултет
Наслов предавања: ОСОБИНЕ БЛИЗУ КЕЛЕРОВЕ МНОГОСТРУКОСТИ $S^3 imes S^3$
Апстракт: Биће показано како се метрика, скоро коммплексна и скоро продукт структура хомогене близу Келерове многострукости $S^3 imes S^3$ може добити помоћу субмерзије $phi: S^3 imes S^3 imes S^3 o S^3 imes S^3$. Пресликавања на $S^3 imes S^3 imes S^3$ добијена пермутовањем две координате или цикличним померањем координата слажу се са субмерзијом. Биће показано која пресликавања она индукују на $S^3 imes S^3$ и како се слажу са скоро комплексном и скоро продукт структуром.
Биће представљени резултати које су добили колеге Luc Vrancken и Marilena Moruz.
Наредни састанак Семинара биће одржан у среду, 29. марта 2017. у сали 301ф Математичког института САНУ са почетком у 14:15 часова.
Предавач: Божидар Јовановић, Математички институт САНУ
Наслов предавања: РЕДУКЦИЈА СИСТЕМА СА СИМЕТРИЈАМА
Детаљније: У питању је предавање у оквиру специјалног курса "Увод у аналитичку механику и симплектичку геометрију".
Наредни састанак Семинара биће одржан у среду 29. марта 2017. у сали 301ф Математичког института САНУ са почетком у 18 часова.
Предавач: Александар Обрадовић, Машински факултет, Београд
Наслов предавања: О ПРОБЛЕМУ ИЗЈЕДНАЧАВАЊА СУСЕДНИХ ФРЕКВЕНЦИЈА КОД ИСТОВРЕМЕНОГ УЗДУЖНОГ И ПОПРЕЧНОГ ОСЦИЛОВАЊА ЕЛАСТИЧНИХ ТЕЛА У ИСТОЈ РАВНИ
Апстракт: Разматра се систем Ојлер-Бернулијевих греда константног попречног пресека, између којих су уметнута крута тела, тако да су уздужне и попречне осцилације сваког тела, иако су им диференцијалне једначине међусобно независне, спрегнуте контурним условима. Истраживање представља наставак рада [А. Обрадовић, С. Салинић, Д. Трифковић, Н. Зорић, З. Стокић, Free vibration of structures composed of rigid bodies and elastic beam segments, Journal of Sound and Vibration, 347 (2015) 126–138], у коме је приказан поступак формирања аналитичког облика карактеристичне једначине, на основу кога се може и истраживати могућност појаве дуплих карактеристичних вредности и фреквенција. Даје се извођење услова ортогоналности и поступак добијања решења у затвореном облику у генералном случају оваквих система. Урађен је пример утицаја пречника греда кружног попречног пресека на изједначавање суседних фреквенција система од две међусобно круто спојене греде, уклештене на другим крајевима.
Наредни састанак Семинара биће одржан у уторак, 28. марта 2017. у сали 301ф Математичког института САНУ са почетком у 14:15 часова.
Предавач: Горан Грубић, Факултет организационих наука
Наслов предавања: A METHOD FOR WEB CONTENT SEMANTIC ANALYSIS: THE CASE OF MANUFACTURING SYSTEMS
Апстракт: This paper discusses a method for web content classification and semantic processing applied in a Web Business Intelligence model for production systems. The goal of the research was to formally describe the method, its procedures, and applicable ontologies. During the evaluation of the related research, a set of appropriate procedures were selected and adapted for the context of this research. Neural networks were trained using expert-enhanced datasets in order to solve a number of classification problems. Domain knowledge was described in a semantic Lexicon, used by the model to extract semantic Profiles. Applied ontologies were formally described and an evaluation framework was proposed based on real-life data.
Наредни састанак КГТА семинара биће одржан у уторак, 28. марта 2017. у сали 844 Математичког факултета са почетком у 14 часова.
Предавач: Раде Живаљевић
Наслов предавања: НЕСТОЕДРИ И СЕКУНДАРНИ ПОЛИТОПИ
Апстракт: Теорију "секундарних политопа" развили су Гељфанд, Капранов и Зелевински, паралено са теоријом виших дискриминанти, резулатанти, и мултидимензионалних детерминанти. У предавању (намењеном најширем кругу слушалаца) појавиће се неки нестоедри (пермутоедар и др.), као секундарни политопи.
Наредни састанак Семинара биће одржан у четвртак, 30. марта 2017. у сали 718 Математичког факултета са почетком у 18:15 часова.
Предавачи: Полексић Весна и Тописировић Горан, Универзитет у Београду, Пољопривредни факултет
Наслов предавања: ИЗГРАДЊА НАЦИОНАЛНОГ РЕПОЗИТОРИЈУМА ОТВОРЕНИХ ОБРАЗОВНИХ РЕСУРСА ЗА ПОЉОПРИВРЕДУ (НаРА)
Сажетак излагања можете погледати на: http://jerteh.rs/?p=1083
Заједнички састанк АРГО семинара и семинара Катедре за рачунарство и информатику биће одржан у четвртак, 23. марта 2017. у сали 718 Математичког факултета са почетком у 18:15 часова.
Предавач: Julien Narboux, Univerzitet u Strazburu
Наслов предавања: GeoCoq, FOUNDATIONS OF GEOMETRY FORMALIZED IN Coq
Апстракт: In this talk we will give an overview of the GeoCoq library developed by our team in Strasbourg (http://geocoq.github.io/GeoCoq/). GeoCoq library contains a systematic development of geometry from Tarski’s or Hilbert’s axioms. From these axiom systems, we formalized the culminating results of both Tarski, Schwabhäuser, Szmielew, Metamathematische Methoden in der Geometrie and Hilbert, Foundations of Geometry, namely the arithmetization of geometry. This connection between synthetic geometry and algebra, allows us to use algebraic methods for automated deduction in geometry in a synthetic setting. We have also studied the formal proof of the equivalence between 34 versions of the parallel postulates. We work in neutral geometry in an intuitionistic setting and study the impact of different continuity properties on the equivalence proofs. This result in four groups of postulates, which are all equivalent assuming Archimedes’ axiom but distinct, in constructive logic without Archimedes’ axiom.
Finally, I will report our ongoing work toward the formalization of Euclid’s Elements proposition in Coq.
© Copyright 2008 Математички факултет Универзитет у Београду
Design & Development
Александар Смиљковић
Адреса: Студентски трг 16,
11158 Београд
Телефон: (+381) 011 2027 801
Fаx: (+381) 011 2630 151
E-mail: matf@matf.bg.ac.rs
Жиро рачун: 840-181 5666-68
PIB: 100046603
