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

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

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

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

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

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

Մասնակցությունը դրամաշնորհների
ՀՀ ՊԳԿ դրամաշնորհներ (ծածկագիր 11-1B023 ղեկավար, ծածկագիր 13-1B246 ղեկավար, ծածկագիր 18T-1B034 մասնակից)

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

Մասնագիտական անդամակցություն
ԵՊՀ-ում գործող ԲՈՀ –ի 044 “Մաթեմատիկական կիբերնետիկա և մաթեմատիկական տրամաբանություն” մասնագիտական խորհրդի անդամ
ՀՀ Մաթեմատիկական ընկերության անդամ
Սիմվոլիկ տրամաբանության միջազգային ասոցիացիայի (ASL) անդամ
CiE միջազգային ասոցիացիայի անդամ

Պարգևներ
ԵՊՀ ոսկե մեդալ (2012)
ՀՀ վաստակավոր մանկավարժի կոչում (2014)

achubaryan@ysu.am

Վերջին հրապարակումները (156)
Ասույթային հաշվի որոշ համակարգերում բալանսավորված բանաձևերի մի դասի արտածումների բարդությունների վերաբերյալ
2022 | Հոդված/Article
ԵՊՀ Գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2022, հ. 56, #2, էջ 58-65
|
Anahit Chubaryan , Arsen Hambardzumyan
On non-monotonous properties of some propositional proof systems
2021 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2021, Poznan, Book of abstracts, 165. https://lc2021.pl/conf-data/LC2020/files/LC21_book_of_abstracts.pdf
Anahit Chubaryan , Sargis Hovhannisyan, Hayk Gasparyan
Comparison of two propositional proof systems by lines and by sizes
2021 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium–2021, Poznan, Book of abstracts, 166, https://lc2021.pl/conf-data/LC2020/files/LC21_book_of_abstracts.pdf
Anahit Chubaryan , Sargis Hovhannisyan
Comparison of two propositional proof systems by lines and by sizes
2021 | Թեզիս/Thesis
Logic Colloquium-20, Poznan, Poland (Postponed until 2021)
Anahit Chubaryan , Hayk Gasparyan
Monotonous and strong monotonous properties of some cut-free propositional sequent systems for several logics
2021 | Թեզիս/Thesis
Logic Colloquium-20, Poznan, Poland (Postponed until 2021)
Чубарян А.А. , Зограбян Г.М.
Исследование свойств монотонности и строгой монотонностидвух пропозициональных систем классической логики
2021 | Հոդված/Article
Sciences of Europe, Vol 1, # 70, Physics and Mathematics, 2021, 60-62. www.european-science.org, DOI: 10.24412/3162-2364-2021-70-1-60-62
Ա․ Ա․ Չուբարյան , Ա․ Ա․ Համբարձունյան
On non-monotonous properties of some classical and nonclassical propositional proof systems (Ասույթային հաշվի դասական և ոչ դասական որոշ արտածման համակարգերի ոչ մոնոտոնության վերաբերյալ)
2020 | Հոդված/Article
ԵՊՀ Գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2020, հ. 54, #3, էջ 127-136, https://doi.org/10.46991/PYSU:A/2020.54.3.127
|
Anahit Chubaryan , Sergey Sayadyan
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
2020 | Թեզիս/Thesis
WiL 2020, sites.google.com/g.uporto.pt/wil2020/posters
Anahit Chubaryan , Hakob Nalbandyan
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them
2020 | Թեզիս/Thesis
WiL 2020, sites.google.com/g.uporto.pt/wil2020/posters
А. А. Чубарян , A. A. Aмбарцумян, Г. А. Гаспарян, С. А. Ованнисян
О некоторых свойствах минимальных тавтологий классической и неклассических логик
2020 | Հոդված/Article
ДНАН РА, т.120, №1, 2020, 15-21. http://www.flib.sci.am/eng/Reports/Frame.html
Чубарян А.А. , Амбарцумян А.А.
O немонотоности гильбертовских систем исчисления высказываний классических и неклассических логик
2020 | Հոդված/Article
Sciences of Europe, Vol 1, # 53, Physics and Mathematics, 2020, 59-62. www.european-science.org
А.А.Чубарян , А.А.Тамазян
Об отношениях сложностей выводов в ряде систем исчисления высказываний
2020 | Հոդված/Article
Математические вопросы кибернетики и вычислстельной техники, 54,138-146, 2020. mpcs.sci.am/filesimages/voumes/volume_54/12.pdf
Anahit Chubaryan , Garik Petrosyan, Sergey Sayadyan
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
2019 | Թեզիս/Thesis
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
2019 | Թեզիս/Thesis
Logic Colloquium 2019, p. 152-153
|
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
2019 | Հոդված/Article
Transactions on Machine Learning and Artificial Intelligence, Volume 7 No 1 February (2019); pp: 56-63 http://dx.doi.org/10.14738/tmlai.71.6187, https://journals.scholarpublishing.org/index.php/TMLAI/issue/archive
|
Чубарян А. А. , Саядян С. М., Зограбян Г. М.
О свойствах монотонности и строгой монотонности пропозициональных систем резолюций классической и неклассических логик
2019 | Հոդված/Article
Sciences of Europe, 2019, 35, 2, pp. 74-77, http://elibrary.ru/title_about.asp?id=58360, https://european-science.org/mainpage/sample-page/
Anahit Chubaryan , Artur Khamisyan
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
2019 | Հոդված/Article
East African Scholars Journal of Engineering and Computer Sciences, 2019, 2(2), pp. 69-74, http://www.easpublisher.com/easjecs/
|
Chubaryan A. A. , Tamazyan H. A., Tshitoyan A. S.
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
2019 | Հոդված/Article
Sciences of Europe, 2019, Vol 1, # 37, pp. 39-44, http://elibrary.ru/title_about.asp?id=58360, https://european-science.org/mainpage/sample-page/
|
Г. М. Зограбян, С. М. Саядян, А. А. Чубарян
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
2019 | Հոդված/Article
ՀՀ ԳԱԱ զեկույցներ, 2019, 119, 1, էջ 33-39, http://www.flib.sci.am/eng/Reports/Frame.html
|
Universal system for many-valued logic, based on splitting method, and some of its properties
2019 | Հոդված/Article
International Journal of Innovative Studies in Sciences and Engineering Technology, 2019, Volume 5, Issue 5, pp. 52-55
|
Anahit Chubaryan , Sergey Sayadyan
On the Proof Complexities of Strongly Equal Non-classical Tautologies
2019 | Հոդված/Article
Advances in Mathematics and Computer Science, 2019, Vol.1,105-112, Chapter 6. https://doi.org/10.9734/bpi/amacs/v1
|
A. A. Chubaryan , H. A. Tamazyan
On lower bounds for proofs sizes in Frege systems
2019 | Հոդված/Article
ՀՀ ԳԱԱ զեկույցներ, 2019, 119, 2, էջ 116-121, http://www.flib.sci.am/eng/Reports/Frame.html
|
Anahit Chubaryan , Artur Khamisyan
On the proof complexity in two universal proof system for all versions of many-valued logics
2019 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2019, Prague, Book of abstracts, 152-153,. http://lc2019.cz/statics/abstracts/LC2019-Book_of_abstracts.pdf, The Bulletin of Symbolic Logic, Vol.25, No 4, 2019, 506
Anahit Chubaryan , Garik Petrosyan, Sergey Sayadyan
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
2019 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2019, Prague, Book of abstracts, 165-166, http://lc2019.cz/statics/abstracts/LC2019-Book_of_abstracts.pdf, The Bulletin of Symbolic Logic, Vol.25, No 4, 2019, 506-507
A.Чубарян , С.Ованисян, Г.Гаспарян
О некоторых свойствах пропозициональной системы обобщенных расщеплений
2019 | Հոդված/Article
Вестник РАУ, N 2, 2019, 34-42. http://science.rau.am/rus/50/701
Анаит А. Чубарян , Aрсен A.Aмбарцумян, Гайк А.Гаспарян, Саргис А.Ованнисян
О количестве минимальных тавтологий и свойствах их выводов в ряде систем классической и неклассических логик
2019 | Հոդված/Article
Математические вопросы кибернетики и вычислстельной техники 52, 66-79, 2019, mpcs.sci.am/filesimages/voumes/volume_52/08.pdf
Anahit Chubaryan , Garik Petrosyan
On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems
2018 | Հոդված/Article
Logic Colloquium 2018. 122-123 pp.
|
Anahit Chubaryan , Artur Khamisyan
On some universal proof system for all versions of many-valued logics
2018 | Թեզիս/Thesis
Logic Colloquium 2018. p. 95-96
|
Anahit Chubaryan , Artur Khamisyan
Two types of universal proof systems for all variants of many-valued logics and some properties of them
2018 | Հոդված/Article
Iran Journal of Computer Science. 2018, 1, 1-8 pp., https://doi.org/10.1007/s42044-018-0015-4
|
Чубарян А. А. , Саядян С. М.
"Слабые” системы выводов классического исчисления высказываний не монотонны
2018 | Հոդված/Article
Проблемы современной науки и образования. 2018, 2 (122), стр. 5-10
|
Chubaryan A. , Karabakhtsyan A., Petrosyan G.
Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics
2018 | Հոդված/Article
Journal of Asian Scientific Research. 2018, V.8, N2, 61-72 pp.
|
Саядян С. М., Чубарян А. А.
O свойстве немонотонности некоторых систем выводов классического исчисления высказываний
2018 | Հոդված/Article
Доклады НАН РА. 2018, 118, N 1, стр. 20-25
|
Chubaryan Anahit , Karabakhtsyan Arman, Petrosyn Garik
On some properties of several proof systems for non classical propositional logics
2018 | Հոդված/Article
Вестник Российско-Армянского Университета: Физико-математические и естественные науки. 2018, 1, стр. 5-17, http://science.rau.am/rus/50/701
|
Anahit Chubaryan , Artur Khamisyan
On some universal proof system for all versions of many-valued logics
2018 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2018, Udine, Italy, Program and Abstracts, 95-96
Anahit Chubaryan , Garik Petrosyan
On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems
2018 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2018, Udine, Italy, Program and Abstracts, 122-123
Anahit Chubaryan , Artur Khamisyan
Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic
2018 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2017, Stockholm, Programme and Abstracts, LC2017-Book, 97, The Bulletin of Symbolic Logic, Vol.24, No 2, 2018, 238-239
Anahit Chubaryan , Garik Petrosyan
On proof complexities for some classes of tautologies in Frege systems
2018 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2017, Stockholm, Abstracts, Programme and Abstracts, LC2017-Book, 99, The Bulletin of Symbolic Logic, Vol.24, No 2, 2018, 240
Anahit Chubaryan , Hakob Nalbandyan, Arman Karabakhtsyan, Garik Petrosyan
Propositional sequent systems of two valued classical logic and many valued logics are no monotonous
2018 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2017, Stockholm, Abstracts, Programme and Abstracts, LC2017-Book, 98, The Bulletin of Symbolic Logic, Vol.24, No 2, 2018, 239-240.
Հաշվարկելիության բարդության տեսության հիմնադրույթները
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 , Artur Khamisyan, Arman Tshitoyan
Some new proof systems for a version of many-valued logics and proof complexities in it
2017 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2016, Leeds, Volume of Abstracts, 70, The Bulletin of Symbolic Logic, Vol.23, No 2, 2017,260-261
Anahit Chubaryan , Garik Petrosyan
The proof complexities relations for strongly equal classical tautologies in Frege systems
2017 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium – 2016, Leeds, Volume of Abstracts, 69-70, The Bulletin of Symbolic Logic, Vol.23, No 2, 2017,260
Anahit Chubaryan , Garik Petrosyan
On some properties of several proof systems for 2-valued and 3-valued propositional logic
2017 | Հոդված/Article
Fundamentalis Scientiam, Vol.8(8), Spain, 2017, 70-73
Chubaryan Anahit , Khamisyan Artur, Arman Tshitoyan
On some systems for Łukasiewicz’s many-valued logic and its properties
2017 | Հոդված/Article
Fundamentalis Scientiam, Vol.8(8), Spain, 2017, 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
Some notes about lower bounds for steps and sizes of proofs in Frege systems
2016 | Թեզիս/Thesis
Logic Colloquium 2015 LC 2015 Annual European Summer Meeting of the Association for Symbolic Logic (ASL) University of Helsinki, 3–8 August 2015, The Bulletin of Symb. Logic V.22, N3, 2016, 391-392
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.
|
Anahit Chubaryan , Arman Tshitoyan
Improvement of lower bounds for steps and sizes of proofs in Frege systems
2015 | Թեզիս/Thesis
Third St. Petersburg Days of LOGIC and COMPUTABILITY devoted to the memory of Grigory MINTS (1939--2014),August 24-26, 2015, St.Petersburg, Russia. http://www.pdmi.ras.ru/EIMI/2015/LC/index.html
An. Chubaryan , Arm. Chubaryan, H. Nalbandyan, S. Sayadyan
On some universal system for various propositional logics
2015 | Թեզիս/Thesis
Logic Colloquium 2015 LC 2015 Annual European Summer Meeting of the Association for Symbolic Logic (ASL) University of Helsinki, 3–8 August 2015, The Bulletin of Symb. Logic V.22, N3, 2016, 391
An.Chubaryan , Arm. Chubaryan, A.Tshitoyan
On lower bounds for steps and sizes of proofs in Frege systems
2015 | Թեզիս/Thesis
Proceedings of CSIT-2015, Yerevan
An.Chubaryan , Arm. Chubaryan
Comparative analysis of proof complexities for strongly equal tautologies in some proof systems of different logics
2015 | Թեզիս/Thesis
14th Asian Logic Conference (ALC 2015), Accepted Abstracts, www.cse.iitb.ac.in/alc15/
Чубарян Ан.А. , Чубарян Арм.А.
Оценки некоторых сложностных характеристик выводов в системе обобщенных расщеплений
2015 | Հոդված/Article
НАУ, Отечественная наука в эпоху изменений: постулаты прошлого и теории нового времени, часть 10, 2(7), 2015, стр.11-14
An.Chubaryan , A.Mnatsakanyan, H.Nalbandyan
On some propositional proof system for modal logic
2015 | Հոդված/Article
НАУ, Отечественная наука в эпоху изменений: постулаты прошлого и теории нового времени, часть 10, 2(7), 2015, стр.14-16
An.Chubaryan , Arm. Chubaryan
Comparison of proof complexity for strongly equal tautologies in some proof systems
2014 | Թեզիս/Thesis
Second Joint International Meeting of the IMU-AMS, June, 2014, Abstracts, pp.16-17
Chubaryan An. , Mnatsakanyan A., Nalbandyan H.
On proof complexities of strong equal modal tautologies
2014 | Թեզիս/Thesis
LC-2014, Vienna, Austria, Abstracts pp. 42-43
An. Chubaryan , A.Mnatsakanyan
On the bounds of the main proof measures in some propositional proof systems
2014 | Հոդված/Article
Scholar Journal of Phis. Math. And Stat.,2014, Vol.1,Issue-2, pp.111-117.
An. Chubaryan , A.Mnatsakanyan
Super linear lower bounds for steps of proofs in some Frege system
2014 | Հոդված/Article
News of Science and Education, Sheffield, SCIENCE AND EDUCATION LTD, NR 21(21) 2014, pp.104-110.
An. Chubaryan , S. Sayadyan
On the Proof Complexities of Strongly Equal Non-classical Tautologies
2014 | Հոդված/Article
British Journal of Mathematics & Computer Science 4(15): XX-XX, 2014,pp.2170-2176, SCIENCEDOMAIN international, sciencedomain.org
An. Chubaryan , A. Mnatsakanyan
Proof Systems and Satisfiability Problem
2013 | Թեզիս/Thesis
CSIT-2013 Yerevan, pp.27-29
An.Chubaryan , Arm. Chubaryan
Some propositional proof systems for various logics
2013 | Թեզիս/Thesis
ASL, ESM, Logic Colloquium-2013, Evora, Volume of Abstracts, pp. 34
An. Chubaryan , A. Mnatsakanyan
On some new propositional proof systems
2013 | Թեզիս/Thesis
CiE-2013, Milan, Collection of Abstracts, pp.9
An.Chubaryan , Arm. Chubaryan, A.Mnatsakanyan
Proof complexities of strongly equal classical tautologies in some proof systems
2013 | Հոդված/Article
Nauka i Studia, NR 42 (110) 2013, pp.92-98.
Ан.Чубарян , С.М.Саядян
О некоторых системах доказательств для интуиционистской и минимальной пропозициональных логик
2013 | Հոդված/Article
ДАН НАН РА, т. 1, 2013, 13-21
An.Chubaryan , Arm. Chubaryan, A.Tshitoyan
Refutation of hard-determinable formulas in the system “Resolution over Linear Equations” and its generalization
2013 | Հոդված/Article
Pure and Applied Mathematics Journal,USA, 2013; 2(3); 128-133.
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