000 02289nam a2200253 a 4500
003 AM-YeNLA
005 20241023103547.0
008 090213s2009 ai ||||fra||||||1|||rus||
040 _aAM-YeNLA
_brus
041 0 _arus
100 1 _aНигиян, Арам Вигенович
_9185082
245 1 0 _aЛогическое моделирование процедурных языков программирования и недетерминированных конечных автоматов :
_bАвтореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" /
_cА.В. Нигиян ; Ереванский государственный университет.
246 1 1 _aԾրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում :
_bՍեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման /
260 _aЕреван,
_c2009.
300 _a15 с. ։
_c21 см.
502 _aНаучный руководитель: д.ф.-м.н. С.А. Нигиян ; Официальные оппоненты: д.ф.-м.н. Г.Б. Мараранджян, к.ф.-м.н. А.Ш. Малхасян ; Ведущая организация: Институт проблем информатики и автоматизации НАН РА:
_cЕреванский государственный университет.
_d4-го марта 2009г.
504 _aБиблиогр. в конце кн.
650 1 4 _aФизико-математические науки
650 1 4 _aМатематическая кибернетика и математическая логика
_9176221
655 7 _aՍեղմագրեր
_985752
710 2 _aЕреванский государственный университет
942 _2udc
_cTH
998 _cKlara
999 _c1068153
_d1068153