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

Ամսաթիվ (YYYY-MM)
Jun 22 2022
Edge colorings of graphs with the minimum number of palettes Yerevan State University Mathematical cybernetics and Mathematical logic ( Ա.01.09 )
Jan 20 2022
Formal systems of non-classical logic and automated theorem proving using machine learning methods Yerevan State University Mathematical cybernetics and Mathematical logic ( Ա.01.09 )
Jan 20 2022
Interval colorings of graphs with predefined restrictions Yerevan State University Mathematical cybernetics and Mathematical logic ( Ա.01.09 )
Jun 22 2021
Investigation of some quantitative and structural properties of different logical proof systems Yerevan State University Mathematical cybernetics and Mathematical logic ( Ա.01.09 )
Jun 22 2021
Investigation of locally-balanced partitions of graphs Yerevan State University Mathematical cybernetics and Mathematical logic ( Ա.01.09 )
Jun 12 2019
Տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 12 2019
Դիսկրետ կոմբինատոր խնդիրներ վերջավոր դաշտերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 12 2018
Տրամաբանական որոշ համակարգերում արտածումների բարդության գնահատականների ճշգրտում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 12 2018
Գծայնացվող ծածկույթներ վերջավոր դաշտերում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 09 2017
Գրաֆների միջակայքային կողային ներկումների հետազոտում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
May 13 2017
Nostrification - 515 Օքսֆորդի համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Dec 14 2016
Գրաֆների ներկումներ լոկալ պայմաններով Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Mar 30 2016
Գրաֆների միջակայքային տոտալ ներկումներ Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 19 2015
Որոշ դասերի գրաֆների ճիշտ կողային ներկումների բազմության մեջ միջակայքային սպեկտրով գագաթների թվի էքստեմալ արժեքների մասին Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )
Jun 10 2014
Օրիենտացված գրաֆների գագաթային համարակալում Երևանի պետական համալսարան Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն ( Ա.01.09 )