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

Ամսաթիվ (YYYY-MM)
Jun 10 2014
Օրիենտացված գրաֆների գագաթային համարակալում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Dec 06 2013
Հաշվողական խմբերի տեսության մեթոդների կիրառումը ծածկագրման մեջ Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Nov 01 2013
Nostrification - 397 Կանադայի Կոնկորդիա համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 24 2013
Nostrification - 417 Լ. Լոմոնոսովի անվան Մոսկվայի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 24 2013
Դիսկրետ էքստրեմալ խնդիրների հետազոտում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Oct 05 2012
Անլուծելիության աստիճանների և միթոտիկություն` ըստ թույլ (T- և wtt-) և աղյուսակային հանգեցումների Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 08 2012
«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում. Yerevan State University Mathematical cybernetics and Mathematical logic ( Ա.01.09 )
Jun 08 2012
Անկախության թվի հետազոտումը ընդհանրացված ցիկլերի ուժեղ արտադրյալի համար Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 06 2012
Վերջավոր դաշտերի վրա անվերածելի նորմալ և տեղադրության բազմանդամների կառուցման եղանակներ Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
May 23 2012
SLNDF-ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
May 23 2012
Տրամաբանական ծրագրավորման որոշ ալգորիթմական պրոբլեմների մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 14 2011
Առցանց ալգորիթմական մոդելներ տվյալների մաքսիմալ կանոնավորված ենթակառուցվածքի խնդիրներում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
May 27 2011
Տեղադրության կանոնի տարատեսակների արդյունավետությունը դասական և ոչ դասական տրամաբանական համակարգերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
May 20 2011
Առանց տիպերի ֆունկցիոնալ ծրագրերի ձևափոխությունների և նրանց պրոցեդուրային սեմանտիկաների մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
May 20 2011
Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )