Ավետիսյան, Սվետլանա Ավանեսի

Ավետիսյան, Սվետլանա Ավանեսի

menu_book Посмотреть материалы

Книги автора (1)

Онлайн

Информатика

Օ семантике бестиповых функциональных программ

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

Обновлено. 2026-09-21
Օ семантике бестиповых функциональных программ

Бесплатно

Другие авторы

Все авторы
Վահան Թոթովենց Վահան Թոթովենց 1889 թ․ – 1938 թ․ Վահան Թոթովենց հայ արձակագիր, դրամատուրգ և լրագրող է, որը համարվում է XX դարի հայ գրականության կարևոր դեմքերից մեկը։ Նրա ստեղծագործությունները առանձնանում են իրականության խոր ու պատկերավոր նկարագրություններով, որտեղ արտացոլված են հայ ժողովրդի կյանքը, ցավը և դիմադրողականությունը պատմական ծանր ժամանակներում։ Թոթովենցի գրականության հիմնական թեմաներն են արևմտահայ կյանքի պատկերումը, պատերազմները, գաղթը և մարդու ճակատագիրը բարդ սոցիալական ու քաղաքական պայմաններում։ Նրա գործերում հաճախ զգացվում է անձնական փորձի ազդեցությունը, ինչը դրանք դարձնում է ավելի անկեղծ և ազդեցիկ։ Նրա ամենահայտնի ստեղծագործություններից է «Հին Հռոմեական ճանապարհի վրա» վեպը, որտեղ նա նկարագրում է իր մանկությունը և արևմտահայ իրականությունը՝ հարուստ ու կենդանի լեզվով։ Թոթովենցը նաև զբաղվել է լրագրությամբ և հասարակական գործունեությամբ՝ մասնակցելով ժամանակի մտավոր ու քաղաքական կյանքին։ Առաջին համաշխարհային պատերազմի տարիներին նա կապեր է ունեցել հայկական ռազմական ու ազգային շրջանակների հետ, ինչը մեծ ազդեցություն է ունեցել նրա աշխարհայացքի վրա։ 1938 թվականին, ստալինյան բռնաճնշումների ժամանակ, նա ձերբակալվել և գնդակահարվել է։ Չնայած իր կյանքի ողբերգական ավարտին, Վահան Թոթովենցի ստեղծագործությունները այսօր համարվում են հայ գրականության արժեքավոր մաս՝ իրենց պատմական և գեղարվեստական նշանակությամբ։ menu_book2 Подробнее Դանիել Վարուժան Դանիել Վարուժան 1884 թ․ – 1915 թ․ Դանիել Վարուժանը արևմտահայ պոեզիայի ամենատաղանդավոր ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն բնությունը, գյուղական կյանքը և մարդու ստեղծագործ ուժը։ Վարուժանը հիանում էր աշխատանքի գեղեցկությամբ և մարդու հոգևոր ուժով։ Նրա բանաստեղծությունները հարուստ են պատկերներով և զգացմունքներով։ Նա ձգտել է վերածնել ազգային մշակութային արժեքները։ Հայոց ցեղասպանության ժամանակ նա ձերբակալվել և սպանվել է։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ պոեզիայի զարգացման վրա։ Վարուժանի ստեղծագործությունները մինչ օրս լայնորեն ընթերցվում են։ Նա համարվում է արևմտահայ գրականության դասականներից մեկը։ menu_book5 Подробнее Ակսել Բակունց Ակսել Բակունց 1899 թ․ – 1937 թ․ Ակսել Բակունցը հայ արձակի ամենաբարձր մակարդակի վարպետներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունի գյուղական կյանքի, մարդու և բնության ներդաշնակության պատկերումը։ Բակունցը առանձնանում է նուրբ հոգեբանական դիտարկումներով և լեզվական ճշգրտությամբ։ Նրա հայտնի գործերից են «Ալպիական մանուշակ», «Մթնաձոր» և այլ պատմվածքներ։ Նա համարվում է հայ կարճ արձակի անգերազանցելի հեղինակներից մեկը։ Բակունցի ստեղծագործությունները լի են մարդկային խորությամբ և լուռ տխրությամբ։ Նրա հերոսները հաճախ պայքարում են սոցիալական դժվարությունների հետ։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ արձակի զարգացման վրա։ Նա զոհվել է ստալինյան բռնաճնշումների ժամանակ։ menu_book6 Подробнее Հրանտ Մաթևոսյան Հրանտ Մաթևոսյան 1935 թ․ – 2002 թ․ Հրանտ Մաթևոսյանը համարվում է 20-րդ դարի հայ արձակի մեծագույն վարպետներից մեկը։ Նրա ստեղծագործություններում խորությամբ ներկայացված են գյուղական կյանքը, մարդկային հարաբերությունները և ազգային մտածողությունը։Հրանտ Մաթևոսյանը հայ արձակի ամենամեծ վարպետներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունի գյուղական աշխարհի, մարդու և բնության փոխհարաբերությունը։ Նա հայտնի է իր խորը հոգեբանական դիտարկումներով և յուրահատուկ լեզվով։ Նրա գործերը հաճախ ներկայացնում են մարդու ներքին պայքարը և ազգային մտածողությունը։ Մաթևոսյանի հայտնի գործերից են «Մենք ենք, մեր սարերը» և բազմաթիվ պատմվածքներ։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից գրականության վրա։ Նրա լեզուն պատկերավոր և փիլիսոփայական է։ Նրա ստեղծագործությունները մինչ օրս ուսումնասիրվում են։ Նա համարվում է 20-րդ դարի հայ արձակի հիմնասյուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book9 Подробнее Գրիգոր Զոհրապ Գրիգոր Զոհրապ 1861 թ․ – 1915 թ․ Հայ նշանավոր գրող, հրապարակախոս, իրավաբան և քաղաքական գործիչ էր։ Նա ծնվել է 1861 թվականի հունիսի 26-ին՝ Կոստանդնուպոլսում, և մահացել 1915 թվականին՝ Հայոց ցեղասպանության ժամանակ։ Զոհրապը համարվում է արևմտահայ գրականության ամենահայտնի նովելիստներից մեկը։ Նրա ստեղծագործություններում պատկերավորվում են մարդու հոգեբանությունը, հասարակական հարաբերությունները և քաղաքային կյանքի խնդիրները։ Նա գրել է բազմաթիվ պատմվածքներ և նորավեպեր, որոնք առանձնանում են իրատեսական ոճով և խոր հոգեբանական վերլուծությամբ։ Բացի գրական գործունեությունից, Զոհրապը եղել է հայտնի իրավաբան և Օսմանյան խորհրդարանի պատգամավոր։ Նրա կյանքն ու գործունեությունը մեծ ազդեցություն են ունեցել հայ մշակույթի և հասարակական մտքի զարգացման վրա, իսկ նրա ստեղծագործությունները մինչ օրս համարվում են հայ գրականության արժեքավոր էջերից։ menu_book5 Подробнее Նար-Դոս (Միքայել Հովհաննիսյան) Նար-Դոս (Միքայել Հովհաննիսյան) 1867 թ․ – 1933 թ․ Նար-Դոսը հայ հոգեբանական արձակի հիմնադիրներից է։ Նրա ստեղծագործություններում մեծ տեղ ունի մարդու ներաշխարհի վերլուծությունը և հոգեբանական հակասությունները։ Նա նկարագրել է քաղաքային կյանքը և հասարակության տարբեր խավերը։ Նրա վեպերն ու պատմվածքները աչքի են ընկնում իրատեսականությամբ։ Նար-Դոսի լեզուն պարզ է, բայց խորքային և դիտողական։ Նրա հերոսները հաճախ կանգնած են բարոյական ընտրությունների առաջ։ Նա մեծ ազդեցություն է ունեցել հայ արձակի զարգացման վրա։ Նրա ստեղծագործությունները մինչ օրս դասական են համարվում։ Նար-Դոսը համարվում է հայ հոգեբանական արձակի հիմնադիրներից մեկը։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել։ menu_book13 Подробнее