Исследование сложностей выводов в системах неклассических логик / Ոչ դասական տրամաբանության համակարգերում արտածումների բարդության հետազոտում / An investigation of the proofs complexities in the systems of nonclassical logics
Исследование сложностей выводов в системах неклассических логик / Ոչ դասական տրամաբանության համակարգերում արտածումների բարդության հետազոտում / An investigation of the proofs complexities in the systems of nonclassical logics
| dc.contributor.author | Սայադյան, Սերգեյ Մուշեղի / Sayadyan Sergey | |
| dc.date.accessioned | 2024-04-30T07:51:44Z | |
| dc.date.available | 2024-04-30T07:51:44Z | |
| dc.date.issued | 2007 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ Ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2007 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Ի. Դ. Զասլավսկի, Մ. Հ. Խաչատրյան ; Առաջատար կազմակերպություն՝ Ռուս-Հայկական (Սլավոնական) պետական համալսարան ; Սեղմագիր՝ 19 էջ։ | |
| dc.description.abstract | По сложностям выводов одних и тех же классов формул сравнены также одноименные системы классической и неклассических логик / Աշխատանքում համեմատվում են միևնույն դասի բանաձևերի արտածման բարդությունները ոչ դասական ասույթային տրամաբանությունների (ինտուիցիոնիստական և մինիմալ) տարբեր համակարգերում | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/10317 | |
| dc.language.iso | rus | |
| dc.pages | Սեղմագիր՝ 19 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Исследование сложностей выводов в системах неклассических логик / Ոչ դասական տրամաբանության համակարգերում արտածումների բարդության հետազոտում / An investigation of the proofs complexities in the systems of nonclassical logics | |
| dc.type | Abstract | |
| eperson.lastname | LS |