Հեղինակի գրքերը (1)
Մաթեմատիկա
Степени неразрешимости и митотичность относительно слабых (T- и wtt-) и табличных сводимостей
Այս աշխատանքը վերաբերում է տեսական ինֆորմատիկայի և մաթեմատիկական տրամաբանության այն հատվածին, որտեղ ուսումնասիրվում են խնդիրների անլուծելիության աստիճանները և դրանց փոխհարաբերությունները տարբեր տիպի ռեդուկցիաների (վերահղումների) համատեքստում՝ մասնավորապես T- և wtt- (weak truth-table) ռեդուկցիաների, ինչպես նաև տաբուլյար (table) ռեդուկցիաների դեպքում։ Վերլուծության կենտրոնում է այն հարցը, թե ինչպես են տարբեր հաշվելիության սահմանափակումները ձևավորում խնդիրների բարդության հիերարխիան և ինչ չափով կարելի է համեմատել կամ դասակարգել խնդիրները՝ ըստ դրանց լուծելիության աստիճանի։ Հատուկ ուշադրություն է դարձվում միթոտիկությանը (mitoticity)՝ որպես կառուցվածքային հատկության, որը բնութագրում է որոշակի բազմությունների վարքագիծը հաշվելի բաժանումների և արդյունավետ կառուցվածքների նկատմամբ։ Աշխատությունում ներկայացվում են նաև այդ ռեդուկցիաների միջև կապերը, դրանց համարժեքության կամ տարանջատման դեպքերը, ինչպես նաև օրինակներ, որոնք ցույց են տալիս տարբեր անլուծելիության աստիճաններ։ Միաժամանակ քննարկվում են մաթեմատիկական տրամաբանության և ռեկուրսիվ ֆունկցիաների տեսության հիմնական մեթոդները, որոնք կիրառվում են նման խնդիրների ուսումնասիրության համար։ Ընդհանուր առմամբ, աշխատանքը ընդգծում է, որ անլուծելիության աստիճանների ուսումնասիրությունը կարևոր դեր ունի հաշվելիության տեսության կառուցվածքային հատկությունների հասկացման և դասակարգման մեջ։
Թարմացվել է՝ 2026-06-15