Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лефа / Ռեկուրսիվ ընթացակարգերի մոդելավորումը Մարթին-Լյոֆի տիպերի տեսույան միջոցներում
Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лефа / Ռեկուրսիվ ընթացակարգերի մոդելավորումը Մարթին-Լյոֆի տիպերի տեսույան միջոցներում
No Thumbnail Available
Date
1994
Authors
Մարիկյան, Գոհար Գերասիմի / Marikyan Gohar
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
Abstract
С усложнением создаваемых программных комплексов становится актуальным логический подход к автоматизации процесса создания моделей, т. е. построение логических моделей / Կառուցվող ծրագրային համակարգերի բարդացմանը զուգընթաց հրատապ է դառնում մոդելների ստեղծման ավտոմատացման նկատմամբ տրամաբանական մոտեցումը՝ տրամաբանական մոդելները
Description
Ե.13.05 «Մաթեմատիկական մոդելավորում, թվային մեթոդներ և ծրագրերի համալիրներ» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-1994 ; Ատենախոսության թեման հաստատվել է ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտում ; Գիտական ղեկավար՝ Գ. Բ. Մարանջյան ; Պաշտոնական ընդդիմախոսներ՝ Ի. Դ. Զասլավսկի, Ա. Ա. Չուբարյան ; Առաջատար կազմակերպություն՝ ՀՀ պետական ճարտարագիտական համալսարան ; Սեղմագիր՝ 10 էջ։
Keywords
Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems