MISANU

PROGRAM

ODELJENJE ZA MATEMATIKU
MATEMATIČKOG INSTITUTA SANU

PROGRAM ZA APRIL 2022.

PETAK, 01.04.2022. u 14:15, Kneza Mihaila 36, sala 301f i On-line
Slobodan Vujošević, Prirodno-matematički fakultet Podgorica
GEDEL I METAFIZIKA II
Gedel veruje u neograničeno širenje znanja. Ključni korak u takvom širenju, kada se radi o matematici, jeste podizanje nivoa apstrakcije. Veruje da se zasnivanjem intenzionalne matematike, kao opšte nauke o pojmovima, može prevazići njena ekstenzionalna nepotpunost.
Zajednički sastanak sa Seminarom za logiku.

PETAK, 08.04.2022. u 14:15, Kneza Mihaila 36, sala 301f i On-line
Maja Roslavcev, Matematički fakultet, Beograd
O GREBNEROVIM BAZAMA U SLUČAJU PRSTENA POLINOMA NAD NENETERINIM PRSTENIMA
Grebnerove baze predstavljaju važan pojam u izučavanju prstena polinoma nad komutativnim prstenima. Odnosi se na skup generatora datog ideala na osnovu koga se lako može odgovoriti na pitanje da li je neki polinom element ideala ili ne. Sem u komutativnoj algebri, ova teorija ima značajne primene i u drugim oblastima matematike i u računarstvu. U ovom predavanju će poseban naglasak biti na teoriji Grebnerovih baza za ideale u prstenima polinoma gde koeficijente čine neki od neneterinih prstena.

PETAK, 15.04.2022. u 14:15, Kneza Mihaila 36, sala 301f i On-line
Mladen Zekić, Matematički institut SANU
SIMETRIČNE MONOIDALNO ZATVORENE KATEGORIJE I LOGIKA
Na predavanju ćemo konstruisati simetričnu monoidalno zatvorenu kategoriju čije strelice kodiraju izvođenja u multiplikativnom konjuktivno-implikativnom fragmentu intuicionističke linearne logike. Kroz ovu kategoriju ćemo prikazati osnovna svojstva tog fragmenta. Rezultat koherencije za simetrične monoidalno zatvorene kategorije u ovom kontekstu nam daje odgovor na pitanje kada su u pomenutom fragmentu linearne logike dva izvođenja jednaka.
Zajednički sastanak sa Seminarom za logiku.

Obavezno je nošenje maski i održavanje distance. Broj prisutnih na predavanju ograničen na najviše 10 (uključujući i predavača).

Odeljenje za matematiku je opsti matematicki seminar namenjen sirokoj publici. Predavanja su prilagodjena matematicarima i onima koji zele da to postanu.

Zoran Petric, Odeljenje za matematiku Matematickog instituta SANU