Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին / On type correctness of functional programs
Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին / On type correctness of functional programs
| dc.contributor.author | Առաքելյան, Արա Հայկի / Arakelyan Ara | |
| dc.date.accessioned | 2023-02-20T11:35:17Z | |
| dc.date.available | 2023-02-20T11:35:17Z | |
| dc.date.issued | 2011 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2011 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Գ. Գ. Հրաչյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 24 էջ։ | |
| dc.description.abstract | Հետազոտության առարկան հանդիսանում են առանց տիպերի λ-թերմերը և դրանք օգտագործող ֆունկցիոնալ ծրագրերը, իսկ դիտարկվող հիմնական խնդիրը՝ այդ թերմերի և ֆունկցիոնալ ծրագրերի տիպային կոռեկտության խնդիրը / Диссертационная работа посвящена проблемам функционального программиро вания. Объектами исследования являются бестиповые λ-термы и функциональные программы использующие такие термы, а основной проблемой является задача о типовой корректности этих термов и программ | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/1537 | |
| dc.language.iso | arm | |
| dc.pages | Սեղմագիր՝ 24 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | Երևանի պետական համալսարան | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին / On type correctness of functional programs | |
| dc.type | Abstract | |
| eperson.lastname | GM |