Исследования сложностей выводов в формальных системах / Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում / Investigations of proof complexities in formal systems
Исследования сложностей выводов в формальных системах / Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում / Investigations of proof complexities in formal systems
dc.contributor.author | Ալեքսանյան, Սոնա Ռաֆիկի / Aleksanyan Sona | |
dc.date.accessioned | 2023-02-24T09:49:38Z | |
dc.date.available | 2023-02-24T09:49:38Z | |
dc.date.issued | 2009 | |
dc.description | Ա.01.09. «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2009 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չոբարյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Հ. Ռ. Բոլիբեկյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 19 էջ։ | |
dc.description.abstract | В диссертационной работе исследуются сложностные характеристики выводов в ряде сиде систем классического исчисления высказываний: системе резолюций (R ), системе Cutting planes (CP)", системе, основанной на обобщенном правиле расщепления (P), системах Фреге (F ), системах Фреге с правилом подстановки (SF )и с правилом k- ограниченной подстановки ( SkF ) / Աշխատանքում հետազոտվում են արտածումների բարդության բնութագրիչները դասական ասույթային հաշվի մի շարք համակարգերում. ռեզոլյուցիաների համակարգում (R), Cutting planes (CP)", տրոհման ընդհանրացված կանոնի վրա հիմնված համակարգում (P), ֆրեգեի համակարգում (F ), տեղադրման կանոնով (SF ), և k- սահմանափակված տեղադրման կանոնով ( SkF ) ֆրեգեի համակարգերում | |
dc.identifier.uri | http://dspace.nla.am/handle/123456789/1691 | |
dc.language.iso | rus | |
dc.pages | Սեղմագիր՝ 19 էջ | |
dc.publication.place | Երևան | |
dc.publisher | Երևանի պետական համալսարան | |
dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
dc.title | Исследования сложностей выводов в формальных системах / Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում / Investigations of proof complexities in formal systems | |
dc.type | Abstract | |
eperson.lastname | GM |