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

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

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

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

Օնլայն

Ինֆորմատիկա

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

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

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

Անվճար

Տեսնել ավելին

arrow_right_alt

Այլ հեղինակներ

Բոլոր հեղինակները
Նար-Դոս (Միքայել Հովհաննիսյան) Նար-Դոս (Միքայել Հովհաննիսյան) 1867 թ․ – 1933 թ․ Նար-Դոսը հայ հոգեբանական արձակի հիմնադիրներից է։ Նրա ստեղծագործություններում մեծ տեղ ունի մարդու ներաշխարհի վերլուծությունը և հոգեբանական հակասությունները։ Նա նկարագրել է քաղաքային կյանքը և հասարակության տարբեր խավերը։ Նրա վեպերն ու պատմվածքները աչքի են ընկնում իրատեսականությամբ։ Նար-Դոսի լեզուն պարզ է, բայց խորքային և դիտողական։ Նրա հերոսները հաճախ կանգնած են բարոյական ընտրությունների առաջ։ Նա մեծ ազդեցություն է ունեցել հայ արձակի զարգացման վրա։ Նրա ստեղծագործությունները մինչ օրս դասական են համարվում։ Նար-Դոսը համարվում է հայ հոգեբանական արձակի հիմնադիրներից մեկը։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել։ menu_book13 Տեսնել ավելին Սիամանթո (Ատոմ Յարճանյան) Սիամանթո (Ատոմ Յարճանյան) 1878 թ․ – 1915 թ․ Սիամանթոն արևմտահայ գրականության ամենահզոր բանաստեղծներից է։ Նրա ստեղծագործությունները նվիրված են ազգային պայքարին, ազատությանը և մարդկային արժանապատվությանը։ Նա մեծ ցավով նկարագրել է հայ ժողովրդի ողբերգական ճակատագիրը։ Սիամանթոյի լեզուն ուժեղ է, կրակոտ և հուզական։ Նրա պոեզիան հաճախ արտահայտում է բողոք և արդարության պահանջ։ Հայոց ցեղասպանության տարիներին նա զոհվել է օսմանյան իշխանությունների կողմից։ Նրա գործերը դարձել են ազգային հիշողության կարևոր մաս։ Սիամանթոն մեծ ազդեցություն է ունեցել հետագա հայ բանաստեղծների վրա։ Նրա ստեղծագործությունները շարունակում են արդիական մնալ։ Նա համարվում է ազատատենչ պոեզիայի խորհրդանիշներից մեկը։ menu_book2 Տեսնել ավելին Դանիել Վարուժան Դանիել Վարուժան 1884 թ․ – 1915 թ․ Դանիել Վարուժանը արևմտահայ պոեզիայի ամենատաղանդավոր ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն բնությունը, գյուղական կյանքը և մարդու ստեղծագործ ուժը։ Վարուժանը հիանում էր աշխատանքի գեղեցկությամբ և մարդու հոգևոր ուժով։ Նրա բանաստեղծությունները հարուստ են պատկերներով և զգացմունքներով։ Նա ձգտել է վերածնել ազգային մշակութային արժեքները։ Հայոց ցեղասպանության ժամանակ նա ձերբակալվել և սպանվել է։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ պոեզիայի զարգացման վրա։ Վարուժանի ստեղծագործությունները մինչ օրս լայնորեն ընթերցվում են։ Նա համարվում է արևմտահայ գրականության դասականներից մեկը։ menu_book5 Տեսնել ավելին Մուրացան (Գրիգոր Տեր-Հովհաննիսյան) Մուրացան (Գրիգոր Տեր-Հովհաննիսյան) 1854 թ․ – 1908 թ․ Մուրացանը հայ պատմական արձակի կարևոր ներկայացուցիչներից է։ Նրա ամենահայտնի ստեղծագործությունը «Գևորգ Մարզպետունի» վեպն է։ Վեպում ներկայացվում են Հայաստանի պատմության կարևոր էջերը։ Մուրացանը մեծ հետաքրքրություն ուներ ազգային անցյալի նկատմամբ։ Նրա ստեղծագործությունները ներշնչված են հայրենասիրական գաղափարներով։ Նա ձգտել է ընթերցողին ծանոթացնել հայկական պատմությանը։ Նրա կերպարները հաճախ մարմնավորում են քաջություն և նվիրվածություն։ Մուրացանի լեզուն հարուստ է և արտահայտիչ։ Նրա գրքերը մինչ օրս մեծ հետաքրքրությամբ ընթերցվում են։ Նա կարևոր տեղ է զբաղեցնում հայ պատմավեպի զարգացման մեջ։ menu_book19 Տեսնել ավելին Ակսել Բակունց Ակսել Բակունց 1899 թ․ – 1937 թ․ Ակսել Բակունցը հայ արձակի ամենաբարձր մակարդակի վարպետներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունի գյուղական կյանքի, մարդու և բնության ներդաշնակության պատկերումը։ Բակունցը առանձնանում է նուրբ հոգեբանական դիտարկումներով և լեզվական ճշգրտությամբ։ Նրա հայտնի գործերից են «Ալպիական մանուշակ», «Մթնաձոր» և այլ պատմվածքներ։ Նա համարվում է հայ կարճ արձակի անգերազանցելի հեղինակներից մեկը։ Բակունցի ստեղծագործությունները լի են մարդկային խորությամբ և լուռ տխրությամբ։ Նրա հերոսները հաճախ պայքարում են սոցիալական դժվարությունների հետ։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ արձակի զարգացման վրա։ Նա զոհվել է ստալինյան բռնաճնշումների ժամանակ։ menu_book6 Տեսնել ավելին Պարույր Սևակ Պարույր Սևակ 1924 թ․ – 1971 թ․ Պարույր Սևակը հայ գրականության ամենախոր և վերլուծական մտածող բանաստեղծներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն մարդու ներաշխարհը, հասարակությունը և պատմական հիշողությունը։ Սևակը հայտնի է իր «Անլռելի զանգակատուն» պոեմով, որը նվիրված է Կոմիտասին։ Նրա լեզուն համարձակ է, նորարարական և մտավոր։ Սևակը հաճախ քննադատել է հասարակական խնդիրները և կեղծ արժեքները։ Նրա պոեզիան համադրում է զգացմունքներն ու ինտելեկտը։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից պոեզիայի վրա։ Նրա ստեղծագործությունները լայնորեն ուսումնասիրվում են։ Սևակը համարվում է 20-րդ դարի ամենաազդեցիկ բանաստեղծներից մեկը։ Նրա ժառանգությունը շարունակում է ոգեշնչել նոր սերունդներին։ menu_book14 Տեսնել ավելին