Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов / Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում / Logical modeling of procedural programming languages and nondeterministic finite automata

No Thumbnail Available
Files
abs3310_nigiyan_ocr.pdf(331.68 KB)
Date
2009
Authors
Նիգիյան, Արամ Վիգենի / Nigiyan Aram
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԿԳՆ Երևանի պետական համալսարան
Abstract
Целью диссертации является - дать определение логического языка программирования, основанного на логике предикатов первого порядка. Как пример таких языков, рассмотреть языки хорновского программирования / Որպես առաջին կարգի պրեդիկատների տրամաբանության վրա հիմնված տրամաբանական ծրագրավորման լեզվի օրինակ դիտարկվում են Հորնի ծրագրավորման լեզուները
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոություն ; Երևան-2009 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Նիզիյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Ա. Շ. Մալխասյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 15 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics
Citation
URI
http://dspace.nla.am/handle/123456789/2032
Collections
Ատենախոսություններ և սեղմագրեր / Theses & Abstracts