Об основной семантике функциональных программ / Ֆունկցիոնալ ծրագրերի հիմնական սեմանտիկայի մասին / On basic semantics of functional programs
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Երևանի պետական համալսարան
Abstract
В диссертационной работе рассматриваютя бестивые и строго типизированные функциональные программы / Ապացուցվում է առանց տիպերի ֆունկցիոնալ ծրագրերի հիմնական սեմանտիկայի ինվարիանտության մասին թեորեմը
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2009 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Ս. Ա. Ավետիսյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 15 էջ։