Ոչ դասական տրամաբանության ֆորմալ համակարգեր և թեորեմների մեքենայական արտածելիություն մեքենայական ուսուցման մեթոդների կիրառությամբ / Formal systems of non-classical logic and automated theorem proving using machine learning methods
| dc.contributor.author | Բաղդասարյան, Աշոտ Ռաֆիկի / Baghdasaryan Ashot | |
| dc.date.accessioned | 2023-12-19T06:29:33Z | |
| dc.date.available | 2023-12-19T06:29:33Z | |
| dc.date.issued | 2021 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2021 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Է. Մ. Պողոսյան, Ս. Մ. Սայադյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 18 էջ։ | |
| dc.description.abstract | Ոչ դասական տրամաբանության համակարգերի ուսումնասիրությունը գիտական մեծ հետաքրքրություն է ներկայացնում, իսկ, մասնավորապես, կոնստրուկտիվ տրամաբանության ֆորմալ համակարգերը հետաքրքրություն են ներկայացնում ոչ միայն գիտական, այլ նաև կիրառական տեսանկյունից / Исследование неклассических логических систем представляет научный интерес / The study of systems of non-classical logic is of great scientific interest | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/8244 | |
| dc.language.iso | arm | |
| dc.pages | Սեղմագիր՝ 18 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | Երևանի պետական համալսարան | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Ոչ դասական տրամաբանության ֆորմալ համակարգեր և թեորեմների մեքենայական արտածելիություն մեքենայական ուսուցման մեթոդների կիրառությամբ / Formal systems of non-classical logic and automated theorem proving using machine learning methods | |
| dc.type | Abstract | |
| eperson.lastname | LS |