Անահիտ Արտաշեսի Չուբարյան
Կենսագրություն
Կրթություն
Երևանի պետական համալսարան, մեխանիկամաթեմատիկական ֆակուլտետ, 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

An. Chubaryan, H. Nalbandyan

On efficiency of Intuitionistic and Minimal Frege systems without and with different substitution rules | Nauka i Studia, 13 (58), Poland, 2012, pp. 117-124

An. Chubaryan, Arm. Chubaryan, A. Tshitoyan

The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them | Journal of Mathematics Research, Vol.4, No 6, Toronto, Published by Canadian Centre of Science and Education, 2012, pp.89-96

A. A. Chubaryan, H. Nalbandyan

Comparison of proof sizes in Frege systems and Substitution Frege systems | Int.J. ITA, Bulgaria, 2010, Vol.17, N 2, pp. 146-153

A. A. Chubaryan, A.Abajyan

Proof complexities of some propositional formulae classes in different refutation systems | Int. J. ITA, Bulgaria, 2010, Vol.17, N3, 289-299

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

On the Rabin’s speed-up of proofs for some systems of first order logic (Առաջին կարգի տրամաբանության որոշ համակարգերում արտածումների Ռաբինի արագացման մասին) | ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2010, #1, էջ 61–63 |
1   2   3   4   5   6   7   8   9   10   11   12   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  |  Տեսնել բոլորը