Պաշտպանությունների արխիվ

Ամսաթիվ (YYYY-MM)
May 27 2011
Տեղադրության կանոնի տարատեսակների արդյունավետությունը դասական և ոչ դասական տրամաբանական համակարգերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
May 20 2011
Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
May 20 2011
Առանց տիպերի ֆունկցիոնալ ծրագրերի ձևափոխությունների և նրանց պրոցեդուրային սեմանտիկաների մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Dec 22 2010
Իդեմպոտենտ հանրահաշիվների բազմանդամների բնութագրումը: Դե Մորգանի երկկիսախմբերի և եռակիսախմբեր Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 09 2010
Օպտիմիզացման խնդիրներ առանց լարի ցանցերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 07 2010
Գծայնացվող ծածկույթների բարդության վերաբերյալ Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 07 2010
Անլար ցանցերի մաթեմատիկական մոդելներում ալգորիթմական խնդիրների հետազոտումը Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 15 2009
Երկուական կոդերի ադիտիվ կապի գծերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 15 2009
Ֆունկցիոնալ ծրագրերի հիմնական սեմանտիկայի մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
May 22 2009
Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Mar 04 2009
Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Oct 24 2008
Խմբերին իզոտոպ քվազիխմբեր (լատինական քառակուսիներ) Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 12 2008
Գրաֆների լոկալ-հավասարակշռված 2-տրոհումների մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 10 2008
Համեմատությունների գրաֆների ներկման խնդիրների հետազոտում և ալգորիթմների մշակում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 10 2008
Բուլյան և ստոխաստիկ համակարգեր և դրանց կիրառությունները Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )