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

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

menu_book View materials

Books by this author (1)

Online

Informatics

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

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

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

Free

Միսաք Մեծարենց Միսաք Մեծարենց 1886 թ․ – 1908 թ․ Միսաք Մեծարենցը արևմտահայ քնարական պոեզիայի ամենապայծառ ներկայացուցիչներից է։ Չնայած կարճ կյանքին, նա ստեղծել է բարձրարժեք գրական ժառանգություն։Միսաք Մեծարենցը արևմտահայ քնարերգության ամենապայծառ անուններից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, սերը և կյանքի գեղեցկությունը։ Չնայած կարճ կյանքին՝ նա հասցրել է ստեղծել բարձրարժեք պոեզիա։ Նրա լեզուն երաժշտական է և նուրբ։ Մեծարենցը մեծ ազդեցություն է ունեցել հայ ռոմանտիկ պոեզիայի վրա։ Նրա բանաստեղծությունները լի են լույսով և զգացմունքայնությամբ։ Նա համարվում է արևմտահայ պոեզիայի ամենաքնարական ձայներից մեկը։ Նրա գործերը մինչ օրս սիրով ընթերցվում են։ Նրա ժառանգությունը փոքր ծավալով, բայց մեծ արժեք ունի։ Նա հայ գրականության բացառիկ տաղանդներից է։ menu_book2 Read more Սիլվա Կապուտիկյան Սիլվա Կապուտիկյան 1919 թ․ – 2006 թ․ Սիլվա Կապուտիկյանը հայ պոեզիայի ամենաազդեցիկ կին հեղինակներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն հայրենիքը, սերը, լեզուն և ազգային ինքնությունը։ Կապուտիկյանը գրել է բազմաթիվ բանաստեղծություններ և հրապարակախոսական նյութեր։ Նրա լեզուն պարզ է, բայց խորքային և զգացմունքային։ Նա մեծ ուշադրություն է դարձրել հայ լեզվի պահպանման հարցերին։ Նրա գործերը լայն ճանաչում են ստացել ինչպես Հայաստանում, այնպես էլ սփյուռքում։ Կապուտիկյանը նաև ակտիվ հասարակական գործիչ էր։ Նրա ստեղծագործությունները հաճախ նվիրված են ազգային արժեքներին։ Նա համարվում է հայ կին պոեզիայի ամենակարևոր դեմքերից մեկը։ Նրա ժառանգությունը շարունակում է մնալ ազդեցիկ։ menu_book2 Read more Նար-Դոս (Միքայել Հովհաննիսյան) Նար-Դոս (Միքայել Հովհաննիսյան) 1867 թ․ – 1933 թ․ Նար-Դոսը հայ հոգեբանական արձակի հիմնադիրներից է։ Նրա ստեղծագործություններում մեծ տեղ ունի մարդու ներաշխարհի վերլուծությունը և հոգեբանական հակասությունները։ Նա նկարագրել է քաղաքային կյանքը և հասարակության տարբեր խավերը։ Նրա վեպերն ու պատմվածքները աչքի են ընկնում իրատեսականությամբ։ Նար-Դոսի լեզուն պարզ է, բայց խորքային և դիտողական։ Նրա հերոսները հաճախ կանգնած են բարոյական ընտրությունների առաջ։ Նա մեծ ազդեցություն է ունեցել հայ արձակի զարգացման վրա։ Նրա ստեղծագործությունները մինչ օրս դասական են համարվում։ Նար-Դոսը համարվում է հայ հոգեբանական արձակի հիմնադիրներից մեկը։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել։ menu_book13 Read more Վահան Տերյան Վահան Տերյան 1885 թ․ – 1920 թ․ Վահան Տերյանը հայ քնարական պոեզիայի ամենասիրելի հեղինակներից է։ Նրա ստեղծագործություններում արտահայտված են սերը, մենությունը, կարոտը և կյանքի անցողիկությունը։ Տերյանի բանաստեղծությունները հայտնի են իրենց երաժշտականությամբ և նուրբ տրամադրությամբ։ Նա մեծ ազդեցություն է կրել եվրոպական խորհրդապաշտությունից։ Նրա պոեզիան նոր շունչ է բերել հայկական գրականությանը։ Տերյանի լեզուն մեղմ է, գեղեցիկ և հուզական։ Նրա բազմաթիվ բանաստեղծություններ դարձել են երգեր։ Նա մեծ ազդեցություն է ունեցել հետագա սերունդների բանաստեղծների վրա։ Տերյանի ստեղծագործությունները շարունակում են մնալ ամենաընթերցվողներից։ Նա համարվում է հայ քնարերգության մեծագույն վարպետներից մեկը։ menu_book5 Read more Գրիգոր Զոհրապ Գրիգոր Զոհրապ 1861 թ․ – 1915 թ․ Հայ նշանավոր գրող, հրապարակախոս, իրավաբան և քաղաքական գործիչ էր։ Նա ծնվել է 1861 թվականի հունիսի 26-ին՝ Կոստանդնուպոլսում, և մահացել 1915 թվականին՝ Հայոց ցեղասպանության ժամանակ։ Զոհրապը համարվում է արևմտահայ գրականության ամենահայտնի նովելիստներից մեկը։ Նրա ստեղծագործություններում պատկերավորվում են մարդու հոգեբանությունը, հասարակական հարաբերությունները և քաղաքային կյանքի խնդիրները։ Նա գրել է բազմաթիվ պատմվածքներ և նորավեպեր, որոնք առանձնանում են իրատեսական ոճով և խոր հոգեբանական վերլուծությամբ։ Բացի գրական գործունեությունից, Զոհրապը եղել է հայտնի իրավաբան և Օսմանյան խորհրդարանի պատգամավոր։ Նրա կյանքն ու գործունեությունը մեծ ազդեցություն են ունեցել հայ մշակույթի և հասարակական մտքի զարգացման վրա, իսկ նրա ստեղծագործությունները մինչ օրս համարվում են հայ գրականության արժեքավոր էջերից։ menu_book5 Read more Ղազարոս Աղայան Ղազարոս Աղայան 1840 թ․ – 1911 թ․ Ղազարոս Աղայանը մանկական գրականության հիմնադիրներից է։ Նա գրել է բազմաթիվ հեքիաթներ, պատմվածքներ և կրթական նյութեր երեխաների համար։ Նրա ստեղծագործություններն ունեն դաստիարակչական և բարոյական նշանակություն։ Աղայանը նաև ակտիվ մանկավարժ էր։ Նա մեծ դեր է ունեցել ազգային կրթության զարգացման գործում։ Նրա հերոսները սովորեցնում են ազնվություն, աշխատասիրություն և բարություն։ Աղայանի լեզուն պարզ և հասկանալի է երեխաների համար։ Նրա հեքիաթները մինչ օրս ընդգրկված են դպրոցական ծրագրերում։ Մի քանի սերունդ մեծացել է նրա գրքերով։ Նա համարվում է հայ մանկական գրականության դասականներից մեկը։ menu_book3 Read more