Одељење за механику, 29. март 2017.

Наредни састанак Семинара биће одржан у среду 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.

Наредни састанак Семинара биће одржан у уторак, 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.

Наредни састанак КГТА семинара биће одржан у уторак, 28. марта 2017. у сали 844 Математичког факултета са почетком у 14 часова.

Предавач: Раде Живаљевић

Наслов предавања: НЕСТОЕДРИ И СЕКУНДАРНИ ПОЛИТОПИ

Апстракт: Теорију "секундарних политопа" развили су Гељфанд, Капранов и Зелевински, паралено са теоријом виших дискриминанти, резулатанти, и мултидимензионалних детерминанти. У предавању (намењеном најширем кругу слушалаца) појавиће се неки нестоедри (пермутоедар и др.), као секундарни политопи.

детаљније

Семинар Друштва за језичке ресурсе и технологије, 30. март 2017.

Наредни састанак Семинара биће одржан у четвртак, 30. марта 2017. у сали 718 Математичког факултета са почетком у 18:15 часова.

Предавачи: Полексић Весна и Тописировић Горан, Универзитет у Београду, Пољопривредни факултет

Наслов предавања: ИЗГРАДЊА НАЦИОНАЛНОГ РЕПОЗИТОРИЈУМА ОТВОРЕНИХ ОБРАЗОВНИХ РЕСУРСА ЗА ПОЉОПРИВРЕДУ (НаРА)

Сажетак излагања можете погледати на: http://jerteh.rs/?p=1083

детаљније

Заједнички састанак АРГО семинара и семинара Катедре за рачунарство и информатику, 23. март 2017.

Заједнички састанк АРГО семинара и семинара Катедре за рачунарство и информатику биће одржан у четвртак, 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.

детаљније

Комеморативна седница у знак сећања на колегу Анђелка Даниловића

У петак 7. априла 2017. године у 14 сати у сали 706 на IV спрату Математичког факултета одржаће се комеморативна седница у знак сећања на Анђелка Даниловића.

http://www.matf.bg.ac.rs/lat/m/161/secanja/

детаљније

Комеморативна седница у знак сећања на мр Мају Рабреновић

У петак 7. априла 2017. године у 13 сати у сали 706 на IV спрату Математичког факултета одржаће се комеморативна седница у знак сећања на мр Мају Рабреновић.

http://www.matf.bg.ac.rs/lat/m/161/secanja/

детаљније

Комеморативна седница у знак сећања на проф. др Љубомира Протића

У петак 7. априла 2017. године у 12 сати у сали 706 на IV спрату Математичког факултета одржаће се комеморативна седница у знак сећања на проф. др Љубомира Протића.

http://www.matf.bg.ac.rs/lat/m/161/secanja/

детаљније

Инфо дан на Математичком факултету, субота 08.04.2017.

Обавештавамо све заинтересоване да ће на Математичком факултету бити организован Инфо дан (Дан отворених врата) у суботу 8. априла 2017. године.

Позивамо вас да будете наши гости од 10 сати и разговарате са нама на различите теме.

Осим разговора са нашим професорима и студентима, заинтересовани ће истога дана моћи да присуствују занимљивим предавањима на популарне теме које ће за њих одржати професори Математичког факултета.

детаљније

Округли сто IoT (Internet of Things - Интернет ствари) - више од уређаја у вези, 22.03.2017.

Друштво за информатику Србије и Дом омладине Београда организују у среду 22. марта 2017. у 19:00 округли сто "IoT (Internet of Things-Интернет ствари) - више од уређаја у вези".

Уводничари:
др Срђан Крчо, директор DunavNET
Урош Томановић, EuroICC
Саша Клопановић, Меинфлукс
Јанко Исидоровић, Меинфлукс

Водитељи: др Петар Кочовић и Ивана Миленковић, РТС

Скуп се одржава у Дому омладине Београда, Македонска 22 - Клуб Дома омладине.

детаљније



Вести и дешавања


Активности на семинарима

све вести