Исследование сложностей выводов в системах неклассических логик / Ոչ դասական տրամաբանության համակարգերում արտածումների բարդության հետազոտում / An investigation of the proofs complexities in the systems of nonclassical logics
Исследование сложностей выводов в системах неклассических логик / Ոչ դասական տրամաբանության համակարգերում արտածումների բարդության հետազոտում / An investigation of the proofs complexities in the systems of nonclassical logics
No Thumbnail Available
Date
2007
Authors
Սայադյան, Սերգեյ Մուշեղի / Sayadyan Sergey
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
Abstract
По сложностям выводов одних и тех же классов формул сравнены также одноименные системы классической и неклассических логик / Աշխատանքում համեմատվում են միևնույն դասի բանաձևերի արտածման բարդությունները ոչ դասական ասույթային տրամաբանությունների (ինտուիցիոնիստական և մինիմալ) տարբեր համակարգերում
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ Ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2007 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Ի. Դ. Զասլավսկի, Մ. Հ. Խաչատրյան ; Առաջատար կազմակերպություն՝ Ռուս-Հայկական (Սլավոնական) պետական համալսարան ; Սեղմագիր՝ 19 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics