ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

Seminar for Mathematical Logic

 

PROGRAM


Plan rada Seminara za logiku za maj 2014.

Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u letnjem semestru 2011/2012.g. na ovoj adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Cetvrtkom posle podne, ali od 15:00 sati, odrzavace se predavanja na Seminaru iz verovatnosnih logika pod rukovodstvom Profesora Miodraga Raskovica koji je u decembru 2007. dobio akreditaciju Naucnog veca Instituta. Na taj nacin, ponovo, kao pre vise decenija, postoje dva logicka seminara.



PETAK, 9.5.2014. U 16:15 (MI SANU, 301f)
Mirjana Ilic, Ekonomski fakultet, Beograd
SISTEMI SEKVENATA ZA RELEVANTNU LOGIKU BEZ KONTRAKCIJE

Apstrakt: Bice reci o sistemima sekvenata za relevantnu logiku RW. Brejdi je dao prvi sistem sekvenata za ovu logiku, dokazao eliminaciju secenja i na osnovu toga, pokazao da je RW odluciva logika. Medjutim, Brejdijev sistem je veoma slozen: to je jednozakljucni sistem sekvenata, zasnovan na oznacenim formulama, sa preko 50 pravila izvodjenja. Na predavanju ce biti predstavljen jos jedan, mnogo jasniji i jednostavniji sistem sekvenata za ovu logiku.








OBAVESTENJA:

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: zpetric@mi.sanu.ac.rs ili tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs



Beograd,
Srdacan pozdrav,

rukovodioci seminara Zoran Petric i Predrag Tanovic