Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лефа / Ռեկուրսիվ ընթացակարգերի մոդելավորումը Մարթին-Լյոֆի տիպերի տեսույան միջոցներում
Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лефа / Ռեկուրսիվ ընթացակարգերի մոդելավորումը Մարթին-Լյոֆի տիպերի տեսույան միջոցներում
| dc.contributor.author | Մարիկյան, Գոհար Գերասիմի / Marikyan Gohar | |
| dc.date.accessioned | 2024-12-16T08:25:07Z | |
| dc.date.available | 2024-12-16T08:25:07Z | |
| dc.date.issued | 1994 | |
| dc.description | Ե.13.05 «Մաթեմատիկական մոդելավորում, թվային մեթոդներ և ծրագրերի համալիրներ» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-1994 ; Ատենախոսության թեման հաստատվել է ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտում ; Գիտական ղեկավար՝ Գ. Բ. Մարանջյան ; Պաշտոնական ընդդիմախոսներ՝ Ի. Դ. Զասլավսկի, Ա. Ա. Չուբարյան ; Առաջատար կազմակերպություն՝ ՀՀ պետական ճարտարագիտական համալսարան ; Սեղմագիր՝ 10 էջ։ | |
| dc.description.abstract | С усложнением создаваемых программных комплексов становится актуальным логический подход к автоматизации процесса создания моделей, т. е. построение логических моделей / Կառուցվող ծրագրային համակարգերի բարդացմանը զուգընթաց հրատապ է դառնում մոդելների ստեղծման ավտոմատացման նկատմամբ տրամաբանական մոտեցումը՝ տրամաբանական մոդելները | |
| dc.identifier.uri | https://dspace.nla.am/handle/123456789/12053 | |
| dc.language.iso | rus | |
| dc.pages | Սեղմագիր՝ 10 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ | |
| dc.subject | Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems | |
| dc.title | Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лефа / Ռեկուրսիվ ընթացակարգերի մոդելավորումը Մարթին-Լյոֆի տիպերի տեսույան միջոցներում | |
| dc.type | Abstract | |
| eperson.lastname | NM |