Տրամաբանական ծրագրավորման որոշ ալգորիթմական պրոբլեմների մասին / On some algorithmic problems of logic programming
Տրամաբանական ծրագրավորման որոշ ալգորիթմական պրոբլեմների մասին / On some algorithmic problems of logic programming
| dc.contributor.author | Հայկազյան, Լևոն Արշալույսի / Haykazyan Levon | |
| dc.date.accessioned | 2023-03-07T05:54:58Z | |
| dc.date.available | 2023-03-07T05:54:58Z | |
| dc.date.issued | 2012 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2012 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Ա. Հ. Առաքելյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 18 էջ։ | |
| dc.description.abstract | Աշխատանքը նվիրված է տրամաբանական ծրագրավորման խնդիրներին։ Ուսուﬓասիրության առարկան են հանդիսանում այսպես կոչված մաքուր տրամաբանական ծրագրերը՝ ծրագրեր որոնք չեն պարունակում ներդրված պրեդիկատներ / Диссертация посвящена проблемам логического программирования. Предметом исследования являются так называемые чистые логические программы, т.е. логические программы, не использующие встроенные предикаты / The thesis is devoted to problems of logic programming. The objects of the study are so called pure logic programs, that are logic programs that do not use built-in predicates | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/2019 | |
| dc.language.iso | arm | |
| dc.pages | Սեղմագիր՝ 18 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԿԳՆ Երևանի պետական համալսարան | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Տրամաբանական ծրագրավորման որոշ ալգորիթմական պրոբլեմների մասին / On some algorithmic problems of logic programming | |
| dc.type | Abstract | |
| eperson.lastname | NM |