Սայադյան, Սերգեյ Մուշեղի

Սայադյան, Սերգեյ Մուշեղի

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

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

Онлайн

Математика

Исследование сложностей выводов в системах неклассических логик

Մաթեմատիկական տրամաբանության և տեսական ինֆորմատիկայի բնույթի այս աշխատանքը նվիրված է ոչ դասական տրամաբանական համակարգերում արտածումների բարդության ուսումնասիրությանը։ Քննության են առնվում տարբեր տրամաբանական հաշիվների կառուցվածքային առանձնահատկությունները, ապացուցման կանոնները և բանաձևերից հետևությունների ստացման մեխանիզմները։ Առանձնահատուկ ուշադրություն է դարձվում արտածումների երկարության, կառուցվածքի և հաշվարկային բարդության գնահատմանը, ինչպես նաև ապացուցումների արդյունավետ ներկայացման հնարավորություններին։ Վերլուծվում են տարբեր ոչ դասական տրամաբանությունների շրջանակներում կիրառվող արտածման համակարգերը, դրանց փոխհարաբերությունները և ապացուցման գործընթացի բարդության վրա ազդող հիմնական գործոնները։ Քննարկվում են նաև ապացույցների օպտիմալացման, արտածումների կրճատման, տրամաբանական խնդիրների ալգորիթմական լուծման և տարբեր համակարգերի համեմատական գնահատման մոտեցումները։ Ուսումնասիրությունը հնարավորություն է տալիս խորացնելու պատկերացումները տրամաբանական արտածումների հաշվարկային բնույթի և ոչ դասական տրամաբանությունների ապացուցողական հնարավորությունների վերաբերյալ։ Աշխատանքը կարող է օգտակար լինել մաթեմատիկական տրամաբանության, ապացույցների տեսության, տեսական ինֆորմատիկայի և հաշվողական բարդության ոլորտների մասնագետների ու հետազոտողների համար։

Обновлено. 2026-10-07
Исследование сложностей выводов в системах неклассических логик

Бесплатно

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

Все авторы
Գուրգեն Մահարի Գուրգեն Մահարի 1903 թ․ – 1969 թ․ Գուրգեն Մահարին հայ արձակի և հուշագրության կարևոր ներկայացուցիչներից է։ Նրա ստեղծագործությունները հաճախ հիմնված են սեփական կյանքի փորձի վրա։ Նա նկարագրել է խորհրդային ժամանակների դժվարությունները և բանտային կյանքը։ Նրա հայտնի գործերից է «Ծաղկած փշալարեր» վեպը։ Մահարու լեզուն պարզ է, բայց խորքային և զգացմունքային։ Նրա ստեղծագործություններում կարևոր տեղ ունի մարդու ազատության գաղափարը։ Նա նաև անդրադարձել է պատմական և սոցիալական թեմաներին։ Մահարու գործերը արժեքավոր վկայություն են ժամանակաշրջանի մասին։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից արձակի վրա։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել այսօր։ menu_book4 Подробнее Սիլվա Կապուտիկյան Սիլվա Կապուտիկյան 1919 թ․ – 2006 թ․ Սիլվա Կապուտիկյանը հայ պոեզիայի ամենաազդեցիկ կին հեղինակներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն հայրենիքը, սերը, լեզուն և ազգային ինքնությունը։ Կապուտիկյանը գրել է բազմաթիվ բանաստեղծություններ և հրապարակախոսական նյութեր։ Նրա լեզուն պարզ է, բայց խորքային և զգացմունքային։ Նա մեծ ուշադրություն է դարձրել հայ լեզվի պահպանման հարցերին։ Նրա գործերը լայն ճանաչում են ստացել ինչպես Հայաստանում, այնպես էլ սփյուռքում։ Կապուտիկյանը նաև ակտիվ հասարակական գործիչ էր։ Նրա ստեղծագործությունները հաճախ նվիրված են ազգային արժեքներին։ Նա համարվում է հայ կին պոեզիայի ամենակարևոր դեմքերից մեկը։ Նրա ժառանգությունը շարունակում է մնալ ազդեցիկ։ menu_book2 Подробнее Նար-Դոս (Միքայել Հովհաննիսյան) Նար-Դոս (Միքայել Հովհաննիսյան) 1867 թ․ – 1933 թ․ Նար-Դոսը հայ հոգեբանական արձակի հիմնադիրներից է։ Նրա ստեղծագործություններում մեծ տեղ ունի մարդու ներաշխարհի վերլուծությունը և հոգեբանական հակասությունները։ Նա նկարագրել է քաղաքային կյանքը և հասարակության տարբեր խավերը։ Նրա վեպերն ու պատմվածքները աչքի են ընկնում իրատեսականությամբ։ Նար-Դոսի լեզուն պարզ է, բայց խորքային և դիտողական։ Նրա հերոսները հաճախ կանգնած են բարոյական ընտրությունների առաջ։ Նա մեծ ազդեցություն է ունեցել հայ արձակի զարգացման վրա։ Նրա ստեղծագործությունները մինչ օրս դասական են համարվում։ Նար-Դոսը համարվում է հայ հոգեբանական արձակի հիմնադիրներից մեկը։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել։ menu_book13 Подробнее Ալեքսանդր Շիրվանզադե Ալեքսանդր Շիրվանզադե 1858 թ․ – 1935 թ․ Ալեքսանդր Շիրվանզադեն հայ ռեալիստական արձակի մեծագույն ներկայացուցիչներից է։ Նրա ստեղծագործություններում արտացոլված են հասարակության տարբեր խավերի կյանքը և սոցիալական խնդիրները։ Նա գրել է վեպեր, պատմվածքներ և դրամատիկական գործեր։ Շիրվանզադեն մեծ ուշադրություն է դարձրել մարդկային հարաբերություններին։ Նրա հերոսները հոգեբանորեն խորն են մշակված։ Նա համարձակորեն քննադատել է հասարակական անարդարությունները։ Նրա ստեղծագործությունները մեծ ճանաչում են ստացել նաև թատերական բեմերում։ Շիրվանզադեն համարվում է հայ արձակի դասականներից մեկը։ Նրա ազդեցությունը զգալի է հետագա գրողների ստեղծագործություններում։ Նա շարունակում է մնալ հայ գրականության կարևորագույն անուններից մեկը։ menu_book19 Подробнее Հովհաննես Շիրազ Հովհաննես Շիրազ 1915 թ․ – 1984 թ․ Հովհաննես Շիրազը հայ ժողովրդի ամենասիրված բանաստեղծներից է։ Նրա ստեղծագործությունները խորապես կապված են հայրենիքի, մոր կերպարի և ազգային ցավի հետ։ Շիրազի լեզուն պարզ է, ժողովրդական և շատ հուզական։ Նրա հայտնի գործերից են «Հայոց դանթեականը», «Մայրս» և բազմաթիվ հայրենասիրական բանաստեղծություններ։ Նա հաճախ արտահայտել է ժողովրդի ցավն ու ուրախությունը։ Շիրազը մեծ ազդեցություն է ունեցել սերունդների վրա իր անմիջական ոճով։ Նրա պոեզիան հաճախ արտասանվում է դպրոցներում և միջոցառումների ժամանակ։ Նա համարվում է 20-րդ դարի ամենաժողովրդական բանաստեղծներից մեկը։ Նրա ստեղծագործությունները դարձել են ազգային հիշողության մաս։ Շիրազը մինչ օրս սիրելի է ընթերցողների լայն շրջանակի համար։ menu_book6 Подробнее Մուրացան (Գրիգոր Տեր-Հովհաննիսյան) Մուրացան (Գրիգոր Տեր-Հովհաննիսյան) 1854 թ․ – 1908 թ․ Մուրացանը հայ պատմական արձակի կարևոր ներկայացուցիչներից է։ Նրա ամենահայտնի ստեղծագործությունը «Գևորգ Մարզպետունի» վեպն է։ Վեպում ներկայացվում են Հայաստանի պատմության կարևոր էջերը։ Մուրացանը մեծ հետաքրքրություն ուներ ազգային անցյալի նկատմամբ։ Նրա ստեղծագործությունները ներշնչված են հայրենասիրական գաղափարներով։ Նա ձգտել է ընթերցողին ծանոթացնել հայկական պատմությանը։ Նրա կերպարները հաճախ մարմնավորում են քաջություն և նվիրվածություն։ Մուրացանի լեզուն հարուստ է և արտահայտիչ։ Նրա գրքերը մինչ օրս մեծ հետաքրքրությամբ ընթերցվում են։ Նա կարևոր տեղ է զբաղեցնում հայ պատմավեպի զարգացման մեջ։ menu_book19 Подробнее