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
Društvo za informatiku Srbije i Dom omladine Beograda organizuju u sredu 22. marta 2017. u 19:00 okrugli sto "IoT (Internet of Things-Internet stvari) - više od uređaja u vezi".
Uvodničari:
dr Srđan Krčo, direktor DunavNET
Uroš Tomanović, EuroICC
Saša Klopanović, Meinfluks
Janko Isidorović, Meinfluks
Voditelji: dr Petar Kočović i Ivana Milenković, RTS
Skup se održava u Domu omladine Beograda, Makedonska 22 - Klub Doma omladine.
detaljnije
Zašto ne možemo da vidimo 96 odsto univerzuma? Kako je narušena simetrija između materije i antimaterije? Živimo li u trodimenzionalnom svetu? Postoji li Božja čestica?
Ovo su samo neka od ključnih pitanja savremene nauke koja pokušava da odgonetne oko osam hiljada istraživača u CERN-u – Evropskoj organizaciji za nuklearno istraživanje u Ženevi. O tome, ali i o drugim izazovima sa kojima se naučnici u CERN-u susreću, govoriće prof. dr Petar Adžić, redovni profesor Fizičkog fakulteta u Beogradu i vođa jednog od timova srpskih naučika u toj uglednoj naučnoj organizaciji.
Predavanje profesora Adžića pod nazivom: CERN – otkrivanje jedne od najvećih tajni savremene nauke, biće održano u ponedeljak, 27. marta 2017. godine u 12 sati u Svečanoj sali (211) Mašinskog fakulteta Univerziteta u Beogradu.
Detaljnije
detaljnije
Deveti šangajski sajam obrazovanja biće održan 27. marta 2017. godine na Pravnom fakultetu, Bulevar kralja Aleksandra 67, od 10 do 15 sati.
Ovaj događaj organizuje Komisija za obrazovanje grada Šangaja, u saradnji sa partnerima u inostranstvu.
Cilj Sajma je predstavljanje visokoškolskih institucija iz Šangaja, ostvarivanje međuinstitucionalne saradnje i povećanje interesovanja studenata za nastavak studija u Šangaju.
Detaljnije
detaljnije
Naredni sastanak Seminara biće održan u ponedeljak, 27. marta 2017. na Matematičkom fakultetu u sali 821 sa početkom u 15 časova.
Predavač: Pavle Mladenović, Matematički fakultet, Univerzitet u Beogradu
Naslov predavanja: O NEKIM ASPEKTIMA I PROBLEMIMA TEORIJE EKSTREMNIH VREDNOSTI
Obaveštenje se može videti i na strani http://www.stat.matf.bg.ac.rs/srpski.htm
detaljnije
Naredni sastanak Seminara biće održan u četvrtak, 23. marta 2017. u sali 301f Matematičkog instituta SANU sa početkom u 15 časova.
Predavač: prof. dr Aleksandar Perović
Naslov predavanja: O FINITARNIM AKSIOMATIZACIJAMA VEROVATNOSNIH LOGIKA
detaljnije