Одељење за математику, 27. април 2018.

Наредни састанак Семинара биће одржан у петак, 27. априла 2018. у сали 301ф Математичког института САНУ са почетком у 14:15 часова.

Предавач: Небојша Икодиновић, Математички факултет, Универзитет у Београду

Наслов предавања: МЕТРИЧКЕ СТРУКТУРЕ И ЛОГИКА

Апстракт: Циљ предавања је да се прикаже неколико актуелних тема које се односе на примену математичке логике у изучавању метричких структура. Предавање ће бити подељено на три дела. Први део биће заснован на тези да фундаменталне математичке структуре (попут уређења и група) заправо представљају категорије. Ова теза је била полазиште за Лоувирово уопштење појма метричких простора. У другом делу укратко ће бити приказана теорија модела за метричке структуре (попут вероватносних алгебри, Банахових алгебри, Хилбертових простора) која је развијена помоћу такозване непрекидне логике првог реда. Трећи део односиће се на развој и применљивост модалних формализама заснованих на метричким структурама.


Нажалост није могуће оставити коментар.

Вести и дешавања


Активности на семинарима

све вести