Օ семантике бестиповых функциональных программ / Առանց տիպերի ֆունկցիոնալ ծրագրերի սեմանտիկայի մասին
Օ семантике бестиповых функциональных программ / Առանց տիպերի ֆունկցիոնալ ծրագրերի սեմանտիկայի մասին
| dc.contributor.author | Ավետիսյան, Սվետլանա Ավանեսի / Avetisyan Svetlana | |
| dc.date.accessioned | 2024-04-05T11:07:50Z | |
| dc.date.available | 2024-04-05T11:07:50Z | |
| dc.date.issued | 2005 | |
| dc.description | Ե.13.04 «Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասնագիտությամբ Ֆիզիկա-մաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2005 ; Ատենախոսության թեման հաստատվել է Երևանի ավտոմատ կառավարման համակարգերի ԳՀԻ-ում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդիմախոսներ՝ Ի. Դ. Զասլավսկի, L. Օ. Խաչոյան ; Առաջատար կազմակերպություն՝ Հայաստանի պետական ճարտարագիտական համալսարան ; Սեղմագիր՝ 15 էջ։ | |
| dc.description.abstract | Бестиповая функциональная программа представляет собой систему уравнений (с отделяющимися переменными) в бестиповом исчислении / Տրված է առանց տիպերի ֆունկցիոնալ ծրագրի սահմանումը, որպես առանց տիպերի հաշվում անջատվող փոփոխականներով հավասարումների համակարգ | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/9864 | |
| dc.language.iso | rus | |
| dc.pages | Սեղմագիր՝ 15 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ | |
| dc.subject | Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems | |
| dc.title | Օ семантике бестиповых функциональных программ / Առանց տիպերի ֆունկցիոնալ ծրագրերի սեմանտիկայի մասին | |
| dc.type | Abstract | |
| eperson.lastname | GM |