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

Ամսաթիվ (YYYY-MM)
Հուն. 09 2010
Օպտիմիզացման խնդիրներ առանց լարի ցանցերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 07 2010
Գծայնացվող ծածկույթների բարդության վերաբերյալ Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 07 2010
Անլար ցանցերի մաթեմատիկական մոդելներում ալգորիթմական խնդիրների հետազոտումը Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 15 2009
Երկուական կոդերի ադիտիվ կապի գծերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 15 2009
Ֆունկցիոնալ ծրագրերի հիմնական սեմանտիկայի մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Մայ. 22 2009
Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Մարտ 04 2009
Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հոկ. 24 2008
Խմբերին իզոտոպ քվազիխմբեր (լատինական քառակուսիներ) Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 12 2008
Գրաֆների լոկալ-հավասարակշռված 2-տրոհումների մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 10 2008
Համեմատությունների գրաֆների ներկման խնդիրների հետազոտում և ալգորիթմների մշակում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 10 2008
Բուլյան և ստոխաստիկ համակարգեր և դրանց կիրառությունները Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուլ. 20 2007
Ոչ դասական տրամաբանությունների համակարգերում արտածումների բարդության հետազոտում ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 16 2007
Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութագրիչների հետազոտում ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 15 2007
Տեղեկություններ թաքցնող որոշ համակարգերի ինֆորմացիոն-տեսական հետազոտություն ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 12 2006
Ռեկուրսիվ օպերատորի անշարժ կետերի հետազոտում ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )