Об основной семантике функциональных программ / Ֆունկցիոնալ ծրագրերի հիմնական սեմանտիկայի մասին / On basic semantics of functional programs
Об основной семантике функциональных программ / Ֆունկցիոնալ ծրագրերի հիմնական սեմանտիկայի մասին / On basic semantics of functional programs
| dc.contributor.author | Հրաչյան, Գուրգեն Գագիկի / Hrachyan Gurgen | |
| dc.date.accessioned | 2023-02-23T10:37:26Z | |
| dc.date.available | 2023-02-23T10:37:26Z | |
| dc.date.issued | 2009 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2009 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Ս. Ա. Ավետիսյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 15 էջ։ | |
| dc.description.abstract | В диссертационной работе рассматриваютя бестивые и строго типизированные функциональные программы / Ապացուցվում է առանց տիպերի ֆունկցիոնալ ծրագրերի հիմնական սեմանտիկայի ինվարիանտության մասին թեորեմը | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/1656 | |
| dc.language.iso | rus | |
| dc.pages | Սեղմագիր՝ 15 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | Երևանի պետական համալսարան | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Об основной семантике функциональных программ / Ֆունկցիոնալ ծրագրերի հիմնական սեմանտիկայի մասին / On basic semantics of functional programs | |
| dc.type | Abstract | |
| eperson.lastname | GM |