date/vreme: 13/02/2023, 11:00
venue/mesto: Ogranak SANU, "Platoneum", Nikole Pašića 6, Novi Sad
Workshop/radionica: Logičko-algebarsko-diskretni susreti (LADIS) PMF&FTN@Ogranak MISANU
Speaker / Predavač
dr Silvia Ghilezan, redovni profesor
Fakultet tehničkih nauka, Univerzitet u Novom Sadu
http://imft.ftn.uns.ac.rs/silvia/ (home page)
Title / Naslov:
Tipski sistemi i pouzdanost: od matematike do sistema velikih razmera
Abstract / Sažetak:
Брзи развој информационих технологија и њихова примена у свим сегментима живота и друштва захтевају њихову поузданост. Пођимо од математике. Tеорија скупова Георга Кантора (нем. Georg Cantor) је имала парадоксе на које је указао Бертранд Расел (енгл. Bertrand Russell): Да ли скуп скупова који не садрже себе садржи самог себе? Или не? Почетком XX века теорија типова је понудила решење за отклањање ових парадокса и на тај начин је обезбедила поузданост основа математике. Од тада су се типски системи развијали да би данас постали механизам који обезбеђује поузданост формалног модела у коме су примењени. У овом излагању представићемо неке значајне типске системе у логици, израчунавању, програмским језицима, дистрибуираним системима и системима великих размера. Даћемо преглед релевантних особина као што су очување типова током израчунавања, сигурност типа, животност, одсуство застоја у израчунавању и дискутоваћемо улогу типова у обезбеђивању поузданости датог формалног модела.