Թամազյան, Հակոբ Արամի

Թամազյան, Հակոբ Արամի

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

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

Օնլայն

Մաթեմատիկա

Արտածումների բարդության հետազոտում ասույթային հաշվի մի շարք հայտնի և նոր կառուցված համակարգերում

Այս աշխատանքը ուսումնասիրում է արտածումների բարդության (proof complexity) հիմնախնդիրը ասույթային հաշվի տարբեր հայտնի և նոր կառուցված համակարգերում՝ կենտրոնանալով այն վրա, թե ինչպես են փոխվում ապացույցների երկարությունը, կառուցվածքը և հաշվարկային ռեսուրսների պահանջները տարբեր տրամաբանական համակարգերում։ Աշխատությունում վերլուծվում են դասական ապացուցման համակարգեր, ինչպիսիք են Հիլբերտյան համակարգերը, բնական դեդուկցիան և ռեզոլյուցիոն մեթոդները, ինչպես նաև նորագույն մոտեցումներ, որոնք կիրառվում են ավտոմատացված ապացուցման և հաշվողական բարդության տեսության մեջ։ Հեղինակը դիտարկում է, թե ինչպես են տարբեր համակարգերում նույն տրամաբանական պնդումների արտածումները կարող ունենալ զգալիորեն տարբեր բարդություն՝ թե՛ քայլերի քանակի, թե՛ կառուցվածքային խորության տեսանկյունից, և ինչպես են այդ տարբերությունները կապված հաշվարկային բարդության դասերի հետ։ Աշխատությունը նաև անդրադառնում է ապացույցների կոմպրեսիայի, էքսպոնենցիալ երկարությունների առաջացման պատճառներին և այն հարցին, թե արդյոք հնարավոր է գտնել ավելի արդյունավետ ապացուցման համակարգեր, որոնք կկրճատեն արտածումների բարդությունը առանց արտահայտչականության կորստի։ Բացի այդ, քննարկվում են ժամանակակից արդյունքներ proof complexity-ի և SAT-խնդիրների լուծման ալգորիթմների միջև կապերի վերաբերյալ, ինչը կարևոր է ինչպես տեսական ինֆորմատիկայի, այնպես էլ կիրառական ալգորիթմների զարգացման համար։ Ընդհանուր առմամբ, աշխատանքը ներկայացնում է խորքային վերլուծություն այն մասին, թե ինչպես են տրամաբանական համակարգերի կառուցվածքային հատկությունները ազդում արտածումների բարդության վրա և ինչ սահմանափակումներ են առաջանում ավտոմատացված դատողությունների համակարգերում։

Թարմացվել է՝ 2026-09-19
Արտածումների բարդության հետազոտում ասույթային հաշվի մի շարք հայտնի և նոր կառուցված համակարգերում

Անվճար

Հովհաննես Թումանյան Հովհաննես Թումանյան 1869 թ․ – 1923 թ․ Հովհաննես Թումանյանը հայ ժողովրդի ամենասիրված գրողներից և բանաստեղծներից է։ Նա ծնվել է Լոռու Դսեղ գյուղում և իր ստեղծագործություններում հաճախ պատկերել է ժողովրդական կյանքն ու ավանդույթները։ Թումանյանը գրել է հեքիաթներ, պոեմներ, պատմվածքներ և բանաստեղծություններ։ Նրա ամենահայտնի գործերից են «Գիքոր», «Անուշ», «Քաջ Նազար» և «Թմկաբերդի առումը»։ Նրա լեզուն պարզ է, բնական և հասկանալի բոլոր սերունդների համար։ Թումանյանի ստեղծագործությունները լի են հումորով, իմաստությամբ և մարդասիրությամբ։ Նա նաև ակտիվ հասարակական գործիչ էր և զբաղվել է բարեգործությամբ։ Նրա գործերը թարգմանվել են բազմաթիվ լեզուներով։ Թումանյանը հաճախ անվանվում է «Ամենայն հայոց բանաստեղծ»։ Նրա ժառանգությունը շարունակում է մնալ հայկական մշակույթի հիմնասյուներից մեկը։ menu_book9 Տեսնել ավելին Միսաք Մեծարենց Միսաք Մեծարենց 1886 թ․ – 1908 թ․ Միսաք Մեծարենցը արևմտահայ քնարական պոեզիայի ամենապայծառ ներկայացուցիչներից է։ Չնայած կարճ կյանքին, նա ստեղծել է բարձրարժեք գրական ժառանգություն։Միսաք Մեծարենցը արևմտահայ քնարերգության ամենապայծառ անուններից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, սերը և կյանքի գեղեցկությունը։ Չնայած կարճ կյանքին՝ նա հասցրել է ստեղծել բարձրարժեք պոեզիա։ Նրա լեզուն երաժշտական է և նուրբ։ Մեծարենցը մեծ ազդեցություն է ունեցել հայ ռոմանտիկ պոեզիայի վրա։ Նրա բանաստեղծությունները լի են լույսով և զգացմունքայնությամբ։ Նա համարվում է արևմտահայ պոեզիայի ամենաքնարական ձայներից մեկը։ Նրա գործերը մինչ օրս սիրով ընթերցվում են։ Նրա ժառանգությունը փոքր ծավալով, բայց մեծ արժեք ունի։ Նա հայ գրականության բացառիկ տաղանդներից է։ menu_book2 Տեսնել ավելին Ակսել Բակունց Ակսել Բակունց 1899 թ․ – 1937 թ․ Ակսել Բակունցը հայ արձակի ամենաբարձր մակարդակի վարպետներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունի գյուղական կյանքի, մարդու և բնության ներդաշնակության պատկերումը։ Բակունցը առանձնանում է նուրբ հոգեբանական դիտարկումներով և լեզվական ճշգրտությամբ։ Նրա հայտնի գործերից են «Ալպիական մանուշակ», «Մթնաձոր» և այլ պատմվածքներ։ Նա համարվում է հայ կարճ արձակի անգերազանցելի հեղինակներից մեկը։ Բակունցի ստեղծագործությունները լի են մարդկային խորությամբ և լուռ տխրությամբ։ Նրա հերոսները հաճախ պայքարում են սոցիալական դժվարությունների հետ։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ արձակի զարգացման վրա։ Նա զոհվել է ստալինյան բռնաճնշումների ժամանակ։ menu_book5 Տեսնել ավելին Պարույր Սևակ Պարույր Սևակ 1924 թ․ – 1971 թ․ Պարույր Սևակը հայ գրականության ամենախոր և վերլուծական մտածող բանաստեղծներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն մարդու ներաշխարհը, հասարակությունը և պատմական հիշողությունը։ Սևակը հայտնի է իր «Անլռելի զանգակատուն» պոեմով, որը նվիրված է Կոմիտասին։ Նրա լեզուն համարձակ է, նորարարական և մտավոր։ Սևակը հաճախ քննադատել է հասարակական խնդիրները և կեղծ արժեքները։ Նրա պոեզիան համադրում է զգացմունքներն ու ինտելեկտը։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից պոեզիայի վրա։ Նրա ստեղծագործությունները լայնորեն ուսումնասիրվում են։ Սևակը համարվում է 20-րդ դարի ամենաազդեցիկ բանաստեղծներից մեկը։ Նրա ժառանգությունը շարունակում է ոգեշնչել նոր սերունդներին։ menu_book9 Տեսնել ավելին Վահան Թոթովենց Վահան Թոթովենց 1894 թ․ – 1938 թ․ Վահան Թոթովենց հայ արձակագիր, դրամատուրգ և լրագրող է, որը համարվում է XX դարի հայ գրականության կարևոր դեմքերից մեկը։ Նրա ստեղծագործությունները առանձնանում են իրականության խոր ու պատկերավոր նկարագրություններով, որտեղ արտացոլված են հայ ժողովրդի կյանքը, ցավը և դիմադրողականությունը պատմական ծանր ժամանակներում։ Թոթովենցի գրականության հիմնական թեմաներն են արևմտահայ կյանքի պատկերումը, պատերազմները, գաղթը և մարդու ճակատագիրը բարդ սոցիալական ու քաղաքական պայմաններում։ Նրա գործերում հաճախ զգացվում է անձնական փորձի ազդեցությունը, ինչը դրանք դարձնում է ավելի անկեղծ և ազդեցիկ։ Նրա ամենահայտնի ստեղծագործություններից է «Հին Հռոմեական ճանապարհի վրա» վեպը, որտեղ նա նկարագրում է իր մանկությունը և արևմտահայ իրականությունը՝ հարուստ ու կենդանի լեզվով։ Թոթովենցը նաև զբաղվել է լրագրությամբ և հասարակական գործունեությամբ՝ մասնակցելով ժամանակի մտավոր ու քաղաքական կյանքին։ Առաջին համաշխարհային պատերազմի տարիներին նա կապեր է ունեցել հայկական ռազմական ու ազգային շրջանակների հետ, ինչը մեծ ազդեցություն է ունեցել նրա աշխարհայացքի վրա։ 1938 թվականին, ստալինյան բռնաճնշումների ժամանակ, նա ձերբակալվել և գնդակահարվել է։ Չնայած իր կյանքի ողբերգական ավարտին, Վահան Թոթովենցի ստեղծագործությունները այսօր համարվում են հայ գրականության արժեքավոր մաս՝ իրենց պատմական և գեղարվեստական նշանակությամբ։ menu_book2 Տեսնել ավելին Համո Սահյան Համո Սահյան 1914 թ․ – 1993 թ․ Համո Սահյանը բնության և հայրենիքի մեծ երգիչն է։ Նրա պոեզիան առանձնանում է պարզությամբ, խորությամբ և ազգային ոգով։Համո Սահյանը հայ բնապատկերային և քնարական պոեզիայի ամենասիրված հեղինակներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, գյուղը և մարդը։ Սահյանի լեզուն պարզ է, բայց խորապես զգացմունքային։ Նրա բանաստեղծությունները հաճախ արտահայտում են կյանքի գեղեցկությունն ու ցավը։ Նա մեծ ազդեցություն է ունեցել ժողովրդական մտածողության վրա։ Նրա գործերը լայնորեն տարածված են Հայաստանում։ Սահյանի պոեզիան համադրվում է պարզության և փիլիսոփայության հետ։ Նրա ստեղծագործությունները հաճախ ուսումնասիրվում են դպրոցներում։ Նա համարվում է 20-րդ դարի մեծ քնարերգուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book2 Տեսնել ավելին