Семинар Вероватносне логике, 22. новембар 2018.

• 20. Новембар, 2018
• Коментари (0)

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

Предавач: Паола Главан, Факултет стројарства и бродоградње, Свеучилиште у Загребу

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

Апстракт: ЕПИСТЕМИОЛОШКА ТЕМПОРАЛНА ЛОГИКА И ПРИМЕНЕ

За епистемиолошку темпоралну логику дефинира се аксиоматски систем и семантика те показује теорем коректности и јаке потпуности. Затим се проматрају Blockchain и Chord протокол, даје се њихов опис помоћу епистемиолошке темпоралне логике, те доказују нека значајна својства тих протокола. У питању је заједнички рад са Бојаном Маринковићем и Зораном Огњановићем.