Ph.D. student
Tamazyan Hakob
Date and place of defense
Monday, june 17, 2024
15:00
0025, ք. Երևան, Ալեք Մանուկյան, 1
Subject:
Investigation of proof complexities in various known and newly constructed propositional calculus systems
Professional council:
Code of specialty:
Ա.01.09 - Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն
Գիտական ղեկավար:
Չուբարյան Անահիտ Արտաշեսի
(ֆիզմաթ. գիտ. դոկտոր, պրոֆեսոր)
Ա.01.09
Opponents:
Պողոսյան Է. Մ.
(ֆիզմաթ. գիտ. դոկտոր)
Ա.01.09
Բոլիբեկյան Հ. Ռ.
(ֆիզմաթ. գիտ. թեկնածու)
Leading organization:
Հայ-Ռուսական /Սլավոնական/ համալսարան
Սեղմագիր:
