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

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

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

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

Օնլայն

Մաթեմատիկա

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

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

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

Անվճար

Վահան Տերյան Վահան Տերյան 1885 թ․ – 1920 թ․ Վահան Տերյանը հայ քնարական պոեզիայի ամենասիրելի հեղինակներից է։ Նրա ստեղծագործություններում արտահայտված են սերը, մենությունը, կարոտը և կյանքի անցողիկությունը։ Տերյանի բանաստեղծությունները հայտնի են իրենց երաժշտականությամբ և նուրբ տրամադրությամբ։ Նա մեծ ազդեցություն է կրել եվրոպական խորհրդապաշտությունից։ Նրա պոեզիան նոր շունչ է բերել հայկական գրականությանը։ Տերյանի լեզուն մեղմ է, գեղեցիկ և հուզական։ Նրա բազմաթիվ բանաստեղծություններ դարձել են երգեր։ Նա մեծ ազդեցություն է ունեցել հետագա սերունդների բանաստեղծների վրա։ Տերյանի ստեղծագործությունները շարունակում են մնալ ամենաընթերցվողներից։ Նա համարվում է հայ քնարերգության մեծագույն վարպետներից մեկը։ menu_book5 Տեսնել ավելին Հովհաննես Շիրազ Հովհաննես Շիրազ 1915 թ․ – 1984 թ․ Հովհաննես Շիրազը հայ ժողովրդի ամենասիրված բանաստեղծներից է։ Նրա ստեղծագործությունները խորապես կապված են հայրենիքի, մոր կերպարի և ազգային ցավի հետ։ Շիրազի լեզուն պարզ է, ժողովրդական և շատ հուզական։ Նրա հայտնի գործերից են «Հայոց դանթեականը», «Մայրս» և բազմաթիվ հայրենասիրական բանաստեղծություններ։ Նա հաճախ արտահայտել է ժողովրդի ցավն ու ուրախությունը։ Շիրազը մեծ ազդեցություն է ունեցել սերունդների վրա իր անմիջական ոճով։ Նրա պոեզիան հաճախ արտասանվում է դպրոցներում և միջոցառումների ժամանակ։ Նա համարվում է 20-րդ դարի ամենաժողովրդական բանաստեղծներից մեկը։ Նրա ստեղծագործությունները դարձել են ազգային հիշողության մաս։ Շիրազը մինչ օրս սիրելի է ընթերցողների լայն շրջանակի համար։ menu_book6 Տեսնել ավելին Ակսել Բակունց Ակսել Բակունց 1899 թ․ – 1937 թ․ Ակսել Բակունցը հայ արձակի ամենաբարձր մակարդակի վարպետներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունի գյուղական կյանքի, մարդու և բնության ներդաշնակության պատկերումը։ Բակունցը առանձնանում է նուրբ հոգեբանական դիտարկումներով և լեզվական ճշգրտությամբ։ Նրա հայտնի գործերից են «Ալպիական մանուշակ», «Մթնաձոր» և այլ պատմվածքներ։ Նա համարվում է հայ կարճ արձակի անգերազանցելի հեղինակներից մեկը։ Բակունցի ստեղծագործությունները լի են մարդկային խորությամբ և լուռ տխրությամբ։ Նրա հերոսները հաճախ պայքարում են սոցիալական դժվարությունների հետ։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ արձակի զարգացման վրա։ Նա զոհվել է ստալինյան բռնաճնշումների ժամանակ։ menu_book6 Տեսնել ավելին Մխիթար Գոշ Մխիթար Գոշ 1130 թ․ – 1213 թ․ Մխիթար Գոշ միջնադարյան հայ մեծ մտածող, իրավագետ, առակագիր, մանկավարժ և հասարակական գործիչ էր, որը ապրել է XII–XIII դարերում։ Նա հայտնի է որպես հայ իրավագիտության ամենանշանավոր ներկայացուցիչներից մեկը։ Նրա ամենահայտնի աշխատությունը «Դատաստանագիրքն» է, որը համարվում է հայկական իրավունքի կարևորագույն հուշարձաններից և երկար ժամանակ ծառայել է որպես օրենքների ժողովածու։ Մխիթար Գոշը գրել է նաև բազմաթիվ առակներ, որոնց միջոցով քարոզել է բարություն, արդարություն, իմաստություն և ազնվություն։ Նա մեծ դեր է ունեցել կրթության և մշակույթի զարգացման գործում, հիմնել է դպրոցներ և նպաստել գիտելիքների տարածմանը։ Գոշի ստեղծագործությունները կարևոր նշանակություն ունեն հայ գրականության, իրավունքի և մանկավարժության պատմության մեջ։ Նրա անունը մինչ օրս համարվում է իմաստության, արդարադատության և ազգային մշակույթի խորհրդանիշ։ menu_book5 Տեսնել ավելին Միսաք Մեծարենց Միսաք Մեծարենց 1886 թ․ – 1908 թ․ Միսաք Մեծարենցը արևմտահայ քնարական պոեզիայի ամենապայծառ ներկայացուցիչներից է։ Չնայած կարճ կյանքին, նա ստեղծել է բարձրարժեք գրական ժառանգություն։Միսաք Մեծարենցը արևմտահայ քնարերգության ամենապայծառ անուններից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, սերը և կյանքի գեղեցկությունը։ Չնայած կարճ կյանքին՝ նա հասցրել է ստեղծել բարձրարժեք պոեզիա։ Նրա լեզուն երաժշտական է և նուրբ։ Մեծարենցը մեծ ազդեցություն է ունեցել հայ ռոմանտիկ պոեզիայի վրա։ Նրա բանաստեղծությունները լի են լույսով և զգացմունքայնությամբ։ Նա համարվում է արևմտահայ պոեզիայի ամենաքնարական ձայներից մեկը։ Նրա գործերը մինչ օրս սիրով ընթերցվում են։ Նրա ժառանգությունը փոքր ծավալով, բայց մեծ արժեք ունի։ Նա հայ գրականության բացառիկ տաղանդներից է։ menu_book2 Տեսնել ավելին Րաֆֆի (Հակոբ Մելիք-Հակոբյան) Րաֆֆի (Հակոբ Մելիք-Հակոբյան) 1835 թ․ – 1888 թ․ Րաֆֆին հայ պատմավեպի ամենահայտնի ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ են զբաղեցնում ազգային ազատագրության և հայրենասիրության թեմաները։ «Սամվել», «Խենթը» և «Դավիթ Բեկ» վեպերը համարվում են հայ գրականության դասականներ։ Նա ստեղծել է ուժեղ և հիշվող հերոսներ։ Րաֆֆու կերպարները պայքարում են հանուն ազատության և արդարության։ Նրա գրքերը մեծ ազդեցություն են ունեցել հայ երիտասարդության վրա։ Նա կարողացել է պատմությունը ներկայացնել հետաքրքիր և կենդանի ձևով։ Նրա ստեղծագործությունները մինչ օրս լայնորեն ընթերցվում են։ Րաֆֆին համարվում է ազգային մտածողության ձևավորման կարևոր գործիչ։ Նրա անունը մշտապես կապված է հայրենասիրական գրականության հետ։ menu_book15 Տեսնել ավելին