Seminar Verovatnosne logike, 22. novembar 2018.

• 20. Novembar,  2018
• Komentari (0)

Naredni sastanak Seminara biće održan u četvrtak, 22. novembra 2018. u sali 301f Matematičkog instituta SANU sa početkom u 15 časova.

Predavač: Paola Glavan, Fakultet strojarstva i brodogradnje, Sveučilište u Zagrebu

Naslov predavanja: KRATKI IZLET U TEORIJU KOMPLEKSNIH DINAMIČKIH SISTEMA

Apstrakt: EPISTEMIOLOŠKA TEMPORALNA LOGIKA I PRIMENE

Za epistemiološku temporalnu logiku definira se aksiomatski sistem i semantika te pokazuje teorem korektnosti i jake potpunosti. Zatim se promatraju Blockchain i Chord protokol, daje se njihov opis pomoću epistemiološke temporalne logike, te dokazuju neka značajna svojstva tih protokola. U pitanju je zajednički rad sa Bojanom Marinkovićem i Zoranom Ognjanovićem.

---