Об алгоритмах интерпретации строго типизированных функциональных программ / Խիստ տիպիզացված ֆունկցիոնալ ծրագրերի ինտերպրետացիայի ալգորիթմների մասին / On intrepretation algorithms of strongly typed functional programs
Об алгоритмах интерпретации строго типизированных функциональных программ / Խիստ տիպիզացված ֆունկցիոնալ ծրագրերի ինտերպրետացիայի ալգորիթմների մասին / On intrepretation algorithms of strongly typed functional programs
| dc.contributor.author | Հակոբյան, Ռուբեն Յուրիի / Hakopian Ruben | |
| dc.date.accessioned | 2024-04-10T12:20:16Z | |
| dc.date.available | 2024-04-10T12:20:16Z | |
| dc.date.issued | 2010 | |
| dc.description | Ե.13.04 «Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2010 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Մ. Հ. Խաչատրյան ; Առաջատար կազմակերպություն՝ Հայաստանի պետական ճարտարագիտական համալսարան ; Սեղմագիր՝ 18 էջ։ | |
| dc.description.abstract | Диссертационная работа посвящена проблемам функционального программирования. Объектом исследования является строго типизированная функциональная программа, a основной рассматриваемой проблемой фундаментальная задача вычисления определяемой программой функции / Ատենախոսությունը նվիրված է ֆունկցիոնալ ծրագրավորման պրոբլեմներին: Հետազոտվում են խիստ տիպիզացված ֆունկցիոնալ ծրագրերի ինտերպրետացիայի ալգորիթմները անհակասելիության, լրիվության և համեմատելիության տեսակետից | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/9977 | |
| dc.language.iso | rus | |
| dc.pages | Սեղմագիր՝ 18 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ | |
| dc.subject | Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems | |
| dc.title | Об алгоритмах интерпретации строго типизированных функциональных программ / Խիստ տիպիզացված ֆունկցիոնալ ծրագրերի ինտերպրետացիայի ալգորիթմների մասին / On intrepretation algorithms of strongly typed functional programs | |
| dc.type | Abstract | |
| eperson.lastname | NT |