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

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

menu_book View materials

Books by this author (1)

Online

Mathematics

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

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

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

Free

Ներսես Շնորհալի Ներսես Շնորհալի 1102 թ․ – 1173 թ․ Ներսես Շնորհալին եղել է հայ եկեղեցու կաթողիկոս, բանաստեղծ և աստվածաբան։ Նա հայտնի է իր հոգևոր երգերով, աղոթքներով և բանաստեղծություններով։ Նրա ստեղծագործություններում մեծ տեղ են զբաղեցնում բարությունը, սերը և մարդասիրությունը։ Շնորհալին ձգտել է միավորել մարդկանց և ամրապնդել քրիստոնեական արժեքները։ Նրա գրական լեզուն պարզ է, բայց միևնույն ժամանակ խորիմաստ։ Նա նաև գրել է բազմաթիվ եկեղեցական շարականներ։ Ներսես Շնորհալու ստեղծագործությունները մինչ օրս օգտագործվում են հայկական եկեղեցական կյանքում։ Նրա ազդեցությունը զգալի է հայ մշակույթի և կրթության զարգացման մեջ։ Նա համարվում է հայ միջնադարյան գրականության ամենակարևոր դեմքերից մեկը։ Նրա անունը շարունակում է մնալ ազգային հպարտության աղբյուր։ menu_book2 Read more Միսաք Մեծարենց Միսաք Մեծարենց 1886 թ․ – 1908 թ․ Միսաք Մեծարենցը արևմտահայ քնարական պոեզիայի ամենապայծառ ներկայացուցիչներից է։ Չնայած կարճ կյանքին, նա ստեղծել է բարձրարժեք գրական ժառանգություն։Միսաք Մեծարենցը արևմտահայ քնարերգության ամենապայծառ անուններից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, սերը և կյանքի գեղեցկությունը։ Չնայած կարճ կյանքին՝ նա հասցրել է ստեղծել բարձրարժեք պոեզիա։ Նրա լեզուն երաժշտական է և նուրբ։ Մեծարենցը մեծ ազդեցություն է ունեցել հայ ռոմանտիկ պոեզիայի վրա։ Նրա բանաստեղծությունները լի են լույսով և զգացմունքայնությամբ։ Նա համարվում է արևմտահայ պոեզիայի ամենաքնարական ձայներից մեկը։ Նրա գործերը մինչ օրս սիրով ընթերցվում են։ Նրա ժառանգությունը փոքր ծավալով, բայց մեծ արժեք ունի։ Նա հայ գրականության բացառիկ տաղանդներից է։ menu_book2 Read more Սիամանթո (Ատոմ Յարճանյան) Սիամանթո (Ատոմ Յարճանյան) 1878 թ․ – 1915 թ․ Սիամանթոն արևմտահայ գրականության ամենահզոր բանաստեղծներից է։ Նրա ստեղծագործությունները նվիրված են ազգային պայքարին, ազատությանը և մարդկային արժանապատվությանը։ Նա մեծ ցավով նկարագրել է հայ ժողովրդի ողբերգական ճակատագիրը։ Սիամանթոյի լեզուն ուժեղ է, կրակոտ և հուզական։ Նրա պոեզիան հաճախ արտահայտում է բողոք և արդարության պահանջ։ Հայոց ցեղասպանության տարիներին նա զոհվել է օսմանյան իշխանությունների կողմից։ Նրա գործերը դարձել են ազգային հիշողության կարևոր մաս։ Սիամանթոն մեծ ազդեցություն է ունեցել հետագա հայ բանաստեղծների վրա։ Նրա ստեղծագործությունները շարունակում են արդիական մնալ։ Նա համարվում է ազատատենչ պոեզիայի խորհրդանիշներից մեկը։ menu_book2 Read more Րաֆֆի (Հակոբ Մելիք-Հակոբյան) Րաֆֆի (Հակոբ Մելիք-Հակոբյան) 1835 թ․ – 1888 թ․ Րաֆֆին հայ պատմավեպի ամենահայտնի ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ են զբաղեցնում ազգային ազատագրության և հայրենասիրության թեմաները։ «Սամվել», «Խենթը» և «Դավիթ Բեկ» վեպերը համարվում են հայ գրականության դասականներ։ Նա ստեղծել է ուժեղ և հիշվող հերոսներ։ Րաֆֆու կերպարները պայքարում են հանուն ազատության և արդարության։ Նրա գրքերը մեծ ազդեցություն են ունեցել հայ երիտասարդության վրա։ Նա կարողացել է պատմությունը ներկայացնել հետաքրքիր և կենդանի ձևով։ Նրա ստեղծագործությունները մինչ օրս լայնորեն ընթերցվում են։ Րաֆֆին համարվում է ազգային մտածողության ձևավորման կարևոր գործիչ։ Նրա անունը մշտապես կապված է հայրենասիրական գրականության հետ։ menu_book17 Read more Հրանտ Մաթևոսյան Հրանտ Մաթևոսյան 1935 թ․ – 2002 թ․ Հրանտ Մաթևոսյանը համարվում է 20-րդ դարի հայ արձակի մեծագույն վարպետներից մեկը։ Նրա ստեղծագործություններում խորությամբ ներկայացված են գյուղական կյանքը, մարդկային հարաբերությունները և ազգային մտածողությունը։Հրանտ Մաթևոսյանը հայ արձակի ամենամեծ վարպետներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունի գյուղական աշխարհի, մարդու և բնության փոխհարաբերությունը։ Նա հայտնի է իր խորը հոգեբանական դիտարկումներով և յուրահատուկ լեզվով։ Նրա գործերը հաճախ ներկայացնում են մարդու ներքին պայքարը և ազգային մտածողությունը։ Մաթևոսյանի հայտնի գործերից են «Մենք ենք, մեր սարերը» և բազմաթիվ պատմվածքներ։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից գրականության վրա։ Նրա լեզուն պատկերավոր և փիլիսոփայական է։ Նրա ստեղծագործությունները մինչ օրս ուսումնասիրվում են։ Նա համարվում է 20-րդ դարի հայ արձակի հիմնասյուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book4 Read more Վահան Թեքեյան Վահան Թեքեյան 1878 թ․ – 1945 թ․ Վահան Թեքեյանը սփյուռքահայ գրականության ամենահայտնի բանաստեղծներից է։ Նրա ստեղծագործությունները հայտնի են իրենց խորը քնարականությամբ և հայրենասիրությամբ։ Թեքեյանը գրել է սիրո, հայրենիքի և մարդկային կյանքի մասին։ Նա նաև ակտիվ լրագրող և հասարակական գործիչ էր։ Նրա պոեզիան մեծ ճանաչում է ստացել հայկական սփյուռքում։ Թեքեյանի լեզուն նուրբ է և արտահայտիչ։ Նա կարևոր դեր է ունեցել արևմտահայ մշակույթի պահպանման գործում։ Նրա գործերը թարգմանվել են տարբեր լեզուներով։ Շատ գրականագետներ նրան անվանում են «Սփյուռքի բանաստեղծ իշխան»։ Նրա անունը շարունակում է մնալ հայ պոեզիայի կարևոր էջերից մեկը։ menu_book2 Read more