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

Ամսաթիվ (YYYY-MM)
Դեկ. 06 2013
Հաշվողական խմբերի տեսության մեթոդների կիրառումը ծածկագրման մեջ Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Նոյ. 01 2013
Nostrification - 397 Կանադայի Կոնկորդիա համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 24 2013
Nostrification - 417 Լ. Լոմոնոսովի անվան Մոսկվայի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 24 2013
Դիսկրետ էքստրեմալ խնդիրների հետազոտում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հոկ. 05 2012
Անլուծելիության աստիճանների և միթոտիկություն` ըստ թույլ (T- և wtt-) և աղյուսակային հանգեցումների Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 08 2012
«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում. Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 08 2012
Անկախության թվի հետազոտումը ընդհանրացված ցիկլերի ուժեղ արտադրյալի համար Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 06 2012
Վերջավոր դաշտերի վրա անվերածելի նորմալ և տեղադրության բազմանդամների կառուցման եղանակներ Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Մայ. 23 2012
SLNDF-ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Մայ. 23 2012
Տրամաբանական ծրագրավորման որոշ ալգորիթմական պրոբլեմների մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Հուն. 14 2011
Առցանց ալգորիթմական մոդելներ տվյալների մաքսիմալ կանոնավորված ենթակառուցվածքի խնդիրներում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Մայ. 27 2011
Տեղադրության կանոնի տարատեսակների արդյունավետությունը դասական և ոչ դասական տրամաբանական համակարգերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Մայ. 20 2011
Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Մայ. 20 2011
Առանց տիպերի ֆունկցիոնալ ծրագրերի ձևափոխությունների և նրանց պրոցեդուրային սեմանտիկաների մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Դեկ. 22 2010
Իդեմպոտենտ հանրահաշիվների բազմանդամների բնութագրումը: Դե Մորգանի երկկիսախմբերի և եռակիսախմբեր Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )