Исследования сложностей выводов в формальных системах / Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում / Investigations of proof complexities in formal systems

Abstract

В диссертационной работе исследуются сложностные характеристики выводов в ряде сиде систем классического исчисления высказываний: системе резолюций (R ), системе Cutting planes (CP)", системе, основанной на обобщенном правиле расщепления (P), системах Фреге (F ), системах Фреге с правилом подстановки (SF )и с правилом k- ограниченной подстановки ( SkF ) / Աշխատանքում հետազոտվում են արտածումների բարդության բնութագրիչները դասական ասույթային հաշվի մի շարք համակարգերում. ռեզոլյուցիաների համակարգում (R), Cutting planes (CP)", տրոհման ընդհանրացված կանոնի վրա հիմնված համակարգում (P), ֆրեգեի համակարգում (F ), տեղադրման կանոնով (SF ), և k- սահմանափակված տեղադրման կանոնով ( SkF ) ֆրեգեի համակարգերում