Տրամաբանական ծրագրավորման որոշ ալգորիթմական պրոբլեմների մասին / On some algorithmic problems of logic programming
Տրամաբանական ծրագրավորման որոշ ալգորիթմական պրոբլեմների մասին / On some algorithmic problems of logic programming
No Thumbnail Available
Date
2012
Authors
Հայկազյան, Լևոն Արշալույսի / Haykazyan Levon
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԿԳՆ Երևանի պետական համալսարան
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
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2012 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Ա. Հ. Առաքելյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 18 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics