STUDENT Seminar

 

PROGRAM

---

Plan rada Studentskog seminara za DECEMBAR 2021.

PETAK, 03.12.2021. u 12:00, Live stream
Predrag Đorđević, Matematički institut SANU i Prirodno-matematički fakultet u Nišu
PRAKTIČNI ASPEKTI POVRATNE BIFURKACIJE KOD MATEMATIČKIH MODELA TUBERKULOZE
Na ovom predavanju biće ispitani praktični aspekti bifurkacije unazad kod različitih matematičkih modela tuberkuloze, kod kojih je uključen uticaj više različitih faktora koji dovode do pojave bifurkacije unazad, kao što su BCG vakcinacija, reinfekcija, otkrivanje i lečenje latentne TB infekcije. Da bi potvrdili dobijene rezultate, biće primenjena numerička simulacija modela, koristeći softverski paket Wolfram Mathematica. Numerička simulacija će imati za cilj i ispitivanje praga povratne bifurkacije u zavisnosti od parametara modela.

---

PETAK, 10.12.2021. u 12:00, Live stream
Šejla Dautović, Matematički institut SANU
VEROVATNOSNA LOGIKA IZMEĐU LPP₁ I LPP₂
Na predavanju će biti predstavljene verovatnosne logike LPP₁ i LPP₂. Formulisaćemo osnovna tvrđenja o njima (jaka potpunost, odlučivost). Zatim će biti predstavljena logika koja se može reći da je između pomenutih logika. Razmatraćemo sličnosti i razlike među njima.

---

PETAK, 17.12.2021. u 12:00, Live stream
Maja Novaković, Marija Šegan-Radonjić i Dejan Vukelić, Matematički institut SANU
VIRTUELNA IZLOŽBA POVODOM JUBILEJA 75 GODINA MATEMATIČKOG INSTITUTA SANU
Ove godine Matematički institut Srpske akademije nauke i umetnosti sa sedištem u Beogradu obeležava 75 godina od svog osnivanja. Tim povodom je organizovana prigodna izložba u virtuelnom formatu, uslovljena izazovima koje je pred savremeni svet postavila pandemija korona virusa. U radu će biti napravljen osvrt na to kako su moderne digitalne tehnologije i principi digitalizacije kulturnog i naučnog nasleđa upotrebljeni da se stručnoj i široj javnosti predstavi Matematički institut na daljinu, u digitalnom okruženju.

---

PETAK, 24.12.2021. u 12:00, Live stream
Stefan Milenković, Antonije Subotić, Matematički fakultet Univerziteta u Beogradu
METODA ANALITIČKIH TABLOA U KLASIČNOJ ISKAZNOJ LOGICI
Cilj rada je provera zadovoljivosti i valjanosti proizvoljne formule klasične iskazne logike. Korišćena je metoda analitičkih tabloa čija je kompletnost i korektnost pokazana. Zatim je opisan algoritam za formiranje analitičkog tabloa jedne formule, kao i provera zadovoljivosti te formule preko njega. Na osnovu tog algoritma napravljen je i program koji u realnom vremenu izvršava početni zadatak.

---

Predavanja su namenjena širokom krugu slušalaca. Održavaju se petkom sa početkom u 12:00 sati u sali 301f na trećem spratu zgrade Matematičkog instituta SANU, Knez Mihailova 36.

---