Степени неразрешимости и митотичность относительно слабых (T- и wtt-) и табличных сводимостей / Անլուծելիության աստիճաններ և միթոտիկություն` ըստ թույլ (T- և wtt-) և աղյուսակային հանգեցումների / Unsolvability degrees and mitoticity with respect to weak (T- and wtt-) and truth table reducibilities
Степени неразрешимости и митотичность относительно слабых (T- и wtt-) и табличных сводимостей / Անլուծելիության աստիճաններ և միթոտիկություն` ըստ թույլ (T- և wtt-) և աղյուսակային հանգեցումների / Unsolvability degrees and mitoticity with respect to weak (T- and wtt-) and truth table reducibilities
No Thumbnail Available
Date
2012
Authors
Մոկացյան, Արսեն Հակոբի / Mokatsian Arsen
Journal Title
Journal ISSN
Volume Title
Publisher
Երևանի պետական համալսարան
Abstract
Первая по времени теорема о разбиении принадлежит Фридбергу²¹, согласно которой, если A является нерекурсивным рекурсивно перечислимым множеством, то существуют множества A₁ и A₂ такие, что A₁UA ₂=A / Աշխատանքը նվիրված է ռեկուրսիվորեն թվարկելի բազմությունների` ըստ տարբեր տիպի հանգեցումների միթոտիկ տրոհման հնարավորությունների հետազոտմանը /A splitting of recursively enumerable set A is a pair A₁, A₂ of disjoin recursively enumerable sets such that A₁UA₂=A
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2012 ; Ատենախոսության թեման հաստատվել է ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտում ; Գիտական ղեկավար`Հ. Բ. Մարանջյան ; Պաշտոնական ընդդիմախոսներ՝ Ս. Ա. Նիգիյան, Վ. Կ. Մարգարյան ; Առաջատար կազմակերպություն` Հայ-ռուսական (Սլավոնական) համալսարան ; Սեղմագիր՝ 17 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics