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