Ֆորմալ հաշիվներ և աքսիոմատիկ համակարգեր ոչ դասական տրամաբանություններում

Հայցորդ
Գիտական ղեկավար/Խորհրդատու

Հայցվող գիտական աստիճան
Գիտությունների թեկնածու
Մասնագիտություն
Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն
Ա.01.09
Թեման հաստատած կազմակերպություն
Խորհուրդ
Ինֆորմատիկայի (037)
Ընդդիմախոսներ
,

Պաշտպանության ամսաթիվ
Ավարտված
✔

2002

Հաստատված