Տարբեր տրամաբանական համակարգերի որոշակի քանակական և որակական հատկությունների հետազոտում / Investigation of some quantitative and structural properties of different logical proof systems
Տարբեր տրամաբանական համակարգերի որոշակի քանակական և որակական հատկությունների հետազոտում / Investigation of some quantitative and structural properties of different logical proof systems
No Thumbnail Available
Date
2021
Authors
Պետրոսյան, Գարիկ Վարդանի / Petrosyan Garik
Journal Title
Journal ISSN
Volume Title
Publisher
Երևանի պետական համալսարան
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) исследованы возможности полиномиального ограничения длин выводов в системах Фреге-классической логики
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի աստիճանի հայցման ատենախոսություն ; Երևան-2021 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Մ. Պողոսյան, Ս.Մ. Սայադյան ; Առաջատար կազմակերպություն՝ Հայ-ռուսական համալսարան ; Սեղմագիր՝ 22 էջ ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics