Формальные исчисления и аксиоматические системы в неклассических логиках / Ֆորմալ հաշիվներ և աքսիոմատիկ համակարգեր ոչ դասական տրամաբանություններում / Formal calculi and axiomatic systems in nonclassical logics
Формальные исчисления и аксиоматические системы в неклассических логиках / Ֆորմալ հաշիվներ և աքսիոմատիկ համակարգեր ոչ դասական տրամաբանություններում / Formal calculi and axiomatic systems in nonclassical logics
No Thumbnail Available
Date
2002
Authors
Բոլիբեկյան, Հովհաննես Ռաֆայելի / Bolibekyan Hovhannes
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
Abstract
В связи с бурным развитием систем искусственного интеллекта возникает необходимость исследований по математической логике, являющейся теоретической базой при их разработке / Ներմուծված են կամայական N -արժեք տրամաբանության սահմաններում աքսիոմատիկ համակարգերը նկարագրող հիմնական գաղափարները
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկա-մաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2002 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ի. Դ. Զասլավսկի ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Ա. Ռ. Ասլյան ; Առաջատար կազմակերպություն՝ Հայաստանի պետական ճարտարագիտական համալսարան ; Սեղմագիր՝ 15 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics