Применение алгебраических методов в исследовании одного класса форммлл второго порядка
Применение алгебраических методов в исследовании одного класса форммлл второго порядка
No Thumbnail Available
Date
1994
Authors
Դավիդով, Սերգեյ Ստեփանի / Davidov Sergey
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
Abstract
В последнее время сверхтождества представляют один из наиболее интенсивно исследуемых классов формул второго порядка в теории моделей / Դիսերտացիայում հանրահաշվական մեթոդներով հետազոտվում է երկրորդ կարգի բանաձևերի մի դաս, որոնք կոչվում են գերնույնություններ
Description
Ե.13.16 «Համակարգչային տեխնոլոգիաների, մաթեմատիկական մոդելավորման և մաթեմատիկական մեթոդների կիրառությունը գիտական հետազոտություններում» ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-1994 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Յ. Մ. Մովսիսյան ; Պաշտոնական ընդդիմախոսներ՝ Ի. Դ. Զասլավսկի, Վ. Լ. Շիրվանյան ; Առաջատար կազմակերպություն՝ Երևանի Խ. Աբովյանի անվան հայկական պետական մանկավարժական համալսարան ; Սեղմագիր՝ 13 էջ։
Keywords
Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems