Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов / Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում / Logical modeling of procedural programming languages and nondeterministic finite automata
Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов / Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում / Logical modeling of procedural programming languages and nondeterministic finite automata
| dc.contributor.author | Նիգիյան, Արամ Վիգենի / Nigiyan Aram | |
| dc.date.accessioned | 2023-03-07T08:55:48Z | |
| dc.date.available | 2023-03-07T08:55:48Z | |
| dc.date.issued | 2009 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոություն ; Երևան-2009 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Նիզիյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Ա. Շ. Մալխասյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 15 էջ։ | |
| dc.description.abstract | Целью диссертации является - дать определение логического языка программирования, основанного на логике предикатов первого порядка. Как пример таких языков, рассмотреть языки хорновского программирования / Որպես առաջին կարգի պրեդիկատների տրամաբանության վրա հիմնված տրամաբանական ծրագրավորման լեզվի օրինակ դիտարկվում են Հորնի ծրագրավորման լեզուները | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/2032 | |
| dc.language.iso | rus | |
| dc.pages | Սեղմագիր՝ 15 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԿԳՆ Երևանի պետական համալսարան | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов / Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում / Logical modeling of procedural programming languages and nondeterministic finite automata | |
| dc.type | Abstract | |
| eperson.lastname | NM |