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

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

Արտածումների որոշ բարդությունների հետազոտում | Երիտասարդ գիտնականների հոդվածների հոբելյանական ժողովածու, ԵՊՀ, 2000, էջ 16-20

А. А. Чубарян

О нижних оценках выводов в системах Фреге с подстановками | ДНАН Армении, Прикладная матема¬тика, т. 100, N 3, 2000, 223-227

A. A. Chubaryan

The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs | Mathematical Problems of Computer Science (Матем. воп¬ро¬сы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, с. 116-118

A. A. Chubaryan

The Complexity in Frege Poofs with Substitution | Mathematical Problems of Computer Science, (Матем. вопросы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, pp. 7-11

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

Արտածումների որոշ բարդությունների հետազոտում | Երիտասարդ գիտնականների հոդվածների ժողովածու, Եր., 2000, 2, 16 – 21
1   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  |  Տեսնել բոլորը