Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za NOVEMBAR 2018.
Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 15h, pod rukovodstvom Profesora Miodraga Raskovica.
CETVRTAK, 01.11.2018. u 15:00, Sala 301f, MI SANU, Kneza Mihaila 36
Miodrag Raskovic
MISAONO VIDJENJE POSVECENO SLAVISI PRESICU - RAZVOJ POJMA BESKONACNO MALE
CETVRTAK, 22.11.2018. u 15:00, Sala 301f, MI SANU, Kneza Mihaila 36
Paola Glavan, Fakultet strojarstva i brodogradnje, Sveuciliste u Zagrebu
EPISTEMIOLOŠKA TEMPORALNA LOGIKA ZA OPIS DISTRIBUIRANIH PROTOKOLA
Za epistemiolosku 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 pomocu epistemioloske temporalne logike, te dokazuju neka znacajna svojstva tih protokola. Ovo je zajednicki rad sa Bojanom Marinkovicem i Zoranom Ognjanovicem.
CETVRTAK, 29.11.2018. u 15:00, Sala 301f, MI SANU, Kneza Mihaila 36
Radoš Bakić, Učiteljski fakultet
SRPSKI JEZIK - JEDAN POGLED U PROŠLOST
Predavanje se nastavlja na prethodna koja je predavač održao na ovom seminaru. Biće reči o etimologijama nekih reči kao što su MANASTIR, TERMOPILI i još nekih, koje po mišljenju predavača imaju pogrešno objašnjenu etimologiju u zvaničnim knjigama.
Beograd, 2018.
Sekretar Seminara: Nataša Glišović
Rukovodilac Seminara: Prof. dr Miodrag Rašković