Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za jun 2016.
Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 15h, pod rukovodstvom Profesora Miodraga Raskovica.
ČETVRTAK, 09.06.2016. u 15:00
Aleksandar Perovic
OPERATORSKE VEROVATNOSNE LOGIKE SA JAKIM MODELIMA
Sazetak: O predavanju ce biti reci o aksiomatizaciji verovatnosnih logika sa jakim modelima (sigma aditivne verovatnosne mere) i skica dokaza jake teoreme potpunosti u slucaju neprebrojivih jezika.
ČETVRTAK, 23.06.2016. u 15:00
Jelena Ivanović
GEOMETRIJSKA REALIZACIJA HIPERGRAF-POLITOPA
Sazetak: U ovom predavanju biće kratko opisana familija politopa koja se dobija trunkacijiama temena, ivica ili drugih strana simpleksa u proizvoljnom prostoru konacne dimenzije. Simpleks bez ijedne trunkacije i permutoedar sa svim mogućim trunkacijama sa druge strane, predstavljaju granične slučajeve ove familije politopa. Familiju definišemo pomoću hipergrafova, posebne vrste bilding skupova i za svaki atomičan hipergaf definišemo konveksan politop u n-dimenzionalom prostoru, za čiju mrežu strana će biti dokazano da je izomorfna (kao poset) mreži strana odgovarjućeg hipergraf-politopa. Na kraju, geometrijska realizacija u trodimenzionalnom prostoru će biti demonstriranasoftverskom aplikacijom u grafičko-algoritamskom editoru Grasshopper.
ČETVRTAK, 30.06.2016. u 15:00
Jelena Ivanović
GEOMETRIJSKA REALIZACIJA HIPERGRAF-POLITOPA - nastavak predavanja
Sazetak: U ovom predavanju biće kratko opisana familija politopa koja se dobija trunkacijiama temena, ivica ili drugih strana simpleksa u proizvoljnom prostoru konacne dimenzije. Simpleks bez ijedne trunkacije i permutoedar sa svim mogućim trunkacijama sa druge strane, predstavljaju granične slučajeve ove familije politopa. Familiju definišemo pomoću hipergrafova, posebne vrste bilding skupova i za svaki atomičan hipergaf definišemo konveksan politop u n-dimenzionalom prostoru, za čiju mrežu strana će biti dokazano da je izomorfna (kao poset) mreži strana odgovarjućeg hipergraf-politopa. Na kraju, geometrijska realizacija u trodimenzionalnom prostoru će biti demonstriranasoftverskom aplikacijom u grafičko-algoritamskom editoru Grasshopper.
Beograd, 2016.