Մարտիրոսյան, Գևորգ Արթուրի

Ինֆորմատիկա

Այս գիտական աշխատությունը նվիրված է ֆունկցիոնալ ծրագրավորման լեզուներում ներդրված հաստատունների տեսական հիմքերի, կառուցվածքի և կիրառման առանձնահատկությունների ուսումնասիրությանը։ Գրքում վերլուծվում են ֆունկցիոնալ ծրագրավորման հիմնական սկզբունքները և դրանց շրջանակում կիրառվող ներդրված հաստատունների նշանակությունը՝ ծրագրերի կառուցման, տվյալների ներկայացման և հաշվարկային գործընթացների կազմակերպման տեսանկյունից։ Հեղինակը ներկայացնում է տարբեր տեսակի հաստատունների հատկությունները, դրանց դերակատարությունը լեզվի շարահյուսության և իմաստաբանության ձևավորման մեջ, ինչպես նաև դրանց փոխազդեցությունը ֆունկցիաների, տվյալների տիպերի և արտահայտությունների գնահատման մեխանիզմների հետ։ Աշխատությունում քննարկվում են ծրագրավորման լեզուների նախագծման տեսական հարցերը, ֆորմալ մոդելները, թարգմանիչների և կոմպիլյատորների աշխատանքի որոշ սկզբունքներ, ինչպես նաև ներդրված հաստատունների ազդեցությունը ծրագրերի արդյունավետության, հուսալիության և ընդարձակելիության վրա։ Գրքում ներկայացված են տեսական վերլուծություններ, օրինակներ և համեմատական մոտեցումներ, որոնք նպաստում են ֆունկցիոնալ ծրագրավորման լեզուների կառուցվածքի և դրանց ներքին մեխանիզմների առավել խորքային ընկալմանը։ Աշխատությունը նախատեսված է ծրագրավորման լեզուների տեսությամբ զբաղվող գիտաշխատողների, ծրագրավորողների, դասախոսների, ասպիրանտների, տեղեկատվական տեխնոլոգիաների մասնագետների և համակարգչային գիտության ոլորտի ուսանողների համար, ովքեր հետաքրքրված են ֆունկցիոնալ ծրագրավորման և ծրագրավորման լեզուների նախագծման տեսական հիմքերով։