Anahit A. Chubaryan
Biography
Education
Yerevan State University, Department of mechanic and mathematic: 1964 - 1969,
PhD - education: 1969 - 1972

Academic degree
Candidate thesis “On proof complexity characteristics in some logical calculus”, 1978, NC, SA of USSR, Moscow
Doctoral thesis “Investigation of proof complexity characteristics in logical
and logic-mathematical systems”, 2007, IPIA of NAS RA, Yerevan

Professional experience
YSU, chair of “Mathematical cybernetic” lecture: 1972-1976
senior lecture: 1976 - 1982
associate professor: 1982 - 2009
chair of “Theory of systems” holder of the chair: 1986 - 1991
chair of “Discrete mathematic and informatic” full professor: 2009 - at present

Academic courses
Theory of algorithm, mathematical logic, discrete mathematic,
Common complexity theory, proof complexity

Scale of professional interests
Mathematical logic, proof theory, proof complexity

Participation in grant projects
Grant of SCS of RA (code 11-1b023)

Languages
Armenian, Russian, English, Germany

Professional membership
Member of 1) specialized council 044 “Mathematical cybernetic and mathematical logic” of SCC of RA by YSU 2) Armenian mathematical society 3) of Association of Symbolic Logic

achubaryan@ysu.am

Anahit A. Chubaryan

Professor | Faculty of Informatics and Applied Mathematics - Chair of Discrete Mathematics and Theoretical Informatics
 
 

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

, Anahit A. Chubaryan

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

A. A. Chubaryan, H. R. Bolibekyan, H. Movsisyan

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

Article

A. A. Chubaryan, S. Aleksanyan

The polynomial bounds of proof complexity in Frege systems | Siberian Mathematical Journal, Springer Verlag, V. 50, N 2, 2009, pp. 243-249

A. A. Chubaryan, H. Nalbandyan

Comparison of the Efficiency of Frege Systems with Different Mօdifications of Substitution Rule | DNAN RA, Prikladnaja Matematika, 2009, V. 109, N 3, 208-213 (in Russian)

A. A. Chubaryan, A. Chubaryan, S. Aleksanyan

Comparison of the Complexities in Frege Proofs with defferent Substition rules | Mathematical Problems of Computer Science, 30, NAS RA, 2008, pp. 36-39

A. A. Chubaryan, A. Chubaryan

Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics | Armenian Journal of Mathematics, V. 1, N 2, 2008, pp. 29-35

A. A. Chubaryan, A. Chubaryan

A new definition of Equality of Tautologies for various Logics | L&PS, V.5, Issue 1, 2007, Triest, Italy, 3-8
1   2   3   4   5   6   7   8   9   10   11   12   13  |  See all
 

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  |  See all