Կրթություն
Ֆակուլտետ
Հաշվողական մաթեմատիկայի և կիբեռնետիկայի
Տարեթիվ
-
Աստիճան/կոչում
Հայցորդ
Հաստատություն
Երևանի պետական համալսարան
Ֆակուլտետ
Ինֆորմատիկա և Կիրառական մաթեմատիկա
Տարեթիվ
-
Աստիճան/կոչում
Ասպիրանտ
Հաստատություն
Երևանի պետական համալսարան
Ֆակուլտետ
Ինֆորմատիկա և Կիրառական մաթեմատիկա
Տարեթիվ
-
Աստիճան/կոչում
Դիպլոմավորված մասնագետ
Գիտական աստիճան/կոչում
Տարեթիվ
2006
Աստիճան/կոչում
Գիտությունների թեկնածու
Գիտական ղեկավար
Նիգիյան Սեմյոն Ալեքսանդրի
Գիտական թեմա
Խիստ տիպիզացված ֆունկցիոնալ ծրագրերի ինտերպրետացիա
Լեզուների իմացություն
Русский
English
Աշխատանքային փորձ
Հաստատություն
ԵՊՀ
Ժամանակահատված
Պաշտոն
ասիստենտ
Հաստատություն
ԵՊՀ
Ժամանակահատված
-
Պաշտոն
դասախոս
Միջազգային կոնֆերանսների և սեմինարների մասնակցություն
-
ՀՄՄ և ՀՀ ԳԱԱ Մաթեմատիկայի Ինստիտուտի Գիտական նստաշրջան նվիրված Արտաշես Շահինյանի ծննդյան 90 ամյակին
Հայկական Մաթեմատիկական Միություն
Հայաստան
Հրապարակումներ
Հոդված
A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF βδ-NORMAL FORM OF TYPED λ-TERMS FOR THE CANONICAL NOTION OF δ-REDUCTION
Հոդված
Об алгоритмах интерпретации строго типизированных функциональных программ.
Сборник научных статей. Годичная научная конференция (3 – 7 декабря 2007 г.). Физико-математические и естественные науки.
2008
172-179
ՈՒսումնական ձեռնարկ
Ծրագրավորման ֆունկցիոնալ համակարգեր
2006
60
Հոդված
A Necessary and sufficient condition of completeness of computation rule for strong typed functional programs.
Հոդված
О формализации понятия δ-редукции в монотонных моделях типового λ-исчисления.
Հոդված
On δ-Reduction in monotonic models of typed λ-calculus.
Հոդված
Formalizing the notion of δ-reduction in monotonic models of typed λ-calculus.
Algebra, Geometry & Their Applications
2002
48-57
Հոդված
Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений.
Հոդված
On execution of functional programs.
