STUDENT Seminar

 

PROGRAM

---

Plan rada Studentskog seminara za APRIL 2022.

PETAK, 01.04.2022. u 12:00, Live stream
Sara Dragutinović, Sent Džons koledž, Univerzitet u Oksfordu
TEORIJA TIPOVA
Tokom devetnaestog veka matematičari su se upustili u formalizovanje temelja matematike. Russell je svojim paradoksom uzburkao ovu misiju. Predložena su dva rešenja ovog paradoksa, ZFC aksiome od strane Zermelo-a i Russell-ova teorija tipova. Teorija tipova se bavi termovima, gde svaki term a ima svoj tip A, u zapisu a : A. Pojedini matematičari su uočili da teorije tipova imaju potencijala da postanu temelj matematike i zamene do sada prihvaćene (mada povremeno kontroverzne) ZFC aksiome. Pored toga, velika prednost teorija tipova je što su prilagođene jeziku računara, pa većina programa za proveru matematičkih dokaza ima osnovu u teoriji tipova. Lean je jedan od njih, možda najpopularniji i trenutno se radi na biblioteci koja sadrži sve teoreme iz gradiva osnovnih studija matematike. Međutim, teorije tipova ne služe samo računarima. Na primer, homotopijska teorija tipova je oblast aktivnog istraživanja danas. Njena osnovna ideja jeste da je tip zapravo prostor, a termovi tog tipa su tačke u tom prostoru.

---

PETAK, 08.04.2022. u 12:00, Live stream
Anastasija Pešić, Humbolt Univerzitet u Berlinu
VARIJACIONA ANALIZA MODELA MEMBRANA
Detaljno ispitivanje ponašanja membrane pri savijanju se često smatra suštinskim za razumevanje pojedinih osobina ćelija, kao i nekih osobina materijala i može dovesti do napredaka na polju biologije i nauke o materijalima. Na ovom predavanju ćemo se baviti klasičnim determinističkim pristupom modelovanju membrana. Najpre ćemo predstaviti varijacioni model za membranu koja je jako privučena od strane dva zida i karakterizovati optimalni oblik membrane putem Gama-konvergencije. Ovaj deo predavanja se oslanja na master tezu pod mentorstvom prof. Barbare Cviknagl i prof. Žan-Dominik Dojšela. Potom ćemo diskutovati o proširenju ovog modela kako bi odgovarao pojavi lipidnih ostrva u biološkim membranama.

---

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.

---