Տրամաբանական ծրագրերի օպտիմիզացման մասին / On optimization of logic programs
Տրամաբանական ծրագրերի օպտիմիզացման մասին / On optimization of logic programs
| dc.contributor.author | Խաչատրյան, Սուրեն Արտաշեսի / Khachatryan Suren | |
| dc.date.accessioned | 2023-03-07T06:16:20Z | |
| dc.date.available | 2023-03-07T06:16:20Z | |
| dc.date.issued | 2014 | |
| dc.description | Ե.13.04 «Հաշվողական մեքենաների, համալիրների, համակարգերի ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասնագիտությամբ Ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2014 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Ի. Դ. Զասլավսկի, Հ. Ռ. Բոլիբեկյան ; Առաջատար կազմակերպություն՝ Հայ-ռուսական (Սլավոնական) համալսարան ; Սեղմագիր՝ 22 էջ։ | |
| dc.description.abstract | Աշխատանքը նվիրված է տրամաբանական ծրագրավորման խնդիրներին։ Հետազոտության առարկա են հանդիսանում տրամաբանական ծրագրերը և հարցումները, իսկ դիտարկվող հիմնական խնդիրը՝ տրամաբանական ծրագրերի օպտիմիզացումը, այն իմաստով, որ ծրագրի և իր ցանկացած թույլատրելի հարցման ցանկացած SLD-ծառ դառնա վերջավոր / В данной работе исследуются проблемы логического программирования. Предметом исследования являются логические программы и запросы, а рассматриваемая основная проблема – оптимизация логических программ в том смысле, что любое SLD-дерево программы и любого допустимого запроса этой программы становится конечным / The thesis is devoted to the study of some problems of logic programming. The objects of study are logic programs and goals. The main problem studied is the optimization of logic programs in the sense that any SLD-tree of a program and any permitted goal of this program become finite | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/2020 | |
| dc.language.iso | arm | |
| dc.pages | Սեղմագիր՝ 22 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ | |
| dc.subject | Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems | |
| dc.title | Տրամաբանական ծրագրերի օպտիմիզացման մասին / On optimization of logic programs | |
| dc.type | Abstract | |
| eperson.lastname | NM |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- abs3308_khachatryan_ocr.pdf
- Size:
- 299.62 KB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed to upon submission
- Description: