Ոչ դասական տրամաբանության ֆորմալ համակարգեր և թեորեմների մեքենայական արտածելիություն մեքենայական ուսուցման մեթոդների կիրառությամբ / Formal systems of non-classical logic and automated theorem proving using machine learning methods
Ոչ դասական տրամաբանության ֆորմալ համակարգեր և թեորեմների մեքենայական արտածելիություն մեքենայական ուսուցման մեթոդների կիրառությամբ / Formal systems of non-classical logic and automated theorem proving using machine learning methods
No Thumbnail Available
Date
2021
Authors
Բաղդասարյան, Աշոտ Ռաֆիկի / Baghdasaryan Ashot
Journal Title
Journal ISSN
Volume Title
Publisher
Երևանի պետական համալսարան
Abstract
Ոչ դասական տրամաբանության համակարգերի ուսումնասիրությունը գիտական մեծ հետաքրքրություն է ներկայացնում, իսկ, մասնավորապես, կոնստրուկտիվ տրամաբանության ֆորմալ համակարգերը հետաքրքրություն են ներկայացնում ոչ միայն գիտական, այլ նաև կիրառական տեսանկյունից / Исследование неклассических логических систем представляет научный интерес / The study of systems of non-classical logic is of great scientific interest
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2021 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Է. Մ. Պողոսյան, Ս. Մ. Սայադյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 18 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics