Մարիկյան, Գոհար Գերասիմի

Մարիկյան, Գոհար Գերասիմի

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

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

Օնլայն

Ինֆորմատիկա

Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лефа

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

Թարմացվել է՝ 2026-09-11
Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лефа

Անվճար

Պարույր Սևակ Պարույր Սևակ 1924 թ․ – 1971 թ․ Պարույր Սևակը հայ գրականության ամենախոր և վերլուծական մտածող բանաստեղծներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն մարդու ներաշխարհը, հասարակությունը և պատմական հիշողությունը։ Սևակը հայտնի է իր «Անլռելի զանգակատուն» պոեմով, որը նվիրված է Կոմիտասին։ Նրա լեզուն համարձակ է, նորարարական և մտավոր։ Սևակը հաճախ քննադատել է հասարակական խնդիրները և կեղծ արժեքները։ Նրա պոեզիան համադրում է զգացմունքներն ու ինտելեկտը։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից պոեզիայի վրա։ Նրա ստեղծագործությունները լայնորեն ուսումնասիրվում են։ Սևակը համարվում է 20-րդ դարի ամենաազդեցիկ բանաստեղծներից մեկը։ Նրա ժառանգությունը շարունակում է ոգեշնչել նոր սերունդներին։ menu_book14 Տեսնել ավելին Սիլվա Կապուտիկյան Սիլվա Կապուտիկյան 1919 թ․ – 2006 թ․ Սիլվա Կապուտիկյանը հայ պոեզիայի ամենաազդեցիկ կին հեղինակներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն հայրենիքը, սերը, լեզուն և ազգային ինքնությունը։ Կապուտիկյանը գրել է բազմաթիվ բանաստեղծություններ և հրապարակախոսական նյութեր։ Նրա լեզուն պարզ է, բայց խորքային և զգացմունքային։ Նա մեծ ուշադրություն է դարձրել հայ լեզվի պահպանման հարցերին։ Նրա գործերը լայն ճանաչում են ստացել ինչպես Հայաստանում, այնպես էլ սփյուռքում։ Կապուտիկյանը նաև ակտիվ հասարակական գործիչ էր։ Նրա ստեղծագործությունները հաճախ նվիրված են ազգային արժեքներին։ Նա համարվում է հայ կին պոեզիայի ամենակարևոր դեմքերից մեկը։ Նրա ժառանգությունը շարունակում է մնալ ազդեցիկ։ menu_book2 Տեսնել ավելին Դանիել Վարուժան Դանիել Վարուժան 1884 թ․ – 1915 թ․ Դանիել Վարուժանը արևմտահայ պոեզիայի ամենատաղանդավոր ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն բնությունը, գյուղական կյանքը և մարդու ստեղծագործ ուժը։ Վարուժանը հիանում էր աշխատանքի գեղեցկությամբ և մարդու հոգևոր ուժով։ Նրա բանաստեղծությունները հարուստ են պատկերներով և զգացմունքներով։ Նա ձգտել է վերածնել ազգային մշակութային արժեքները։ Հայոց ցեղասպանության ժամանակ նա ձերբակալվել և սպանվել է։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ պոեզիայի զարգացման վրա։ Վարուժանի ստեղծագործությունները մինչ օրս լայնորեն ընթերցվում են։ Նա համարվում է արևմտահայ գրականության դասականներից մեկը։ menu_book5 Տեսնել ավելին Ալեքսանդր Շիրվանզադե Ալեքսանդր Շիրվանզադե 1858 թ․ – 1935 թ․ Ալեքսանդր Շիրվանզադեն հայ ռեալիստական արձակի մեծագույն ներկայացուցիչներից է։ Նրա ստեղծագործություններում արտացոլված են հասարակության տարբեր խավերի կյանքը և սոցիալական խնդիրները։ Նա գրել է վեպեր, պատմվածքներ և դրամատիկական գործեր։ Շիրվանզադեն մեծ ուշադրություն է դարձրել մարդկային հարաբերություններին։ Նրա հերոսները հոգեբանորեն խորն են մշակված։ Նա համարձակորեն քննադատել է հասարակական անարդարությունները։ Նրա ստեղծագործությունները մեծ ճանաչում են ստացել նաև թատերական բեմերում։ Շիրվանզադեն համարվում է հայ արձակի դասականներից մեկը։ Նրա ազդեցությունը զգալի է հետագա գրողների ստեղծագործություններում։ Նա շարունակում է մնալ հայ գրականության կարևորագույն անուններից մեկը։ menu_book17 Տեսնել ավելին Խաչատուր Աբովյան Խաչատուր Աբովյան 1809 թ․ – 1848 թ․ Խաչատուր Աբովյանը նոր հայ գրականության հիմնադիրն է։ Նա առաջիններից էր, ով գրական ստեղծագործություններ գրեց աշխարհաբար հայերենով։ Նրա ամենահայտնի ստեղծագործությունը «Վերք Հայաստանի» վեպն է։ Այդ վեպը նկարագրում է հայ ժողովրդի պայքարը և ազգային ոգին։ Աբովյանը եղել է նաև մանկավարժ և լուսավորիչ։ Նա մեծ ուշադրություն է դարձրել կրթության զարգացմանը։ Իր գործունեությամբ նպաստել է ժամանակակից հայ մշակույթի ձևավորմանը։ Նրա գաղափարները մեծ ազդեցություն են ունեցել հետագա գրողների վրա։ Չնայած կարճ կյանքին՝ նա թողել է հարուստ գրական ժառանգություն։ Նրա անհետացումը մինչև այսօր մնում է հայկական պատմության առեղծվածներից մեկը։ menu_book4 Տեսնել ավելին Համո Սահյան Համո Սահյան 1914 թ․ – 1993 թ․ Համո Սահյանը բնության և հայրենիքի մեծ երգիչն է։ Նրա պոեզիան առանձնանում է պարզությամբ, խորությամբ և ազգային ոգով։Համո Սահյանը հայ բնապատկերային և քնարական պոեզիայի ամենասիրված հեղինակներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, գյուղը և մարդը։ Սահյանի լեզուն պարզ է, բայց խորապես զգացմունքային։ Նրա բանաստեղծությունները հաճախ արտահայտում են կյանքի գեղեցկությունն ու ցավը։ Նա մեծ ազդեցություն է ունեցել ժողովրդական մտածողության վրա։ Նրա գործերը լայնորեն տարածված են Հայաստանում։ Սահյանի պոեզիան համադրվում է պարզության և փիլիսոփայության հետ։ Նրա ստեղծագործությունները հաճախ ուսումնասիրվում են դպրոցներում։ Նա համարվում է 20-րդ դարի մեծ քնարերգուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book2 Տեսնել ավելին