Գիտական հետաքրքրություններ
- Ֆունկցիոնալ ծրագրավորում
- Լամբդա հաշիվ
- Ալգորիթմների տեսություն
- Տվյալների հենքեր
- Տվյալագիտություն
Կրթություն
Հաստատություն
Մոսկվայի Վ․ Լոմոնոսովի անվան պետական համալսարան
Ֆակուլտետ
Հաշվողական մաթեմատիկայի և կիբեռնետիկայի
Տարեթիվ
-
Աստիճան/կոչում
Հայցորդ
Հաստատություն
Երևանի Պետական Համալսարան
Ֆակուլտետ
Ինֆորմատիկա և Կիրառական մաթեմատիկա
Տարեթիվ
-
Աստիճան/կոչում
Ասպիրանտ
Հաստատություն
Երևանի Պետական Համալսարան
Ֆակուլտետ
Ինֆորմատիկա և Կիրառական մաթեմատիկա
Տարեթիվ
-
Աստիճան/կոչում
Դիպլոմավորված մասնագետ
Գիտական աստիճան/կոչում
Հաստատություն
Մոսկվայի Վ․ Լոմոնոսովի անվան պետական համալսարան
Տարեթիվ
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.
