Naredni sastanak KGTA seminara biće održan u utorak, 4. aprila 2017. u sali 844 Matematičkog fakulteta sa početkom u 14 časova.
Predavač: Vladimir Grujić, Matematički fakultet
Naslov predavanja: GKM TEORIJA
Apstrakt: GKM teorija je razvijena za računanje (ekvivarijantnih) kohomoloških prstenova mnogostrukosti sa torusnim dejstvom. Biće predstavljene osnove ove metode, uz razne primere.
Nemačka služba za akademsku razmenu (DAAD) raspisala je konkurs za dva tipa stipendija:
1. Stipendije za kratke istraživačke posete u trajanju od jednog do šest meseci (http://www.daad.rs/sr/09904/index.html).
2. Stipendije za studijski boravak na univerzitetima i istraživačkim institucijama u Nemačkoj za nastavnike sa univerziteta u Srbiji (http://www.daad.rs/sr/09905/index.html).
Rok za prijavu na konkurs: 15. novembar za boravke koji počinju između juna i novembra naredne godine, 1. maj za boravke koji počinju između decembra iste godine i maja naredne godine.
Kontakt osoba:
Mirko Dautović
DAAD Informativni centar Beograd
Cara Uroša 35
11000 Beograd
Tel.: + 381 11.2636.424
E-mail: info@daad.rs
Web: www.daad.rs
Naredni sastanak Seminara biće održan u petak, 31. marta 2017. u sali 710 Matematičkog fakulteta sa početkom u 12 časova.
Predavač: prof. dr Miodrag Mateljević
Naslov predavanja: THE GROWTH OF GRADIENTS OF SOLUTIONS OF SOME ELLIPTIC EQUATIONS AND BI–LIPSCHICITY OF QCH
Apstrakt
Naredni sastanak Seminara biće održani 30. marta 2017. u sali 301f Matematičkog instituta SANU sa početkom u 17:15 časova.
Predavač: Miloš Đorić, Matematički fakultet
Naslov predavanja: OSOBINE BLIZU KELEROVE MNOGOSTRUKOSTI $S^3 imes S^3$
Apstrakt: Biće pokazano kako se metrika, skoro kommpleksna i skoro produkt struktura homogene blizu Kelerove mnogostrukosti $S^3 imes S^3$ može dobiti pomoću submerzije $phi: S^3 imes S^3 imes S^3 o S^3 imes S^3$. Preslikavanja na $S^3 imes S^3 imes S^3$ dobijena permutovanjem dve koordinate ili cikličnim pomeranjem koordinata slažu se sa submerzijom. Biće pokazano koja preslikavanja ona indukuju na $S^3 imes S^3$ i kako se slažu sa skoro kompleksnom i skoro produkt strukturom.
Biće predstavljeni rezultati koje su dobili kolege Luc Vrancken i Marilena Moruz.
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".
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.
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.
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.
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
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.
© Copyright 2008 Matematički fakultet Univerzitet u Beogradu
Design & Development
Aleksandar Smiljković
Adresa: Studentski trg 16,
11158 Beograd
Telefon (+381) 011 2027 801
Faks: (+381) 011 2630 151
E-mail: matf@matf.bg.ac.rs
Žiro račun: 840-181 5666-68
PIB: 100046603
