Seminar for
GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za mart 2014.
Predavanje treba da se odrzi u sali 301f Matematickog instituta (Knez Mihailova 36, III sprat). Obratite, molim Vas, paznju na vreme odrzavanja predavanja. Na Seminaru za opstu teoriju dokaza predavanja nece biti svake nedelje, nego samo s vremena na vreme.
Ponedeljak, 17. mart, u 18:00
Novak Novakovic, Matematicki institut, Beograd
O RELATIVNOJ SLOZENOSTI IZRACUNAVANJA U PRISUSTVU SUPSTITUCIJE I CEJTINOVE
EKSTENZIJE
Rezime: Velicina dokaza u nekom formalnom sistemu je od znacaja za primene
kao sto su automatsko izvodjenje ili provera teorema formalnih matematickih
teorija. Na predavanju ce biti predstavljeni rezultati koji se ticu
relativne slozenosti dokaza u hilbertovskim sistemima u odnosu na sisteme
sekvenata za klasicnu iskaznu logiku, sa posebnim osvrtom na dva mehanizma
sazimanja dokaza -- supstitucije kao pravila izvodjenja i Cejtinove
ekstenzije, odnosno koriscenja skracenica u dokazu.
***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************