Անահիտ Արտաշեսի Չուբարյան
Կենսագրություն
Կրթություն
Երևանի պետական համալսարան, մեխանիկամաթեմատիկական ֆակուլտետ, 1964 - 1969 թթ.
Ասպիրանտուրա 1969 - 1972 թթ.

Գիտական աստիճան
Թեկնածուական - Արտածումների բարդության բնութաքրիչների մասին որոշ տրամաբանական համակարքերում, 1978 թ., ԽՍՀՄ ԳԱ Հաշվողական կենտրոն, Մոսկվա
Դոկտորական - Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութաքրիչների հետազոտում, 2007 թ., ՀՀ ԳԱԱ ԻԱՊԻ Երևան

Աշխատանքային փորձ
ԵՊՀ` «Տեսական կիբեոնետիկայի» ամբիոն ասիստենտ` 1972 - 1976 թթ.
ավաք դասախոս` 1976 - 1982 թթ.
դոցենտ` 1982 - 2009 թթ.
«Համակարգերի տեսուղթյան» ամբիոն ամբիոնի վարիչ` 1986 - 1991 թթ.
«Դիսկրետ մաթեմատիկայի և ինծֆորմատիկայի» ամբիոն պրոֆեսոր` 2009 թ-ից աո այսօր

Կարդացվող դասընթացներ
Ալգորիթմների տեսություն, մաթեմատիկական տրամաբանություն, դիսկրետ մաթեմատիկա, բարդության ընդհանուր տեսություն, արտածումների բարդութուն

Գիտական հետաքրքրությունների շրջանակը
մաթեմատիկական տրամաբանություն, արտածումների տեսութուն, արտածումների բարդութուն

Մասնակցությունը դրամաշնորհների
ՀՀ ՊԳԿ դրամաշնորհ (ծածկագիր 11-1и023)

Լեզուներ
Հայերեն, ոուսերեն, անգլերեն, գերմաներեն

Մասնագիտական անդամակցություն
ԵՊՀ-ում գործող ԲՈՀ-ի 044 «Մաթեմատիկական կիբերնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտական խորհրդի անդամ
ՀՀ Մաթեմատիկական ընկերության անդամ
Սիմվոլիկ տրամաբանության ասոցիացիայի անդամ

achubaryan@ysu.am

Անահիտ Արտաշեսի Չուբարյան

Պրոֆեսոր | Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ - Դիսկրետ մաթեմատիկայի և տեսական ինֆորմատիկայի ամբիոն
 
 

Գիրք/Book

Ա. Ա. Չուբարյան, Հ. Գ. Մովսեսյան, Ս. Մ. Սայադյան

Հաշվարկելիության բարդության տեսության հիմնադրույթները | Ուս. ձեռնարկ: ԵՊՀ հրատ.: 2017թ․, 62 էջ

Anahit Chubaryan, Artur Khamisyan, Garik Petrosyan

On some systems for two versions of many-valued logics | LAP (Lambert Academic Publishing). 2017, 73 p.

A. A. Chubaryan

Rabin style speed-up of proofs | Monograph, LAP (Lambert Academic Publishing), Germany, 2010

A. Abajyan, An. Chubaryan

Proof Complexity of Hard-determinable Formula in R(lin) | ASL ESM, LC-2009, Abstracts, Sofia, 27

Ա. Ա. Չուբարյան, Հ. Ռ. Բոլիբեկյան, Հ. Մովսիսյան

Ալգորիթմների տեսության խնդիրների ժողովածու | Ուսումնական ձեոնարկ, ԵՊՀ հրատարակչություն, Երևան-2008 և http:users.freenet.am/~bolibek
 

Հոդված/Article

Anahit Chubaryan, Artur Khamisyan, Garik Petrosyan

Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems | Transactions on Machine Learning and Artificial Intelligence, 2019, Volume 7, No 1, pp. 56-63 |

Чубарян А. А., Саядян С. М., Зограбян Г. М.

О свойствах монотонности и строгой монотонности пропозициональных систем резолюций классической и неклассических логик | Sciences of Europe, 2019, 35, 2, pp. 74-77

Anahit Chubaryan, Artur Khamisyan

Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics | East African Scholars Journal of Engineering and Computer Sciences, 2019, 2(2), pp. 69-74 |

Chubaryan A. A., Tamazyan H. A., Tshitoyan A. S.

Some improvement of lower bounds for steps and sizes of proofs in Frege systems | Sciences of Europe, 2019, Vol 1, # 37, pp. 39-44 |

Г. М. Зограбян, С. М. Саядян, А. А. Чубарян

Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик | ՀՀ ԳԱԱ զեկույցներ, 2019, 119, 1, էջ 33-39 |
1   2   3   4   5   6   7   8   13  |  Տեսնել բոլորը
 

Թեզիս/Thesis

Anahit Chubaryan, Garik Petrosyan, Sergey Sayadyan

Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics | Logic Colloquium 2019. pp. 165-166 |

Anahit Chubaryan, Artur Khamisyan

On the proof complexity in two universal proof system for all versions of many-valued logics | Logic Colloquium 2019, p. 152-153 |

Anahit Chubaryan, Artur Khamisyan

On some universal proof system for all versions of many-valued logics | Logic Colloquium 2018. p. 95-96 |

Anahit Chubaryan, Artur Khamisyan

Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic | ASL, ESM, Logic Colloquium – 2017. p. 97 |

Anahit Chubaryan, Garik Petrosyan

On proof complexities for some classes of tautologies in Frege systems | ASL, ESM, Logic Colloquium – 2017. p. 99 |
1   2   3   4   5   6   7   8   9  |  Տեսնել բոլորը