Ռեկուրսիվ օպերատորի անշարժ կետերի հետազոտում / Study of fixpoints of recursive operators
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
Abstract
Ատենախոսությունում հետազոտվել է ռեկուրսիվ օպերատորների անշարժ կետերի բազմության կառուցվածքը հաշվարկելիության և համաձայնեցվածության տեսանկյունից / В диссертации исследовано строение множества неподвижных точек с точки зрения вычислимости и согласованности
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2006 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Հ. Բ. Մարանջյան ; Պաշտոնական ընդդիմախոսներ՝ Ի. Դ. Զասլավսկի, Վ. Ս. Աթաբեկյան ; Առաջատար կազմակերպություն՝ Հայաստանի պետական ճարտարագիտական համալսարան ; Սեղմագիր՝ 15 էջ։