TY - BOOK AU - Առաքելյան,Արա TI - Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին: Սեղմագիր՝ Ա.01.09- «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսության PY - 2011/// CY - Երևան KW - Սեղմագրեր N1 - Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում։; Պաշտոնական ընդդիմախոսներ՝ Հ.Բ. Մարանջյան, Գ.Գ. Հրաչյան ; Գիտ. ղեկ.՝ Ս.Ա. Նիգիյան: ER -