Բոլիբեկյան, Հովհաննես Ռաֆայելի

Բոլիբեկյան, Հովհաննես Ռաֆայելի

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

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

Օնլայն

Մաթեմատիկա

Формальные исчисления и аксиоматические системы в неклассических логиках

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

Թարմացվել է՝ 2026-09-02
Формальные исчисления и аксиоматические системы в неклассических логиках

Անվճար

Վահան Թոթովենց Վահան Թոթովենց 1889 թ․ – 1938 թ․ Վահան Թոթովենց հայ արձակագիր, դրամատուրգ և լրագրող է, որը համարվում է XX դարի հայ գրականության կարևոր դեմքերից մեկը։ Նրա ստեղծագործությունները առանձնանում են իրականության խոր ու պատկերավոր նկարագրություններով, որտեղ արտացոլված են հայ ժողովրդի կյանքը, ցավը և դիմադրողականությունը պատմական ծանր ժամանակներում։ Թոթովենցի գրականության հիմնական թեմաներն են արևմտահայ կյանքի պատկերումը, պատերազմները, գաղթը և մարդու ճակատագիրը բարդ սոցիալական ու քաղաքական պայմաններում։ Նրա գործերում հաճախ զգացվում է անձնական փորձի ազդեցությունը, ինչը դրանք դարձնում է ավելի անկեղծ և ազդեցիկ։ Նրա ամենահայտնի ստեղծագործություններից է «Հին Հռոմեական ճանապարհի վրա» վեպը, որտեղ նա նկարագրում է իր մանկությունը և արևմտահայ իրականությունը՝ հարուստ ու կենդանի լեզվով։ Թոթովենցը նաև զբաղվել է լրագրությամբ և հասարակական գործունեությամբ՝ մասնակցելով ժամանակի մտավոր ու քաղաքական կյանքին։ Առաջին համաշխարհային պատերազմի տարիներին նա կապեր է ունեցել հայկական ռազմական ու ազգային շրջանակների հետ, ինչը մեծ ազդեցություն է ունեցել նրա աշխարհայացքի վրա։ 1938 թվականին, ստալինյան բռնաճնշումների ժամանակ, նա ձերբակալվել և գնդակահարվել է։ Չնայած իր կյանքի ողբերգական ավարտին, Վահան Թոթովենցի ստեղծագործությունները այսօր համարվում են հայ գրականության արժեքավոր մաս՝ իրենց պատմական և գեղարվեստական նշանակությամբ։ menu_book2 Տեսնել ավելին Վահան Թեքեյան Վահան Թեքեյան 1878 թ․ – 1945 թ․ Վահան Թեքեյանը սփյուռքահայ գրականության ամենահայտնի բանաստեղծներից է։ Նրա ստեղծագործությունները հայտնի են իրենց խորը քնարականությամբ և հայրենասիրությամբ։ Թեքեյանը գրել է սիրո, հայրենիքի և մարդկային կյանքի մասին։ Նա նաև ակտիվ լրագրող և հասարակական գործիչ էր։ Նրա պոեզիան մեծ ճանաչում է ստացել հայկական սփյուռքում։ Թեքեյանի լեզուն նուրբ է և արտահայտիչ։ Նա կարևոր դեր է ունեցել արևմտահայ մշակույթի պահպանման գործում։ Նրա գործերը թարգմանվել են տարբեր լեզուներով։ Շատ գրականագետներ նրան անվանում են «Սփյուռքի բանաստեղծ իշխան»։ Նրա անունը շարունակում է մնալ հայ պոեզիայի կարևոր էջերից մեկը։ menu_book2 Տեսնել ավելին Դանիել Վարուժան Դանիել Վարուժան 1884 թ․ – 1915 թ․ Դանիել Վարուժանը արևմտահայ պոեզիայի ամենատաղանդավոր ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն բնությունը, գյուղական կյանքը և մարդու ստեղծագործ ուժը։ Վարուժանը հիանում էր աշխատանքի գեղեցկությամբ և մարդու հոգևոր ուժով։ Նրա բանաստեղծությունները հարուստ են պատկերներով և զգացմունքներով։ Նա ձգտել է վերածնել ազգային մշակութային արժեքները։ Հայոց ցեղասպանության ժամանակ նա ձերբակալվել և սպանվել է։ Չնայած կարճ կյանքին՝ նա թողել է մեծ գրական ժառանգություն։ Նրա գործերը մեծ ազդեցություն են ունեցել հայ պոեզիայի զարգացման վրա։ Վարուժանի ստեղծագործությունները մինչ օրս լայնորեն ընթերցվում են։ Նա համարվում է արևմտահայ գրականության դասականներից մեկը։ menu_book5 Տեսնել ավելին Ավետիք Իսահակյան Ավետիք Իսահակյան 1875 թ․ – 1957 թ․ Ավետիք Իսահակյանը հայ քնարերգության մեծագույն ներկայացուցիչներից է։ Նրա պոեզիան լի է սիրո, հայրենիքի, կարոտի և մարդկային զգացմունքների թեմաներով։ Նրա ստեղծագործությունները մեծ ճանաչում են ստացել նաև արտերկրում։Ավետիք Իսահակյանը հայ քնարերգության ամենանշանավոր ներկայացուցիչներից է։ Նրա ստեղծագործություններում մեծ տեղ են զբաղեցնում սերը, հայրենիքը, կարոտը և մարդու ներաշխարհը։ Իսահակյանի լեզուն առանձնանում է մեղմությամբ, երաժշտականությամբ և խոր զգացմունքայնությամբ։ Նրա հայտնի գործերից են «Աբու Լալա Մահարին» և բազմաթիվ քնարական բանաստեղծություններ։ Նա երկար տարիներ ապրել է արտասահմանում, սակայն մշտապես կապված է եղել հայրենիքի հետ։ Իսահակյանի պոեզիան մեծ ճանաչում է ստացել նաև միջազգային մակարդակով։ Նրա գործերը թարգմանվել են բազմաթիվ լեզուներով։ Նա եղել է նաև հասարակական և մշակութային ակտիվ գործիչ։ Իսահակյանի ստեղծագործությունները շարունակում են սիրել տարբեր սերունդներ։ Նա համարվում է հայ պոեզիայի մեծագույն վարպետներից մեկը։ menu_book3 Տեսնել ավելին Գուրգեն Մահարի Գուրգեն Մահարի 1903 թ․ – 1969 թ․ Գուրգեն Մահարին հայ արձակի և հուշագրության կարևոր ներկայացուցիչներից է։ Նրա ստեղծագործությունները հաճախ հիմնված են սեփական կյանքի փորձի վրա։ Նա նկարագրել է խորհրդային ժամանակների դժվարությունները և բանտային կյանքը։ Նրա հայտնի գործերից է «Ծաղկած փշալարեր» վեպը։ Մահարու լեզուն պարզ է, բայց խորքային և զգացմունքային։ Նրա ստեղծագործություններում կարևոր տեղ ունի մարդու ազատության գաղափարը։ Նա նաև անդրադարձել է պատմական և սոցիալական թեմաներին։ Մահարու գործերը արժեքավոր վկայություն են ժամանակաշրջանի մասին։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից արձակի վրա։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել այսօր։ menu_book4 Տեսնել ավելին Համո Սահյան Համո Սահյան 1914 թ․ – 1993 թ․ Համո Սահյանը բնության և հայրենիքի մեծ երգիչն է։ Նրա պոեզիան առանձնանում է պարզությամբ, խորությամբ և ազգային ոգով։Համո Սահյանը հայ բնապատկերային և քնարական պոեզիայի ամենասիրված հեղինակներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունեն բնությունը, գյուղը և մարդը։ Սահյանի լեզուն պարզ է, բայց խորապես զգացմունքային։ Նրա բանաստեղծությունները հաճախ արտահայտում են կյանքի գեղեցկությունն ու ցավը։ Նա մեծ ազդեցություն է ունեցել ժողովրդական մտածողության վրա։ Նրա գործերը լայնորեն տարածված են Հայաստանում։ Սահյանի պոեզիան համադրվում է պարզության և փիլիսոփայության հետ։ Նրա ստեղծագործությունները հաճախ ուսումնասիրվում են դպրոցներում։ Նա համարվում է 20-րդ դարի մեծ քնարերգուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book2 Տեսնել ավելին