Գրիգորյան, Դավիթ Անդրանիկի

Գրիգորյան, Դավիթ Անդրանիկի

menu_book View materials

Books by this author (1)

Online

Mathematics

Տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին

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

Updated: 2026-09-14
Տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին

Free

Համո Սահյան Համո Սահյան 1914 թ․ – 1993 թ․ Համո Սահյանը բնության և հայրենիքի մեծ երգիչն է։ Նրա պոեզիան առանձնանում է պարզությամբ, խորությամբ և ազգային ոգով։Համո Սահյանը հայ բնապատկերային և քնարական պոեզիայի ամենասիրված հեղինակներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, գյուղը և մարդը։ Սահյանի լեզուն պարզ է, բայց խորապես զգացմունքային։ Նրա բանաստեղծությունները հաճախ արտահայտում են կյանքի գեղեցկությունն ու ցավը։ Նա մեծ ազդեցություն է ունեցել ժողովրդական մտածողության վրա։ Նրա գործերը լայնորեն տարածված են Հայաստանում։ Սահյանի պոեզիան համադրվում է պարզության և փիլիսոփայության հետ։ Նրա ստեղծագործությունները հաճախ ուսումնասիրվում են դպրոցներում։ Նա համարվում է 20-րդ դարի մեծ քնարերգուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book2 Read more Գուրգեն Մահարի Գուրգեն Մահարի 1903 թ․ – 1969 թ․ Գուրգեն Մահարին հայ արձակի և հուշագրության կարևոր ներկայացուցիչներից է։ Նրա ստեղծագործությունները հաճախ հիմնված են սեփական կյանքի փորձի վրա։ Նա նկարագրել է խորհրդային ժամանակների դժվարությունները և բանտային կյանքը։ Նրա հայտնի գործերից է «Ծաղկած փշալարեր» վեպը։ Մահարու լեզուն պարզ է, բայց խորքային և զգացմունքային։ Նրա ստեղծագործություններում կարևոր տեղ ունի մարդու ազատության գաղափարը։ Նա նաև անդրադարձել է պատմական և սոցիալական թեմաներին։ Մահարու գործերը արժեքավոր վկայություն են ժամանակաշրջանի մասին։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից արձակի վրա։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել այսօր։ menu_book4 Read more Գաբրիել Սունդուկյան Գաբրիել Սունդուկյան 1825 թ․ – 1912 թ․ Հայ մեծ դրամատուրգ, արձակագիր և հասարակական գործիչ էր, որը համարվում է հայկական ռեալիստական դրամատուրգիայի հիմնադիրը։ Նա ծնվել է 1825 թվականի հուլիսի 11-ին՝ Թիֆլիսում, և մահացել 1912 թվականի մարտի 29-ին։ Սունդուկյանի ստեղծագործություններում արտացոլված են XIX դարի հայ հասարակության կյանքը, կենցաղը, սովորույթներն ու սոցիալական խնդիրները։ Նրա ամենահայտնի պիեսներից են «Պեպո»-ն, «Խաթաբալա»-ն և «Էլի մեկ զոհ»-ը, որոնք մեծ ժողովրդականություն են վայելում մինչ օրս։ Սունդուկյանը կարևոր դեր է ունեցել հայկական թատրոնի զարգացման գործում, իսկ նրա ստեղծագործությունները դարձել են հայ դրամատուրգիայի դասական նմուշներ։ Նրա անունը կրում է Գաբրիել Սունդուկյանի անվան ազգային ակադեմիական թատրոնը, որը Հայաստանի ամենահեղինակավոր թատրոններից է։ menu_book2 Read more Նար-Դոս (Միքայել Հովհաննիսյան) Նար-Դոս (Միքայել Հովհաննիսյան) 1867 թ․ – 1933 թ․ Նար-Դոսը հայ հոգեբանական արձակի հիմնադիրներից է։ Նրա ստեղծագործություններում մեծ տեղ ունի մարդու ներաշխարհի վերլուծությունը և հոգեբանական հակասությունները։ Նա նկարագրել է քաղաքային կյանքը և հասարակության տարբեր խավերը։ Նրա վեպերն ու պատմվածքները աչքի են ընկնում իրատեսականությամբ։ Նար-Դոսի լեզուն պարզ է, բայց խորքային և դիտողական։ Նրա հերոսները հաճախ կանգնած են բարոյական ընտրությունների առաջ։ Նա մեծ ազդեցություն է ունեցել հայ արձակի զարգացման վրա։ Նրա ստեղծագործությունները մինչ օրս դասական են համարվում։ Նար-Դոսը համարվում է հայ հոգեբանական արձակի հիմնադիրներից մեկը։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել։ menu_book13 Read more Ավետիք Իսահակյան Ավետիք Իսահակյան 1875 թ․ – 1957 թ․ Ավետիք Իսահակյանը հայ քնարերգության մեծագույն ներկայացուցիչներից է։ Նրա պոեզիան լի է սիրո, հայրենիքի, կարոտի և մարդկային զգացմունքների թեմաներով։ Նրա ստեղծագործությունները մեծ ճանաչում են ստացել նաև արտերկրում։Ավետիք Իսահակյանը հայ քնարերգության ամենանշանավոր ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ են զբաղեցնում սերը, հայրենիքը, կարոտը և մարդու ներաշխարհը։ Իսահակյանի լեզուն առանձնանում է մեղմությամբ, երաժշտականությամբ և խոր զգացմունքայնությամբ։ Նրա հայտնի գործերից են «Աբու Լալա Մահարին» և բազմաթիվ քնարական բանաստեղծություններ։ Նա երկար տարիներ ապրել է արտասահմանում, սակայն մշտապես կապված է եղել հայրենիքի հետ։ Իսահակյանի պոեզիան մեծ ճանաչում է ստացել նաև միջազգային մակարդակով։ Նրա գործերը թարգմանվել են բազմաթիվ լեզուներով։ Նա եղել է նաև հասարակական և մշակութային ակտիվ գործիչ։ Իսահակյանի ստեղծագործությունները շարունակում են սիրել տարբեր սերունդներ։ Նա համարվում է հայ պոեզիայի մեծագույն վարպետներից մեկը։ menu_book3 Read more Սիամանթո (Ատոմ Յարճանյան) Սիամանթո (Ատոմ Յարճանյան) 1878 թ․ – 1915 թ․ Սիամանթոն արևմտահայ գրականության ամենահզոր բանաստեղծներից է։ Նրա ստեղծագործությունները նվիրված են ազգային պայքարին, ազատությանը և մարդկային արժանապատվությանը։ Նա մեծ ցավով նկարագրել է հայ ժողովրդի ողբերգական ճակատագիրը։ Սիամանթոյի լեզուն ուժեղ է, կրակոտ և հուզական։ Նրա պոեզիան հաճախ արտահայտում է բողոք և արդարության պահանջ։ Հայոց ցեղասպանության տարիներին նա զոհվել է օսմանյան իշխանությունների կողմից։ Նրա գործերը դարձել են ազգային հիշողության կարևոր մաս։ Սիամանթոն մեծ ազդեցություն է ունեցել հետագա հայ բանաստեղծների վրա։ Նրա ստեղծագործությունները շարունակում են արդիական մնալ։ Նա համարվում է ազատատենչ պոեզիայի խորհրդանիշներից մեկը։ menu_book2 Read more