Naredni sastanak Seminara biće održan u sredu, 29. marta 2017. u sali 301f Matematičkog instituta SANU sa početkom u 14:15 časova.
Predavač: Božidar Jovanović, Matematički institut SANU
Naslov predavanja: REDUKCIJA SISTEMA SA SIMETRIJAMA
Detaljnije: U pitanju je predavanje u okviru specijalnog kursa "Uvod u analitičku mehaniku i simplektičku geometriju".
detaljnije
Naredni sastanak Seminara biće održan u sredu 29. marta 2017. u sali 301f Matematičkog instituta SANU sa početkom u 18 časova.
Predavač: Aleksandar Obradović, Mašinski fakultet, Beograd
Naslov predavanja: O PROBLEMU IZJEDNAČAVANjA SUSEDNIH FREKVENCIJA KOD ISTOVREMENOG UZDUŽNOG I POPREČNOG OSCILOVANjA ELASTIČNIH TELA U ISTOJ RAVNI
Apstrakt: Razmatra se sistem Ojler-Bernulijevih greda konstantnog poprečnog preseka, između kojih su umetnuta kruta tela, tako da su uzdužne i poprečne oscilacije svakog tela, iako su im diferencijalne jednačine međusobno nezavisne, spregnute konturnim uslovima. Istraživanje predstavlja nastavak rada [A. Obradović, S. Salinić, D. Trifković, N. Zorić, Z. Stokić, Free vibration of structures composed of rigid bodies and elastic beam segments, Journal of Sound and Vibration, 347 (2015) 126–138], u kome je prikazan postupak formiranja analitičkog oblika karakteristične jednačine, na osnovu koga se može i istraživati mogućnost pojave duplih karakterističnih vrednosti i frekvencija. Daje se izvođenje uslova ortogonalnosti i postupak dobijanja rešenja u zatvorenom obliku u generalnom slučaju ovakvih sistema. Urađen je primer uticaja prečnika greda kružnog poprečnog preseka na izjednačavanje susednih frekvencija sistema od dve medjusobno kruto spojene grede, ukleštene na drugim krajevima.
detaljnije
Naredni sastanak Seminara biće održan u utorak, 28. marta 2017. u sali 301f Matematičkog instituta SANU sa početkom u 14:15 časova.
Predavač: Goran Grubić, Fakultet organizacionih nauka
Naslov predavanja: A METHOD FOR WEB CONTENT SEMANTIC ANALYSIS: THE CASE OF MANUFACTURING SYSTEMS
Apstrakt: 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.
detaljnije
Naredni sastanak KGTA seminara biće održan u utorak, 28. marta 2017. u sali 844 Matematičkog fakulteta sa početkom u 14 časova.
Predavač: Rade Živaljević
Naslov predavanja: NESTOEDRI I SEKUNDARNI POLITOPI
Apstrakt: Teoriju "sekundarnih politopa" razvili su Geljfand, Kapranov i Zelevinski, paraleno sa teorijom viših diskriminanti, rezulatanti, i multidimenzionalnih determinanti. U predavanju (namenjenom najširem krugu slušalaca) pojaviće se neki nestoedri (permutoedar i dr.), kao sekundarni politopi.
detaljnije
Naredni sastanak Seminara biće održan u četvrtak, 30. marta 2017. u sali 718 Matematičkog fakulteta sa početkom u 18:15 časova.
Predavači: Poleksić Vesna i Topisirović Goran, Univerzitet u Beogradu, Poljoprivredni fakultet
Naslov predavanja: IZGRADNjA NACIONALNOG REPOZITORIJUMA OTVORENIH OBRAZOVNIH RESURSA ZA POLjOPRIVREDU (NaRA)
Sažetak izlaganja možete pogledati na: http://jerteh.rs/?p=1083
detaljnije
Zajednički sastank ARGO seminara i seminara Katedre za računarstvo i informatiku biće održan u četvrtak, 23. marta 2017. u sali 718 Matematičkog fakulteta sa početkom u 18:15 časova.
Predavač: Julien Narboux, Univerzitet u Strazburu
Naslov predavanja: GeoCoq, FOUNDATIONS OF GEOMETRY FORMALIZED IN Coq
Apstrakt: 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.
detaljnije
U petak 7. aprila 2017. godine u 14 sati u sali 706 na IV spratu Matematičkog fakulteta održaće se komemorativna sednica u znak sećanja na Anđelka Danilovića.
http://www.matf.bg.ac.rs/lat/m/161/secanja/
detaljnije
U petak 7. aprila 2017. godine u 13 sati u sali 706 na IV spratu Matematičkog fakulteta održaće se komemorativna sednica u znak sećanja na mr Maju Rabrenović.
http://www.matf.bg.ac.rs/lat/m/161/secanja/
detaljnije
U petak 7. aprila 2017. godine u 12 sati u sali 706 na IV spratu Matematičkog fakulteta održaće se komemorativna sednica u znak sećanja na prof. dr Ljubomira Protića.
http://www.matf.bg.ac.rs/lat/m/161/secanja/
detaljnije