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

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

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

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

Օնլայն

Ինֆորմատիկա

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

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

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

Անվճար

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

arrow_right_alt

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

Բոլոր հեղինակները
Գուրգեն Մահարի Գուրգեն Մահարի 1903 թ․ – 1969 թ․ Գուրգեն Մահարին հայ արձակի և հուշագրության կարևոր ներկայացուցիչներից է։ Նրա ստեղծագործությունները հաճախ հիմնված են սեփական կյանքի փորձի վրա։ Նա նկարագրել է խորհրդային ժամանակների դժվարությունները և բանտային կյանքը։ Նրա հայտնի գործերից է «Ծաղկած փշալարեր» վեպը։ Մահարու լեզուն պարզ է, բայց խորքային և զգացմունքային։ Նրա ստեղծագործություններում կարևոր տեղ ունի մարդու ազատության գաղափարը։ Նա նաև անդրադարձել է պատմական և սոցիալական թեմաներին։ Մահարու գործերը արժեքավոր վկայություն են ժամանակաշրջանի մասին։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից արձակի վրա։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել այսօր։ menu_book4 Նար-Դոս (Միքայել Հովհաննիսյան) Նար-Դոս (Միքայել Հովհաննիսյան) 1867 թ․ – 1933 թ․ Նար-Դոսը հայ հոգեբանական արձակի հիմնադիրներից է։ Նրա ստեղծագործություններում մեծ տեղ ունի մարդու ներաշխարհի վերլուծությունը և հոգեբանական հակասությունները։ Նա նկարագրել է քաղաքային կյանքը և հասարակության տարբեր խավերը։ Նրա վեպերն ու պատմվածքները աչքի են ընկնում իրատեսականությամբ։ Նար-Դոսի լեզուն պարզ է, բայց խորքային և դիտողական։ Նրա հերոսները հաճախ կանգնած են բարոյական ընտրությունների առաջ։ Նա մեծ ազդեցություն է ունեցել հայ արձակի զարգացման վրա։ Նրա ստեղծագործությունները մինչ օրս դասական են համարվում։ Նար-Դոսը համարվում է հայ հոգեբանական արձակի հիմնադիրներից մեկը։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել։ menu_book13 Հովհաննես Շիրազ Հովհաննես Շիրազ 1915 թ․ – 1984 թ․ Հովհաննես Շիրազը հայ ժողովրդի ամենասիրված բանաստեղծներից է։ Նրա ստեղծագործությունները խորապես կապված են հայրենիքի, մոր կերպարի և ազգային ցավի հետ։ Շիրազի լեզուն պարզ է, ժողովրդական և շատ հուզական։ Նրա հայտնի գործերից են «Հայոց դանթեականը», «Մայրս» և բազմաթիվ հայրենասիրական բանաստեղծություններ։ Նա հաճախ արտահայտել է ժողովրդի ցավն ու ուրախությունը։ Շիրազը մեծ ազդեցություն է ունեցել սերունդների վրա իր անմիջական ոճով։ Նրա պոեզիան հաճախ արտասանվում է դպրոցներում և միջոցառումների ժամանակ։ Նա համարվում է 20-րդ դարի ամենաժողովրդական բանաստեղծներից մեկը։ Նրա ստեղծագործությունները դարձել են ազգային հիշողության մաս։ Շիրազը մինչ օրս սիրելի է ընթերցողների լայն շրջանակի համար։ menu_book6 Հրանտ Մաթևոսյան Հրանտ Մաթևոսյան 1935 թ․ – 2002 թ․ Հրանտ Մաթևոսյանը համարվում է 20-րդ դարի հայ արձակի մեծագույն վարպետներից մեկը։ Նրա ստեղծագործություններում խորությամբ ներկայացված են գյուղական կյանքը, մարդկային հարաբերությունները և ազգային մտածողությունը։Հրանտ Մաթևոսյանը հայ արձակի ամենամեծ վարպետներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունի գյուղական աշխարհի, մարդու և բնության փոխհարաբերությունը։ Նա հայտնի է իր խորը հոգեբանական դիտարկումներով և յուրահատուկ լեզվով։ Նրա գործերը հաճախ ներկայացնում են մարդու ներքին պայքարը և ազգային մտածողությունը։ Մաթևոսյանի հայտնի գործերից են «Մենք ենք, մեր սարերը» և բազմաթիվ պատմվածքներ։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից գրականության վրա։ Նրա լեզուն պատկերավոր և փիլիսոփայական է։ Նրա ստեղծագործությունները մինչ օրս ուսումնասիրվում են։ Նա համարվում է 20-րդ դարի հայ արձակի հիմնասյուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book9 Սիամանթո (Ատոմ Յարճանյան) Սիամանթո (Ատոմ Յարճանյան) 1878 թ․ – 1915 թ․ Սիամանթոն արևմտահայ գրականության ամենահզոր բանաստեղծներից է։ Նրա ստեղծագործությունները նվիրված են ազգային պայքարին, ազատությանը և մարդկային արժանապատվությանը։ Նա մեծ ցավով նկարագրել է հայ ժողովրդի ողբերգական ճակատագիրը։ Սիամանթոյի լեզուն ուժեղ է, կրակոտ և հուզական։ Նրա պոեզիան հաճախ արտահայտում է բողոք և արդարության պահանջ։ Հայոց ցեղասպանության տարիներին նա զոհվել է օսմանյան իշխանությունների կողմից։ Նրա գործերը դարձել են ազգային հիշողության կարևոր մաս։ Սիամանթոն մեծ ազդեցություն է ունեցել հետագա հայ բանաստեղծների վրա։ Նրա ստեղծագործությունները շարունակում են արդիական մնալ։ Նա համարվում է ազատատենչ պոեզիայի խորհրդանիշներից մեկը։ menu_book2 Խաչատուր Աբովյան Խաչատուր Աբովյան 1809 թ․ – 1848 թ․ Խաչատուր Աբովյանը նոր հայ գրականության հիմնադիրն է։ Նա առաջիններից էր, ով գրական ստեղծագործություններ գրեց աշխարհաբար հայերենով։ Նրա ամենահայտնի ստեղծագործությունը «Վերք Հայաստանի» վեպն է։ Այդ վեպը նկարագրում է հայ ժողովրդի պայքարը և ազգային ոգին։ Աբովյանը եղել է նաև մանկավարժ և լուսավորիչ։ Նա մեծ ուշադրություն է դարձրել կրթության զարգացմանը։ Իր գործունեությամբ նպաստել է ժամանակակից հայ մշակույթի ձևավորմանը։ Նրա գաղափարները մեծ ազդեցություն են ունեցել հետագա գրողների վրա։ Չնայած կարճ կյանքին՝ նա թողել է հարուստ գրական ժառանգություն։ Նրա անհետացումը մինչև այսօր մնում է հայկական պատմության առեղծվածներից մեկը։ menu_book4