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

А. А. Чубарян

О сложности выводов в расширениях формальной арифметики | "Молодой научный работник", Изд-во ЕГУ, N 2 (20), 1974, 60-63

А. А. Чубарян

О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний | Изв. АН Арм. ССР, т. X, N 5, 1974, 398-409

А. А. Чубарян, Г. Цейтин

Некоторые оценки длин логических выводов в классическом исчислении высказываний | ДАН Арм. ССР, т. LV, N 1, 1972, 10-12
1   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  |  Տեսնել բոլորը