Одељење за математику, 26. новембар 2021.
- 19. Новембар, 2021
- Коментари (0)
Наредни састанак Семинара биће одржан у петак 26. новембра 2021. онлајн и у сали 301ф Математичког института САНУ са почетком у 14.15 часова.
Предавач: Зоран Огњановић, Математички институт САНУ
Наслов предавања: ВЕРОВАТНОСНО-ЕПИСТЕМИОЛОШКА-ТЕМПОРАЛНА ЛОГИКА. АНАЛИЗА КОНЗИСТЕНТНОСТИ BLOCKCHAIN-ПРОТОКОЛА
Апстракт: Приказаћемо једну модалну логику која формализује вероватносно, епистемиолошко и темпорално резоновање. Описаћемо њену синтаксу и семантику. Формулисаћемо основна тврђења о логици (јака потпуност, одлучивост). Показаћемо како се логика може искористити за описивање дистрибуираних протокола (на примеру blockchain-а) и за доказивање одговарајућих особина.
Регистрација за учешће на семинару је доступна на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N
Уколико желите само да пратите предавање, без могућности активног учешћа, пренос је доступан на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/J6zEMJyMSoAbTMMX7
Коментари(0)