«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում

Abstract

Ատենախոսությունում հետազոտված են «բարդ որոշելի» և «քվազի բարդ որոշելի» բանաձևերի արտածումների բարդության բնութագրիչները դասական ասույթային հաշվի մի շարք համակարգերում / В диссертации исследованы сложностные характеристики выводов некоторых классов «трудноопределяемых» и «квази-трудноопределяемых» формул в ряде систем доказательств классического исчисления высказываний / In this thesis the proof complexity characteristics of some classes of hard determinable and quasi-hard determinable formulas are investigated in different proof systems of Classical Propositional Logic