Формальные исчисления и аксиоматические системы в неклассических логиках / Ֆորմալ հաշիվներ և աքսիոմատիկ համակարգեր ոչ դասական տրամաբանություններում / Formal calculi and axiomatic systems in nonclassical logics
Формальные исчисления и аксиоматические системы в неклассических логиках / Ֆորմալ հաշիվներ և աքսիոմատիկ համակարգեր ոչ դասական տրամաբանություններում / Formal calculi and axiomatic systems in nonclassical logics
| dc.contributor.author | Բոլիբեկյան, Հովհաննես Ռաֆայելի / Bolibekyan Hovhannes | |
| dc.date.accessioned | 2024-03-22T07:55:25Z | |
| dc.date.available | 2024-03-22T07:55:25Z | |
| dc.date.issued | 2002 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկա-մաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2002 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ի. Դ. Զասլավսկի ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Ա. Ռ. Ասլյան ; Առաջատար կազմակերպություն՝ Հայաստանի պետական ճարտարագիտական համալսարան ; Սեղմագիր՝ 15 էջ։ | |
| dc.description.abstract | В связи с бурным развитием систем искусственного интеллекта возникает необходимость исследований по математической логике, являющейся теоретической базой при их разработке / Ներմուծված են կամայական N -արժեք տրամաբանության սահմաններում աքսիոմատիկ համակարգերը նկարագրող հիմնական գաղափարները | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/9630 | |
| dc.language.iso | rus | |
| dc.pages | Սեղմագիր՝ 15 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Формальные исчисления и аксиоматические системы в неклассических логиках / Ֆորմալ հաշիվներ և աքսիոմատիկ համակարգեր ոչ դասական տրամաբանություններում / Formal calculi and axiomatic systems in nonclassical logics | |
| dc.type | Abstract | |
| eperson.lastname | LS |