Առաքելյան, Արա Հայկի

Առաքելյան, Արա Հայկի

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

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

Օնլայն

Մաթեմատիկա

Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին

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

Թարմացվել է՝ 2026-09-10
Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին

Անվճար

Գուրգեն Մահարի Գուրգեն Մահարի 1903 թ․ – 1969 թ․ Գուրգեն Մահարին հայ արձակի և հուշագրության կարևոր ներկայացուցիչներից է։ Նրա ստեղծագործությունները հաճախ հիմնված են սեփական կյանքի փորձի վրա։ Նա նկարագրել է խորհրդային ժամանակների դժվարությունները և բանտային կյանքը։ Նրա հայտնի գործերից է «Ծաղկած փշալարեր» վեպը։ Մահարու լեզուն պարզ է, բայց խորքային և զգացմունքային։ Նրա ստեղծագործություններում կարևոր տեղ ունի մարդու ազատության գաղափարը։ Նա նաև անդրադարձել է պատմական և սոցիալական թեմաներին։ Մահարու գործերը արժեքավոր վկայություն են ժամանակաշրջանի մասին։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից արձակի վրա։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել այսօր։ menu_book4 Տեսնել ավելին Մուրացան (Գրիգոր Տեր-Հովհաննիսյան) Մուրացան (Գրիգոր Տեր-Հովհաննիսյան) 1854 թ․ – 1908 թ․ Մուրացանը հայ պատմական արձակի կարևոր ներկայացուցիչներից է։ Նրա ամենահայտնի ստեղծագործությունը «Գևորգ Մարզպետունի» վեպն է։ Վեպում ներկայացվում են Հայաստանի պատմության կարևոր էջերը։ Մուրացանը մեծ հետաքրքրություն ուներ ազգային անցյալի նկատմամբ։ Նրա ստեղծագործությունները ներշնչված են հայրենասիրական գաղափարներով։ Նա ձգտել է ընթերցողին ծանոթացնել հայկական պատմությանը։ Նրա կերպարները հաճախ մարմնավորում են քաջություն և նվիրվածություն։ Մուրացանի լեզուն հարուստ է և արտահայտիչ։ Նրա գրքերը մինչ օրս մեծ հետաքրքրությամբ ընթերցվում են։ Նա կարևոր տեղ է զբաղեցնում հայ պատմավեպի զարգացման մեջ։ menu_book19 Տեսնել ավելին Վահան Թոթովենց Վահան Թոթովենց 1889 թ․ – 1938 թ․ Վահան Թոթովենց հայ արձակագիր, դրամատուրգ և լրագրող է, որը համարվում է XX դարի հայ գրականության կարևոր դեմքերից մեկը։ Նրա ստեղծագործությունները առանձնանում են իրականության խոր ու պատկերավոր նկարագրություններով, որտեղ արտացոլված են հայ ժողովրդի կյանքը, ցավը և դիմադրողականությունը պատմական ծանր ժամանակներում։ Թոթովենցի գրականության հիմնական թեմաներն են արևմտահայ կյանքի պատկերումը, պատերազմները, գաղթը և մարդու ճակատագիրը բարդ սոցիալական ու քաղաքական պայմաններում։ Նրա գործերում հաճախ զգացվում է անձնական փորձի ազդեցությունը, ինչը դրանք դարձնում է ավելի անկեղծ և ազդեցիկ։ Նրա ամենահայտնի ստեղծագործություններից է «Հին Հռոմեական ճանապարհի վրա» վեպը, որտեղ նա նկարագրում է իր մանկությունը և արևմտահայ իրականությունը՝ հարուստ ու կենդանի լեզվով։ Թոթովենցը նաև զբաղվել է լրագրությամբ և հասարակական գործունեությամբ՝ մասնակցելով ժամանակի մտավոր ու քաղաքական կյանքին։ Առաջին համաշխարհային պատերազմի տարիներին նա կապեր է ունեցել հայկական ռազմական ու ազգային շրջանակների հետ, ինչը մեծ ազդեցություն է ունեցել նրա աշխարհայացքի վրա։ 1938 թվականին, ստալինյան բռնաճնշումների ժամանակ, նա ձերբակալվել և գնդակահարվել է։ Չնայած իր կյանքի ողբերգական ավարտին, Վահան Թոթովենցի ստեղծագործությունները այսօր համարվում են հայ գրականության արժեքավոր մաս՝ իրենց պատմական և գեղարվեստական նշանակությամբ։ menu_book2 Տեսնել ավելին Միսաք Մեծարենց Միսաք Մեծարենց 1886 թ․ – 1908 թ․ Միսաք Մեծարենցը արևմտահայ քնարական պոեզիայի ամենապայծառ ներկայացուցիչներից է։ Չնայած կարճ կյանքին, նա ստեղծել է բարձրարժեք գրական ժառանգություն։Միսաք Մեծարենցը արևմտահայ քնարերգության ամենապայծառ անուններից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, սերը և կյանքի գեղեցկությունը։ Չնայած կարճ կյանքին՝ նա հասցրել է ստեղծել բարձրարժեք պոեզիա։ Նրա լեզուն երաժշտական է և նուրբ։ Մեծարենցը մեծ ազդեցություն է ունեցել հայ ռոմանտիկ պոեզիայի վրա։ Նրա բանաստեղծությունները լի են լույսով և զգացմունքայնությամբ։ Նա համարվում է արևմտահայ պոեզիայի ամենաքնարական ձայներից մեկը։ Նրա գործերը մինչ օրս սիրով ընթերցվում են։ Նրա ժառանգությունը փոքր ծավալով, բայց մեծ արժեք ունի։ Նա հայ գրականության բացառիկ տաղանդներից է։ menu_book2 Տեսնել ավելին Դանիել Վարուժան Դանիել Վարուժան 1884 թ․ – 1915 թ․ Դանիել Վարուժանը արևմտահայ պոեզիայի ամենատաղանդավոր ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն բնությունը, գյուղական կյանքը և մարդու ստեղծագործ ուժը։ Վարուժանը հիանում էր աշխատանքի գեղեցկությամբ և մարդու հոգևոր ուժով։ Նրա բանաստեղծությունները հարուստ են պատկերներով և զգացմունքներով։ Նա ձգտել է վերածնել ազգային մշակութային արժեքները։ Հայոց ցեղասպանության ժամանակ նա ձերբակալվել և սպանվել է։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ պոեզիայի զարգացման վրա։ Վարուժանի ստեղծագործությունները մինչ օրս լայնորեն ընթերցվում են։ Նա համարվում է արևմտահայ գրականության դասականներից մեկը։ menu_book5 Տեսնել ավելին Դերենիկ Դեմիրճյան Դերենիկ Դեմիրճյան 1877 թ․ – 1956 թ․ Դերենիկ Դեմիրճյանը գրող, դրամատուրգ և հասարակական գործիչ էր։ Նա առավել հայտնի է իր «Վարդանանք» պատմական վեպով, որը հայ գրականության կարևորագույն ստեղծագործություններից է։ Դեմիրճյանը մեծ հետաքրքրություն է ցուցաբերել հայկական պատմության և ազգային հերոսների նկատմամբ։ Նրա գործերում հաճախ հանդիպում են հայրենասիրական գաղափարներ։ Նա նաև գրել է բազմաթիվ պիեսներ և պատմվածքներ։ Դեմիրճյանի լեզուն հարուստ է և արտահայտիչ։ Նրա ստեղծագործությունները մեծ ազդեցություն են ունեցել հայ պատմական արձակի զարգացման վրա։ Նա կարևոր դեր է ունեցել նաև հայկական թատրոնի զարգացման գործում։ Նրա աշխատանքները մինչ օրս լայնորեն ուսումնասիրվում են։ Դեմիրճյանը համարվում է հայ դասական գրականության կարևոր ներկայացուցիչներից մեկը։ menu_book6 Տեսնել ավելին