Տարբեր տրամաբանական համակարգերի որոշակի քանակական և որակական հատկությունների հետազոտում / Investigation of some quantitative and structural properties of different logical proof systems
Տարբեր տրամաբանական համակարգերի որոշակի քանակական և որակական հատկությունների հետազոտում / Investigation of some quantitative and structural properties of different logical proof systems
dc.contributor.author | Պետրոսյան, Գարիկ Վարդանի / Petrosyan Garik | |
dc.date.accessioned | 2023-12-09T08:40:45Z | |
dc.date.available | 2023-12-09T08:40:45Z | |
dc.date.issued | 2021 | |
dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի աստիճանի հայցման ատենախոսություն ; Երևան-2021 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Մ. Պողոսյան, Ս.Մ. Սայադյան ; Առաջատար կազմակերպություն՝ Հայ-ռուսական համալսարան ; Սեղմագիր՝ 22 էջ ։ | |
dc.description.abstract | Արտածումների բարդության ոլորտը, որում ակտիվ հետազոտությունները նախաձեռնվել են Cook-ի և Reckhow-ի աշխատությունով, ուսումնասիրում է ասույթային բանաձևերի արտածումների բարդության հայտանիշները տարբեր արտածման համակարգերում: Կարևոր խթանիչն է և NP բարդության դասերի հարաբերության խնդրի լուծումը / Some quantitative and structural properties of different propositional proof systems for classical and non-classical logics are investigated in this thesis: a) a problem of polynomial bounded possibility for proof sizes in Frege systems of classical logic, b) the relations between the proofs complexity characteristics of essentially equal tautologies (sequents) in the same propositional systems for different logics and / В диссертации исследованы некоторые количественные и структурные характеристики для ряда пропозициональных систем выводов классической и неклассических логик, в частности a) исследованы возможности полиномиального ограничения длин выводов в системах Фреге-классической логики | |
dc.identifier.uri | http://dspace.nla.am/handle/123456789/7958 | |
dc.language.iso | arm | |
dc.pages | Սեղմագիր՝ 22 էջ | |
dc.publication.place | Երևան | |
dc.publisher | Երևանի պետական համալսարան | |
dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
dc.title | Տարբեր տրամաբանական համակարգերի որոշակի քանակական և որակական հատկությունների հետազոտում / Investigation of some quantitative and structural properties of different logical proof systems | |
dc.type | Abstract | |
eperson.lastname | NT |