Չուբարյան, Անահիտ Արտաշեսի

Չուբարյան, Անահիտ Արտաշեսի

menu_book View materials

Books by this author (1)

Online

Mathematics

Исследование сложностных характеристик выводов в логических и логико-математических системах

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

Updated: 2026-10-15
Исследование сложностных характеристик выводов в логических и логико-математических системах

Free

Վահան Թոթովենց Վահան Թոթովենց 1889 թ․ – 1938 թ․ Վահան Թոթովենց հայ արձակագիր, դրամատուրգ և լրագրող է, որը համարվում է XX դարի հայ գրականության կարևոր դեմքերից մեկը։ Նրա ստեղծագործությունները առանձնանում են իրականության խոր ու պատկերավոր նկարագրություններով, որտեղ արտացոլված են հայ ժողովրդի կյանքը, ցավը և դիմադրողականությունը պատմական ծանր ժամանակներում։ Թոթովենցի գրականության հիմնական թեմաներն են արևմտահայ կյանքի պատկերումը, պատերազմները, գաղթը և մարդու ճակատագիրը բարդ սոցիալական ու քաղաքական պայմաններում։ Նրա գործերում հաճախ զգացվում է անձնական փորձի ազդեցությունը, ինչը դրանք դարձնում է ավելի անկեղծ և ազդեցիկ։ Նրա ամենահայտնի ստեղծագործություններից է «Հին Հռոմեական ճանապարհի վրա» վեպը, որտեղ նա նկարագրում է իր մանկությունը և արևմտահայ իրականությունը՝ հարուստ ու կենդանի լեզվով։ Թոթովենցը նաև զբաղվել է լրագրությամբ և հասարակական գործունեությամբ՝ մասնակցելով ժամանակի մտավոր ու քաղաքական կյանքին։ Առաջին համաշխարհային պատերազմի տարիներին նա կապեր է ունեցել հայկական ռազմական ու ազգային շրջանակների հետ, ինչը մեծ ազդեցություն է ունեցել նրա աշխարհայացքի վրա։ 1938 թվականին, ստալինյան բռնաճնշումների ժամանակ, նա ձերբակալվել և գնդակահարվել է։ Չնայած իր կյանքի ողբերգական ավարտին, Վահան Թոթովենցի ստեղծագործությունները այսօր համարվում են հայ գրականության արժեքավոր մաս՝ իրենց պատմական և գեղարվեստական նշանակությամբ։ menu_book2 Read more Համո Սահյան Համո Սահյան 1914 թ․ – 1993 թ․ Համո Սահյանը բնության և հայրենիքի մեծ երգիչն է։ Նրա պոեզիան առանձնանում է պարզությամբ, խորությամբ և ազգային ոգով։Համո Սահյանը հայ բնապատկերային և քնարական պոեզիայի ամենասիրված հեղինակներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, գյուղը և մարդը։ Սահյանի լեզուն պարզ է, բայց խորապես զգացմունքային։ Նրա բանաստեղծությունները հաճախ արտահայտում են կյանքի գեղեցկությունն ու ցավը։ Նա մեծ ազդեցություն է ունեցել ժողովրդական մտածողության վրա։ Նրա գործերը լայնորեն տարածված են Հայաստանում։ Սահյանի պոեզիան համադրվում է պարզության և փիլիսոփայության հետ։ Նրա ստեղծագործությունները հաճախ ուսումնասիրվում են դպրոցներում։ Նա համարվում է 20-րդ դարի մեծ քնարերգուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book2 Read more Րաֆֆի (Հակոբ Մելիք-Հակոբյան) Րաֆֆի (Հակոբ Մելիք-Հակոբյան) 1835 թ․ – 1888 թ․ Րաֆֆին հայ պատմավեպի ամենահայտնի ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ են զբաղեցնում ազգային ազատագրության և հայրենասիրության թեմաները։ «Սամվել», «Խենթը» և «Դավիթ Բեկ» վեպերը համարվում են հայ գրականության դասականներ։ Նա ստեղծել է ուժեղ և հիշվող հերոսներ։ Րաֆֆու կերպարները պայքարում են հանուն ազատության և արդարության։ Նրա գրքերը մեծ ազդեցություն են ունեցել հայ երիտասարդության վրա։ Նա կարողացել է պատմությունը ներկայացնել հետաքրքիր և կենդանի ձևով։ Նրա ստեղծագործությունները մինչ օրս լայնորեն ընթերցվում են։ Րաֆֆին համարվում է ազգային մտածողության ձևավորման կարևոր գործիչ։ Նրա անունը մշտապես կապված է հայրենասիրական գրականության հետ։ menu_book15 Read more Ավետիք Իսահակյան Ավետիք Իսահակյան 1875 թ․ – 1957 թ․ Ավետիք Իսահակյանը հայ քնարերգության մեծագույն ներկայացուցիչներից է։ Նրա պոեզիան լի է սիրո, հայրենիքի, կարոտի և մարդկային զգացմունքների թեմաներով։ Նրա ստեղծագործությունները մեծ ճանաչում են ստացել նաև արտերկրում։Ավետիք Իսահակյանը հայ քնարերգության ամենանշանավոր ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ են զբաղեցնում սերը, հայրենիքը, կարոտը և մարդու ներաշխարհը։ Իսահակյանի լեզուն առանձնանում է մեղմությամբ, երաժշտականությամբ և խոր զգացմունքայնությամբ։ Նրա հայտնի գործերից են «Աբու Լալա Մահարին» և բազմաթիվ քնարական բանաստեղծություններ։ Նա երկար տարիներ ապրել է արտասահմանում, սակայն մշտապես կապված է եղել հայրենիքի հետ։ Իսահակյանի պոեզիան մեծ ճանաչում է ստացել նաև միջազգային մակարդակով։ Նրա գործերը թարգմանվել են բազմաթիվ լեզուներով։ Նա եղել է նաև հասարակական և մշակութային ակտիվ գործիչ։ Իսահակյանի ստեղծագործությունները շարունակում են սիրել տարբեր սերունդներ։ Նա համարվում է հայ պոեզիայի մեծագույն վարպետներից մեկը։ menu_book3 Read more Սիլվա Կապուտիկյան Սիլվա Կապուտիկյան 1919 թ․ – 2006 թ․ Սիլվա Կապուտիկյանը հայ պոեզիայի ամենաազդեցիկ կին հեղինակներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն հայրենիքը, սերը, լեզուն և ազգային ինքնությունը։ Կապուտիկյանը գրել է բազմաթիվ բանաստեղծություններ և հրապարակախոսական նյութեր։ Նրա լեզուն պարզ է, բայց խորքային և զգացմունքային։ Նա մեծ ուշադրություն է դարձրել հայ լեզվի պահպանման հարցերին։ Նրա գործերը լայն ճանաչում են ստացել ինչպես Հայաստանում, այնպես էլ սփյուռքում։ Կապուտիկյանը նաև ակտիվ հասարակական գործիչ էր։ Նրա ստեղծագործությունները հաճախ նվիրված են ազգային արժեքներին։ Նա համարվում է հայ կին պոեզիայի ամենակարևոր դեմքերից մեկը։ Նրա ժառանգությունը շարունակում է մնալ ազդեցիկ։ menu_book2 Read more Դերենիկ Դեմիրճյան Դերենիկ Դեմիրճյան 1877 թ․ – 1956 թ․ Դերենիկ Դեմիրճյանը գրող, դրամատուրգ և հասարակական գործիչ էր։ Նա առավել հայտնի է իր «Վարդանանք» պատմական վեպով, որը հայ գրականության կարևորագույն ստեղծագործություններից է։ Դեմիրճյանը մեծ հետաքրքրություն է ցուցաբերել հայկական պատմության և ազգային հերոսների նկատմամբ։ Նրա գործերում հաճախ հանդիպում են հայրենասիրական գաղափարներ։ Նա նաև գրել է բազմաթիվ պիեսներ և պատմվածքներ։ Դեմիրճյանի լեզուն հարուստ է և արտահայտիչ։ Նրա ստեղծագործությունները մեծ ազդեցություն են ունեցել հայ պատմական արձակի զարգացման վրա։ Նա կարևոր դեր է ունեցել նաև հայկական թատրոնի զարգացման գործում։ Նրա աշխատանքները մինչ օրս լայնորեն ուսումնասիրվում են։ Դեմիրճյանը համարվում է հայ դասական գրականության կարևոր ներկայացուցիչներից մեկը։ menu_book6 Read more