Одељење за математику, 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