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

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

menu_book Տեսնել նյութերը

Հեղինակի գրքերը (1)

Օնլայն

Ինֆորմատիկա

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

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

Թարմացվել է՝ 2026-09-09
Օ семантике бестиповых функциональных программ

Անվճար

Միսաք Մեծարենց Միսաք Մեծարենց 1886 թ․ – 1908 թ․ Միսաք Մեծարենցը արևմտահայ քնարական պոեզիայի ամենապայծառ ներկայացուցիչներից է։ Չնայած կարճ կյանքին, նա ստեղծել է բարձրարժեք գրական ժառանգություն։Միսաք Մեծարենցը արևմտահայ քնարերգության ամենապայծառ անուններից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, սերը և կյանքի գեղեցկությունը։ Չնայած կարճ կյանքին՝ նա հասցրել է ստեղծել բարձրարժեք պոեզիա։ Նրա լեզուն երաժշտական է և նուրբ։ Մեծարենցը մեծ ազդեցություն է ունեցել հայ ռոմանտիկ պոեզիայի վրա։ Նրա բանաստեղծությունները լի են լույսով և զգացմունքայնությամբ։ Նա համարվում է արևմտահայ պոեզիայի ամենաքնարական ձայներից մեկը։ Նրա գործերը մինչ օրս սիրով ընթերցվում են։ Նրա ժառանգությունը փոքր ծավալով, բայց մեծ արժեք ունի։ Նա հայ գրականության բացառիկ տաղանդներից է։ menu_book2 Տեսնել ավելին Դանիել Վարուժան Դանիել Վարուժան 1884 թ․ – 1915 թ․ Դանիել Վարուժանը արևմտահայ պոեզիայի ամենատաղանդավոր ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն բնությունը, գյուղական կյանքը և մարդու ստեղծագործ ուժը։ Վարուժանը հիանում էր աշխատանքի գեղեցկությամբ և մարդու հոգևոր ուժով։ Նրա բանաստեղծությունները հարուստ են պատկերներով և զգացմունքներով։ Նա ձգտել է վերածնել ազգային մշակութային արժեքները։ Հայոց ցեղասպանության ժամանակ նա ձերբակալվել և սպանվել է։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ պոեզիայի զարգացման վրա։ Վարուժանի ստեղծագործությունները մինչ օրս լայնորեն ընթերցվում են։ Նա համարվում է արևմտահայ գրականության դասականներից մեկը։ menu_book5 Տեսնել ավելին Րաֆֆի (Հակոբ Մելիք-Հակոբյան) Րաֆֆի (Հակոբ Մելիք-Հակոբյան) 1835 թ․ – 1888 թ․ Րաֆֆին հայ պատմավեպի ամենահայտնի ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ են զբաղեցնում ազգային ազատագրության և հայրենասիրության թեմաները։ «Սամվել», «Խենթը» և «Դավիթ Բեկ» վեպերը համարվում են հայ գրականության դասականներ։ Նա ստեղծել է ուժեղ և հիշվող հերոսներ։ Րաֆֆու կերպարները պայքարում են հանուն ազատության և արդարության։ Նրա գրքերը մեծ ազդեցություն են ունեցել հայ երիտասարդության վրա։ Նա կարողացել է պատմությունը ներկայացնել հետաքրքիր և կենդանի ձևով։ Նրա ստեղծագործությունները մինչ օրս լայնորեն ընթերցվում են։ Րաֆֆին համարվում է ազգային մտածողության ձևավորման կարևոր գործիչ։ Նրա անունը մշտապես կապված է հայրենասիրական գրականության հետ։ menu_book15 Տեսնել ավելին Ակսել Բակունց Ակսել Բակունց 1899 թ․ – 1937 թ․ Ակսել Բակունցը հայ արձակի ամենաբարձր մակարդակի վարպետներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունի գյուղական կյանքի, մարդու և բնության ներդաշնակության պատկերումը։ Բակունցը առանձնանում է նուրբ հոգեբանական դիտարկումներով և լեզվական ճշգրտությամբ։ Նրա հայտնի գործերից են «Ալպիական մանուշակ», «Մթնաձոր» և այլ պատմվածքներ։ Նա համարվում է հայ կարճ արձակի անգերազանցելի հեղինակներից մեկը։ Բակունցի ստեղծագործությունները լի են մարդկային խորությամբ և լուռ տխրությամբ։ Նրա հերոսները հաճախ պայքարում են սոցիալական դժվարությունների հետ։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ արձակի զարգացման վրա։ Նա զոհվել է ստալինյան բռնաճնշումների ժամանակ։ menu_book6 Տեսնել ավելին Վահան Թոթովենց Վահան Թոթովենց 1889 թ․ – 1938 թ․ Վահան Թոթովենց հայ արձակագիր, դրամատուրգ և լրագրող է, որը համարվում է XX դարի հայ գրականության կարևոր դեմքերից մեկը։ Նրա ստեղծագործությունները առանձնանում են իրականության խոր ու պատկերավոր նկարագրություններով, որտեղ արտացոլված են հայ ժողովրդի կյանքը, ցավը և դիմադրողականությունը պատմական ծանր ժամանակներում։ Թոթովենցի գրականության հիմնական թեմաներն են արևմտահայ կյանքի պատկերումը, պատերազմները, գաղթը և մարդու ճակատագիրը բարդ սոցիալական ու քաղաքական պայմաններում։ Նրա գործերում հաճախ զգացվում է անձնական փորձի ազդեցությունը, ինչը դրանք դարձնում է ավելի անկեղծ և ազդեցիկ։ Նրա ամենահայտնի ստեղծագործություններից է «Հին Հռոմեական ճանապարհի վրա» վեպը, որտեղ նա նկարագրում է իր մանկությունը և արևմտահայ իրականությունը՝ հարուստ ու կենդանի լեզվով։ Թոթովենցը նաև զբաղվել է լրագրությամբ և հասարակական գործունեությամբ՝ մասնակցելով ժամանակի մտավոր ու քաղաքական կյանքին։ Առաջին համաշխարհային պատերազմի տարիներին նա կապեր է ունեցել հայկական ռազմական ու ազգային շրջանակների հետ, ինչը մեծ ազդեցություն է ունեցել նրա աշխարհայացքի վրա։ 1938 թվականին, ստալինյան բռնաճնշումների ժամանակ, նա ձերբակալվել և գնդակահարվել է։ Չնայած իր կյանքի ողբերգական ավարտին, Վահան Թոթովենցի ստեղծագործությունները այսօր համարվում են հայ գրականության արժեքավոր մաս՝ իրենց պատմական և գեղարվեստական նշանակությամբ։ menu_book2 Տեսնել ավելին Համո Սահյան Համո Սահյան 1914 թ․ – 1993 թ․ Համո Սահյանը բնության և հայրենիքի մեծ երգիչն է։ Նրա պոեզիան առանձնանում է պարզությամբ, խորությամբ և ազգային ոգով։Համո Սահյանը հայ բնապատկերային և քնարական պոեզիայի ամենասիրված հեղինակներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, գյուղը և մարդը։ Սահյանի լեզուն պարզ է, բայց խորապես զգացմունքային։ Նրա բանաստեղծությունները հաճախ արտահայտում են կյանքի գեղեցկությունն ու ցավը։ Նա մեծ ազդեցություն է ունեցել ժողովրդական մտածողության վրա։ Նրա գործերը լայնորեն տարածված են Հայաստանում։ Սահյանի պոեզիան համադրվում է պարզության և փիլիսոփայության հետ։ Նրա ստեղծագործությունները հաճախ ուսումնասիրվում են դպրոցներում։ Նա համարվում է 20-րդ դարի մեծ քնարերգուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book2 Տեսնել ավելին