Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>
Անահիտ Արտաշեսի Չուբարյան

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

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

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

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

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

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

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

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

achubaryan@ysu.am

Հաշվարկելիության բարդության տեսության հիմնադրույթները
2017 | Գիրք/Book
Ուս. ձեռնարկ: ԵՊՀ հրատ.: 2017թ․, 62 էջ
Anahit Chubaryan , Artur Khamisyan
Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic
2017 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2017. p. 97
|
Anahit Chubaryan , Garik Petrosyan
On proof complexities for some classes of tautologies in Frege systems
2017 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2017. p. 99
|
Anahit Chubaryan , Hakob Nalbandyan, Arman Karabakhtsyan , Garik Petrosyan
Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html
2017 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2017. p. 98
|
Anahit Chubaryan , Artur Khamisyan, Garik Petrosyan
On some systems for two versions of many-valued logics
2017 | Գիրք/Book
LAP (Lambert Academic Publishing). 2017, 73 p.
Chubaryan A. A. , Tshitoyan A. S.
On some propositional proof systems for various logics
2017 | Հոդված/Article
Sciences of Europe. 2017, 11 (11), pp. 26-29
|
Chubaryan A. A. , Petrosyan G. W.
Some notes on proof complexities in Frege systems
2017 | Հոդված/Article
Sciences of Europe. 2017, Vol.1,#12 (12), pp. 31-34
|
Chubaryan Anahit , Khamisyan Artur
Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic
2017 | Հոդված/Article
Pure and Applied Mathematics. 2017, Vol.6, No. 2, pp. 71-75
|
Anahit Chubaryan , Garik Petrosyan
On some properties of several proof systems for 2-valued and 3-valued propositional logic
2017 | Հոդված/Article
Fundamentalis scientiam. 2017, 8(8), pp. 70-73
|
Chubaryan Anahit , Khamisyan Artur, Arman Tshitoyan
On some systems for Łukasiewicz’s many-valued logic and its properties
2017 | Հոդված/Article
Fundamentalis scientiam. 2017, 8(8), pp. 74-79
|
Anahit Chubaryan , Garik Petrosyan
The proof complexities relations for strongly equal classical tautologies in Frege systems
2016 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2016, p. 69-70
|
Anahit Chubaryan , Artur Khamisyan, Arman Tshitoyan
Some new proof systems for a version of many-valued logics and proof complexities in it
2016 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2016, p. 70
|
Chubaryan A. A. , Petrosyan G. W
The relations between the proof complexities of strongly equal classical tautologies in Frege systems
2016 | Հոդված/Article
Российско-Китайский международный научный журнал «Содружество», 2016, № I (1), стр. 78-81
|
А. А. Чубарян , А. С. Читоян, А. А. Хамисян
О некоторых системах доказательств для многозначных логик и сложностях выводов в них
2016 | Հոդված/Article
ՀՀ ԳԱԱ զեկույցներ, 2016թ․, том 116, N2, 108-114 էջ, Հայաստան
|
Анаит Чубарян , Артур Хамисян
Новый метод доказательства полноты пропозициональной системы трехзначной логики Лукасевича и его приложения
2016 | Հոդված/Article
Evolutio. Естественные науки, 2016, Вып 3 , стр. 9-12
|
Anahit Chubaryan , Garik Petrosyan
Frege systems are no monotonous
2016 | Հոդված/Article
Evolutio. Естественные науки, 2016, Вып 3, стр. 12-14
|
An. Chubaryan , Arm. Chubaryan, A.Tshitoyan
On lower bounds for steps and sizes of proofs in Frege systems
2015 | Հոդված/Article
CSIT-2015, Yerevan. 2015-09-28, 16-18 pp.
|
An. Chubaryan , Arm. Chubaryan
Resolution systems with restricted substitution rule
2012 | Թեզիս/Thesis
CiE-2012, Cambridge, Abstracts,25
On the hierarchies of some propositional systems for classical and non-classical logics
2012 | Թեզիս/Thesis
Mathematical Problems of Computer Science, 38, Yerevan, 2012, pp. 95-96
An. Chubaryan , S. Sayadyan,
Some new propositional proof systems for intuitionistic and minimal logics
2012 | Թեզիս/Thesis
Mathematical Problems of Computer Science, 38, Yerevan, 2012, pp. 44-45.
An. Chubaryan , Arm. Chubaryan, H.Nalbandyn, S. Sayadyan
A Hierarchy of Resolution Systems with Restricted Substituted Rules
2012 | Հոդված/Article
Computer Technology and Applications, David Publishing, USA, Vol.3, N4, 2012, pp. 330-336
An. Chubaryan , H. Nalbandyan
On efficiency of Intuitionistic and Minimal Frege systems without and with different substitution rules
2012 | Հոդված/Article
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
2012 | Հոդված/Article
Journal of Mathematics Research, Vol.4, No 6, Toronto, Published by Canadian Centre of Science and Education, 2012, pp.89-96
An. Chubaryan , Arm. Chubaryan, A. Abajyan
On determinative disjunctive normal Forms
2011 | Թեզիս/Thesis
CSIT Conference 2011, Yerevan, 39-41
An. Chubaryan , Arm. Chubaryan, H. Nalbandyan,
A hierarchy of Resolution with restricted substitution for Classical propositional Logic
2011 | Թեզիս/Thesis
SciRP Workshop, Shanghai, China, 2011, 6-7
An. Chubaryan , Arm. Chubaryan, S. Sayadan
Resolution systems with restricted substitution for Intuitionistic and Minimal Logics
2011 | Թեզիս/Thesis
SciRP Workshop, Shanghai, China, 2011, 7
Rabin style speed-up of proofs
2010 | Գիրք/Book
Monograph, LAP (Lambert Academic Publishing), Germany, 2010
A. A. Chubaryan , H. Nalbandyan
Comparison of proof sizes in Frege systems and Substitution Frege systems
2010 | Հոդված/Article
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
2010 | Հոդված/Article
Int. J. ITA, Bulgaria, 2010, Vol.17, N3, 289-299
Academic Discourse in Multicultural Aspects
2010 | Թեզիս/Thesis
ESSE 10 International Conference of European Society for the Study of English. ESSE 10 Conference Program (poster session). Italy, Torino: Tipografia Testa-Torino, 2011, էջ 71
An. Chubaryan , Arm. Chubaryan, H. Nalbandyan
On the sizes in Frege proofs and Substitution Frege proofs
2010 | Թեզիս/Thesis
ASL ESM, LC, Paris, 2010, 37.
An. Chubaryan , Arm. Chubaryan, A. Abajyan
On numerical properties of determinative normal forms
2010 | Թեզիս/Thesis
LC-2010, Paris, 45
On the Rabin’s speed-up of proofs for some systems of first order logic (Առաջին կարգի տրամաբանության որոշ համակարգերում արտածումների Ռաբինի արագացման մասին)
2010 | Հոդված/Article
ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2010, #1, էջ 61–63
|
A. A. Chubaryan , S. Aleksanyan
The polynomial bounds of proof complexity in Frege systems
2009 | Հոդված/Article
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
2009 | Հոդված/Article
DNAN RA, Prikladnaja Matematika, 2009, V. 109, N 3, 208-213 (in Russian)
A. Abajyan, An. Chubaryan
Proof Complexity of Hard-determinable Formula in R(lin)
2009 | Գիրք/Book
ASL ESM, LC-2009, Abstracts, Sofia, 27
An. Chubaryan , Arm. Chubaryan, H. Nalbandyan
Efficiency of Weak Substitution Rules
2009 | Թեզիս/Thesis
ASL ESM, LC-2009, Abstract, Sofia, 37-38
An. Chubaryan , Arm. Chubaryan, H. Nalbandyan
Comparison of the Efficiency of Frege Systems with Restricted Substitution Rules
2009 | Թեզիս/Thesis
CSIT, 2009, Yerevan, 31-32.
Ալգորիթմների տեսության խնդիրների ժողովածու
2008 | Գիրք/Book
Ուսումնական ձեոնարկ, ԵՊՀ հրատարակչություն, Երևան-2008 և http:users.freenet.am/~bolibek
A. A. Chubaryan , A. Chubaryan, S. Aleksanyan
Comparison of the Complexities in Frege Proofs with defferent Substition rules
2008 | Հոդված/Article
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
2008 | Հոդված/Article
Armenian Journal of Mathematics, V. 1, N 2, 2008, pp. 29-35
An. Chubaryan , Arm. Chubaryan
On the proof complexities in the Frege systems with different substitution rules
2008 | Թեզիս/Thesis
ESM, ASL, Logic-Colloquium-2008, Bern, 37.
An. Chubaryan , Arm. Chubaryan
Relative efficiency of Frege Systems with different substitution rules
2008 | Թեզիս/Thesis
ASL- 10, Kobe, Japan, 2008, 43
A. A. Chubaryan , A. Chubaryan, S. M. Sayadyan
The relative efficiency of propositional proof systems for classical and non-classical logic
2007 | Գիրք/Book
Book “Perspectives on Universal Logic”, ISP, Monza, Italy,2007, pp. 265-275
A. A. Chubaryan , A. Chubaryan
A new definition of Equality of Tautologies for various Logics
2007 | Հոդված/Article
L&PS, V.5, Issue 1, 2007, Triest, Italy, 3-8
A. A. Chubaryan , S. Aleksanyan
On determinative complexity of Frege Proofs
2007 | Հոդված/Article
XIV International Conference on LPAR, Proceedings of the short Papers Session, 2007, Yerevan, pp. 117-122
An. Chubaryan , Arm. Chubaryan
A new definition of Equality of Tautologies for various Logics
2007 | Թեզիս/Thesis
I International Algebra and Geometry Confe¬rence, 2007, Yerevan, 11
An. Chubaryan , S. Aleksanyan
On determinative complexity of Frege Proofs
2007 | Թեզիս/Thesis
XIV International Conference on LPAR, Proceedings of the short Papers Session, 2007, Yerevan, 117-122
On the most generalized speed-up in first order logic
2006 | Հոդված/Article
Proceedings of the Logic Colloquium 2005, Athens (and the Bulletin of Symbolic Logic, v. 12, No. 2, 2006), p. 59 (p. 328)
On the most generalized speed-up in first order logic
2006 | Թեզիս/Thesis
Logic-Colloquium 2005 ESM, ASL, Athens, 59, and the Bulletin of Symbolic Logic, v. 12, N 2, June, 2006, 328
An. Chubaryan , S. Sayadyan
The relative efficiency of different propositional proof systems
2006 | Թեզիս/Thesis
Logic-Colloquium 2005 ESM, ASL, Athens, 58, and the Bulle¬tin of Symbolic Logic, v. 12, N 2, June, 2006, 327
Об эффективности различных систем классических и неклассических логик
2005 | Հոդված/Article
ДАН, РФ, Математика, т. 404, N 2, 2005, and DMS 5/1, 2005, MAIK “Nauka/Interperiodika”,166-168
О сложности выводов в некоторых системах классического исчисления высказываний
2005 | Հոդված/Article
“Математические вопросы кибернети¬ки”, вып. 14, 2005, М., Физматлит, с. 49-56
An. Chubaryan , Arm. Chubaryan
On the proofs complexity in the Resolution systems of Intuitionistic and Minimal propositional logic
2005 | Թեզիս/Thesis
Logic Colloquium 2004, Torino, Italy, Abstracts, 62, and Bulletin of Symb. Logic, v. 11, N 2, 2005, 271-272
An. Chubaryan , Arm. Chubaryan, S. Sayadyan
The relative efficiency of propositional proof systems for classical and non-classical logic
2005 | Թեզիս/Thesis
1st World Congress Unilog, Montreux, Switzerland, Handbook 2005, 18
An. Chubaryan , S. Sayadyan
Comparison of efficiency of of some proof systems for classical and non-classical logic
2005 | Թեզիս/Thesis
CSIT-2005, Yerevan, 39-42
An. Chubaryan , S. Aleksanyan
On some properties of Frege proofs
2005 | Թեզիս/Thesis
CSIT-2005, Yerevan, 35-38
On some proof systems for I. Johansson’s minimal logic of predicates
2004 | Հոդված/Article
Proceedings of the Logic Colloquium 2003, Helsinki (and the Bulletin of Symbolic Logic, v. 10, No. 2, 2004), p. 56 (p.250)
On some proof systems for I. Johansson's minimal logic of predicates
2004 | Թեզիս/Thesis
Logic Colloquium 2003, Helsinki, Finland, Aug. 14-20, Abstracts, and Bulletin of Symb. Logic, v.10, N2, 2004, 31
An. Chubaryan , Arm. Chubaryan
On the proofs complexity in CPL
2003 | Թեզիս/Thesis
Logic Colloquium-2002, Muenster, Germany, 30-31, and Bulletin of Symbolic Logic, v. 9, N 1, Murch 2003,167
On the proofs complexity in intuitionistic and minimal propositional logic
2003 | Թեզիս/Thesis
Logic Colloquium-2002, Muenster, Germany, 45, and Bulletin of Symbolic Logic, v. 9, N 1, Murch 2003, 172
An. Chubaryan , Arm. Chubaryan, S. Aleksanyan
On the proofs complexity in some "weak" systems of CPL
2003 | Թեզիս/Thesis
12-th International Congress of Logic, Methodology and Philosophy of Science, Volume of Abstracts, Spain, Oveido, 2003,61-62
An. Chubaryan , Arm. Chubaryan, S. Aleksanyan
On the Bounds of the Proofs Complexity in Some "Weak" Systems of Classical Propositional Logic
2003 | Թեզիս/Thesis
CSIT Conference, Yerevan, 2003, 86-87
О секвенциальных системах слабых арифметик
2002 | Հոդված/Article
ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218
Относительная эффективность некоторых систем доказательств классической пропозициональной логики
2002 | Հոդված/Article
Известия НАН РА, т. 37, N 5, 2002, and Journal of CMA (AAS), v. 37, N5, 2002, 71-84
Ռոբինսոնի թվաբանության մինիմալ սեկվենցիալ հաշիվների մասին (О минимальных секвенциальных исчислениях арифметики Робинсона)
2002 | Հոդված/Article
ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2002, #3, էջ 20-22 (ռուսերեն)
|
О секвенциальных системах слабых арифметик
2002 | Հոդված/Article
ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218
О минимальных секвенциальных исчислениях арифметики Робинсона
2002 | Գիրք/Book
Ученые записки ЕГУ, 3, 2002, 20 – 22
On the Complexity of proofs in a Frege system
2002 | Թեզիս/Thesis
Colloquium Logicum, Annals of Kurt-Godel-Society, v. 4, Vienna, 2001 and Bull of Symb. Logic, v. 8, N 1, Murch 2002, 128
Ասույթային դասական հաշվի մեկ համակարգի վերաբերյալ (О некоторой системе классического исчисления высказываний)
2001 | Հոդված/Article
ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2001, #2, էջ 22-26 (ռուսերեն)
|
About the Complexity of proofs in Frege systems
2001 | Թեզիս/Thesis
CSIT Conference, Yerevan, 2001, 32-35
Արտածումների որոշ բարդությունների հետազոտում
2000 | Հոդված/Article
Երիտասարդ գիտնականների հոդվածների հոբելյանական ժողովածու, ԵՊՀ, 2000, էջ 16-20
О нижних оценках выводов в системах Фреге с подстановками
2000 | Հոդված/Article
ДНАН Армении, Прикладная матема¬тика, т. 100, N 3, 2000, 223-227
The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs
2000 | Հոդված/Article
Mathematical Problems of Computer Science (Матем. воп¬ро¬сы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, с. 116-118
The Complexity in Frege Poofs with Substitution
2000 | Հոդված/Article
Mathematical Problems of Computer Science, (Матем. вопросы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, pp. 7-11
Արտածումների որոշ բարդությունների հետազոտում
2000 | Հոդված/Article
Երիտասարդ գիտնականների հոդվածների ժողովածու, Եր., 2000, 2, 16 – 21
О сложности выводов в некоторой системе классического исчисления высказываний
1999 | Հոդված/Article
Изв. НАН Армении, Математика, т. 34, N 5, 1999 and Journal of CMA (AAS), v. 34, N5, 1999, 16-26
Сравнение выводов в системах Фреге и системах Фреге с правилом подстановки
1999 | Հոդված/Article
Известия НАН РА, Математика, т. 35, N 5, 2000 and Journal of CMA (AAS), v. 35, N5, 1999, с. 21-29
On the complexity of deductions in any system of classical propositional calculus
1999 | Թեզիս/Thesis
Joint Workshop, ISU and IIAP of Armenia NAS, Yerevan 1999, IIAP of Armenia NAS, 7
О сложности выводов отдельных классов формул
1999 | Թեզիս/Thesis
CSIT Conference, Yerevan, 1999, 7-8
On the lengths of deductions in several logical systems
1997 | Թեզիս/Thesis
CSIT Conference, Yerevan, 1997, 24-25
Сравнение длин выводов в некоторых системах ис¬числения высказываний
1988 | Թեզիս/Thesis
IX Всесоюзная конф. по матем. логике, Ленинград, 1988, 176
А. А. Чубарян , Г. Зорян, А. Джугарян
О сложности расщепления для некоторых классов формул
1987 | Հոդված/Article
Прикладная математика, вып. 5, Изд-во ЕГУ, 1987, 121-129
Ավտոմատներ և Թյուրինգի մեքենաներ
1984 | Գիրք/Book
Ուսումնական ձեռնարկ, ԵՊՀ հրատարակչություն, Երևան 1984
О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики
1982 | Հոդված/Article
"Математические вопросы кибернетики и вычислительной техники", Ереван, Изд-во АН Арм. ССР, X, 1982, 124-139
О сравнении длин выводов в различных системах исчисления высказываний
1982 | Հոդված/Article
Второй чехословацко-советский семи¬нар молодых ученых по математической информатике, Братислава, 1982, 145-150
О сложности выводов в различных системах исчисления высказываний
1981 | Հոդված/Article
Прикладная математика, вып. 1, Изд-во ЕГУ, 1981, 81-89
О сложности выводов в формальной арифметике и исчислении предикатов
1977 | Հոդված/Article
ДАН Арм. ССР, т. LXIV, N 4, 1977, 193-196
А. А. Чубарян , Г. Цейтин
О некоторых оценках длин логических выводов в классическом исчислении высказываний
1975 | Հոդված/Article
"Математические вопросы кибернетики и вычислительой техники", Ереван, Изд-во АН Арм ССР, 1975, 57-64
А. А. Чубарян , Нгуен Вань Тинь
Некоторые оценки сложностных характеристик выводов в классическом исчислении высказываний
1975 | Հոդված/Article
"Молодой научный работник", Ереван, Изд-во ЕГУ, N 2 (22), 1975, 47-54.
О длинах выводов формулы в расширениях формальной арифметики
1974 | Հոդված/Article
Изд-во АН ССР, IX, N 5, 1974, 409-420
О сложности выводов в расширениях формальной арифметики
1974 | Հոդված/Article
"Молодой научный работник", Изд-во ЕГУ, N 2 (20), 1974, 60-63
О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний
1974 | Հոդված/Article
Изв. АН Арм. ССР, т. X, N 5, 1974, 398-409
О длинах выводов формул в расширениях формальной арифметики
1974 | Թեզիս/Thesis
III Всесоюзная конференция по матем. логике (Тезисы докладов), Новосибирск, 1974, 225-226.
О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний
1974 | Թեզիս/Thesis
Теория логического вывода, (тезисы док¬ладов Всесоюзного симпозиума), часть II, Москва, 1974, 169-172
А. А. Чубарян , Г. Цейтин
Некоторые оценки длин логических выводов в классическом исчислении высказываний
1972 | Հոդված/Article
ДАН Арм. ССР, т. LV, N 1, 1972, 10-12