Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին / On type correctness of functional programs
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Երևանի պետական համալսարան
Abstract
Հետազոտության առարկան հանդիսանում են առանց տիպերի λ-թերմերը և դրանք օգտագործող ֆունկցիոնալ ծրագրերը, իսկ դիտարկվող հիմնական խնդիրը՝ այդ թերմերի և ֆունկցիոնալ ծրագրերի տիպային կոռեկտության խնդիրը / Диссертационная работа посвящена проблемам функционального программиро вания. Объектами исследования являются бестиповые λ-термы и функциональные программы использующие такие термы, а основной проблемой является задача о типовой корректности этих термов и программ
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2011 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Գ. Գ. Հրաչյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 24 էջ։