Seminar for Mathematical Logic

PROGRAM

Plan rada Seminara za logiku za mart 2017.

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, 24.03.2017. U 16:15 (MI SANU, 301f)
Petar Markovic, PMF Novi Sad
THE GOOD, THE BAD AND THE UGLY
Rezime: U poslednjih 6 meseci najavljena su tri dokaza hipoteze o dihotomiji Problema zadovoljenja uslova. Dajemo pregled razlicitih filozofija tih (pokusaja) dokaza i opravdavamo zasto u ovom trenutku verujemo da je samo jedan tacan, da je jedan ispravljiv, a da je treci pogresan. Pomenucemo i posledice koje bi dokaz imao na milenijumski problem P =? NP

OBAVESTENJA:

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



Beograd,
Srdacan pozdrav,

rukovodilac seminara Predrag Tanovic