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

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

menu_book Посмотреть материалы

Книги автора (1)

Онлайн

Математика

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

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

Обновлено. 2026-09-19
Արտածումների բարդության հետազոտում ասույթային հաշվի մի շարք հայտնի և նոր կառուցված համակարգերում

Бесплатно

Другие авторы

Все авторы
Գրիգոր Զոհրապ Գրիգոր Զոհրապ 1861 թ․ – 1915 թ․ Հայ նշանավոր գրող, հրապարակախոս, իրավաբան և քաղաքական գործիչ էր։ Նա ծնվել է 1861 թվականի հունիսի 26-ին՝ Կոստանդնուպոլսում, և մահացել 1915 թվականին՝ Հայոց ցեղասպանության ժամանակ։ Զոհրապը համարվում է արևմտահայ գրականության ամենահայտնի նովելիստներից մեկը։ Նրա ստեղծագործություններում պատկերավորվում են մարդու հոգեբանությունը, հասարակական հարաբերությունները և քաղաքային կյանքի խնդիրները։ Նա գրել է բազմաթիվ պատմվածքներ և նորավեպեր, որոնք առանձնանում են իրատեսական ոճով և խոր հոգեբանական վերլուծությամբ։ Բացի գրական գործունեությունից, Զոհրապը եղել է հայտնի իրավաբան և Օսմանյան խորհրդարանի պատգամավոր։ Նրա կյանքն ու գործունեությունը մեծ ազդեցություն են ունեցել հայ մշակույթի և հասարակական մտքի զարգացման վրա, իսկ նրա ստեղծագործությունները մինչ օրս համարվում են հայ գրականության արժեքավոր էջերից։ menu_book5 Подробнее Հրանտ Մաթևոսյան Հրանտ Մաթևոսյան 1935 թ․ – 2002 թ․ Հրանտ Մաթևոսյանը համարվում է 20-րդ դարի հայ արձակի մեծագույն վարպետներից մեկը։ Նրա ստեղծագործություններում խորությամբ ներկայացված են գյուղական կյանքը, մարդկային հարաբերությունները և ազգային մտածողությունը։Հրանտ Մաթևոսյանը հայ արձակի ամենամեծ վարպետներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունի գյուղական աշխարհի, մարդու և բնության փոխհարաբերությունը։ Նա հայտնի է իր խորը հոգեբանական դիտարկումներով և յուրահատուկ լեզվով։ Նրա գործերը հաճախ ներկայացնում են մարդու ներքին պայքարը և ազգային մտածողությունը։ Մաթևոսյանի հայտնի գործերից են «Մենք ենք, մեր սարերը» և բազմաթիվ պատմվածքներ։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից գրականության վրա։ Նրա լեզուն պատկերավոր և փիլիսոփայական է։ Նրա ստեղծագործությունները մինչ օրս ուսումնասիրվում են։ Նա համարվում է 20-րդ դարի հայ արձակի հիմնասյուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book4 Подробнее Եղիշե Չարենց Եղիշե Չարենց 1897 թ․ – 1937 թ․ Եղիշե Չարենցը հայ նորագույն գրականության ամենաազդեցիկ հեղինակներից է։ Նա բանաստեղծ, արձակագիր և թարգմանիչ էր, որը նորարարական մոտեցումներ բերեց հայ պոեզիա։ Նրա ստեղծագործություններում միահյուսված են հայրենասիրությունը, հեղափոխական գաղափարները և մարդու ներքին պայքարը։ «Ես իմ անուշ Հայաստանի» բանաստեղծությունը դարձել է ազգային խորհրդանիշ։ Չարենցի լեզուն համարձակ է, հարուստ և ժամանակակից։ Նա մեծ ազդեցություն է ունեցել 20-րդ դարի հայ գրականության զարգացման վրա։ Չնայած քաղաքական հալածանքներին, նրա ստեղծագործությունները պահպանեցին իրենց արժեքը։ Նրա գործերը թարգմանվել են բազմաթիվ լեզուներով։ Չարենցը համարվում է հայ մշակույթի խորհրդանշական դեմքերից մեկը։ Նրա գրական ժառանգությունը շարունակում է ոգեշնչել նոր սերունդներին։ menu_book10 Подробнее Ալեքսանդր Շիրվանզադե Ալեքսանդր Շիրվանզադե 1858 թ․ – 1935 թ․ Ալեքսանդր Շիրվանզադեն հայ ռեալիստական արձակի մեծագույն ներկայացուցիչներից է։ Նրա ստեղծագործություններում արտացոլված են հասարակության տարբեր խավերի կյանքը և սոցիալական խնդիրները։ Նա գրել է վեպեր, պատմվածքներ և դրամատիկական գործեր։ Շիրվանզադեն մեծ ուշադրություն է դարձրել մարդկային հարաբերություններին։ Նրա հերոսները հոգեբանորեն խորն են մշակված։ Նա համարձակորեն քննադատել է հասարակական անարդարությունները։ Նրա ստեղծագործությունները մեծ ճանաչում են ստացել նաև թատերական բեմերում։ Շիրվանզադեն համարվում է հայ արձակի դասականներից մեկը։ Նրա ազդեցությունը զգալի է հետագա գրողների ստեղծագործություններում։ Նա շարունակում է մնալ հայ գրականության կարևորագույն անուններից մեկը։ menu_book17 Подробнее Համո Սահյան Համո Սահյան 1914 թ․ – 1993 թ․ Համո Սահյանը բնության և հայրենիքի մեծ երգիչն է։ Նրա պոեզիան առանձնանում է պարզությամբ, խորությամբ և ազգային ոգով։Համո Սահյանը հայ բնապատկերային և քնարական պոեզիայի ամենասիրված հեղինակներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, գյուղը և մարդը։ Սահյանի լեզուն պարզ է, բայց խորապես զգացմունքային։ Նրա բանաստեղծությունները հաճախ արտահայտում են կյանքի գեղեցկությունն ու ցավը։ Նա մեծ ազդեցություն է ունեցել ժողովրդական մտածողության վրա։ Նրա գործերը լայնորեն տարածված են Հայաստանում։ Սահյանի պոեզիան համադրվում է պարզության և փիլիսոփայության հետ։ Նրա ստեղծագործությունները հաճախ ուսումնասիրվում են դպրոցներում։ Նա համարվում է 20-րդ դարի մեծ քնարերգուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book2 Подробнее Վահան Տերյան Վահան Տերյան 1885 թ․ – 1920 թ․ Վահան Տերյանը հայ քնարական պոեզիայի ամենասիրելի հեղինակներից է։ Նրա ստեղծագործություններում արտահայտված են սերը, մենությունը, կարոտը և կյանքի անցողիկությունը։ Տերյանի բանաստեղծությունները հայտնի են իրենց երաժշտականությամբ և նուրբ տրամադրությամբ։ Նա մեծ ազդեցություն է կրել եվրոպական խորհրդապաշտությունից։ Նրա պոեզիան նոր շունչ է բերել հայկական գրականությանը։ Տերյանի լեզուն մեղմ է, գեղեցիկ և հուզական։ Նրա բազմաթիվ բանաստեղծություններ դարձել են երգեր։ Նա մեծ ազդեցություն է ունեցել հետագա սերունդների բանաստեղծների վրա։ Տերյանի ստեղծագործությունները շարունակում են մնալ ամենաընթերցվողներից։ Նա համարվում է հայ քնարերգության մեծագույն վարպետներից մեկը։ menu_book4 Подробнее