«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում
«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում
No Thumbnail Available
Date
2012
Authors
Աբաջյան, Աշոտ Գասպարի / Abajyan Ashot
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԿԳՆ Երևանի պետական համալսարան
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
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական
գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2012 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Հ. Ռ. Բոլիբեկյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 20 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics