Исследования сложностей выводов в формальных системах / Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում / Investigations of proof complexities in formal systems
Исследования сложностей выводов в формальных системах / Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում / Investigations of proof complexities in formal systems
No Thumbnail Available
Date
2009
Authors
Ալեքսանյան, Սոնա Ռաֆիկի / Aleksanyan Sona
Journal Title
Journal ISSN
Volume Title
Publisher
Երևանի պետական համալսարան
Abstract
В диссертационной работе исследуются сложностные характеристики выводов в ряде сиде систем классического исчисления высказываний: системе резолюций (R ), системе Cutting planes (CP)", системе, основанной на обобщенном правиле расщепления (P), системах Фреге (F ), системах Фреге с правилом подстановки (SF )и с правилом k- ограниченной подстановки ( SkF ) / Աշխատանքում հետազոտվում են արտածումների բարդության բնութագրիչները դասական ասույթային հաշվի մի շարք համակարգերում. ռեզոլյուցիաների համակարգում (R), Cutting planes (CP)", տրոհման ընդհանրացված կանոնի վրա հիմնված համակարգում (P), ֆրեգեի համակարգում (F ), տեղադրման կանոնով (SF ), և k- սահմանափակված տեղադրման կանոնով ( SkF ) ֆրեգեի համակարգերում
Description
Ա.01.09. «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2009 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չոբարյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Հ. Ռ. Բոլիբեկյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 19 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics