Տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին / On interpreters of typed functional programs
Տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին / On interpreters of typed functional programs
No Thumbnail Available
Date
2019
Authors
Գրիգորյան, Դավիթ Անդրանիկի / Grigoryan Davit
Journal Title
Journal ISSN
Volume Title
Publisher
Երևանի պետական համալսարան
Abstract
Աշխատանքը նվիրված է ֆունկցիոնալ ծրագրավորման հիմունքներին։ Հետազոտման առարկա են հանդիսանում տիպիզացված ֆունկցիոնալ ծրագրերը, իսկ հիմնական դիտարկվող խնդիրը՝ ծրագրի կողմից որոշվող ֆունկցիայի հաշվարկման ֆունդամենտալ խնդիրն է / Работа посвящена проблемам функционального программирования. Объектом исследования являются типизированные a основной рассматриваемой проблемой-фундаментальная задача определяемой программой функции / The thesis is devoted to the problems of functional programming. The object of the research is typed functional programs, and the main problem under consideration is the fundamental task of computation of the function determined by the progra
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Երևան-2019 ; Գիտական ղեկավար` Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Յ. Մ. Մովսիսյան, Ա. Հ. Առաքելյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 21 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics