«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում
«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում
| dc.contributor.author | Աբաջյան, Աշոտ Գասպարի / Abajyan Ashot | |
| dc.date.accessioned | 2023-02-16T06:49:04Z | |
| dc.date.available | 2023-02-16T06:49:04Z | |
| dc.date.issued | 2012 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2012 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Հ. Ռ. Բոլիբեկյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 20 էջ։ | |
| dc.description.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 | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/1387 | |
| dc.language.iso | arm | |
| dc.pages | Սեղմագիր՝ 20 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԿԳՆ Երևանի պետական համալսարան | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | «Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում | |
| dc.type | Abstract | |
| eperson.lastname | NM |