Архив защит

Дата (YYYY-MM)
Июн 22 2022
Реберные раскраски графов с минимальным количеством палитр Ереванский государственный университет Математическая кибернетика и математическая логика ( Ա.01.09 )
Янв 20 2022
Формальные системы неклассических логик и автоматическое доказательство теорем с использованием методов машинного обучения Ереванский государственный университет Математическая кибернетика и математическая логика ( Ա.01.09 )
Янв 20 2022
Интервальные раскраски графов с заранее заданными ограничениями Ереванский государственный университет Математическая кибернетика и математическая логика ( Ա.01.09 )
Июн 22 2021
Исследование некоторых количественных и структурных характеристик различных логических систем Ереванский государственный университет Математическая кибернетика и математическая логика ( Ա.01.09 )
Июн 22 2021
Исследование локально-сбалансированных разбиений графов Ереванский государственный университет Математическая кибернетика и математическая логика ( Ա.01.09 )
Июн 12 2019
Դիսկրետ կոմբինատոր խնդիրներ վերջավոր դաշտերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Июн 12 2019
Տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Июн 12 2018
Գծայնացվող ծածկույթներ վերջավոր դաշտերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Июн 12 2018
Տրամաբանական որոշ համակարգերում արտածումների բարդության գնահատականների ճշգրտում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Июн 09 2017
Գրաֆների միջակայքային կողային ներկումների հետազոտում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Май 13 2017
Nostrification - 515 Օքսֆորդի համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Дек 14 2016
Գրաֆների ներկումներ լոկալ պայմաններով Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Мрт 30 2016
Գրաֆների միջակայքային տոտալ ներկումներ Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Июн 19 2015
Որոշ դասերի գրաֆների ճիշտ կողային ներկումների բազմության մեջ միջակայքային սպեկտրով գագաթների թվի էքստեմալ արժեքների մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Июн 10 2014
Օրիենտացված գրաֆների գագաթային համարակալում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )