Skip to main content
Գլխավոր
envelope
ՀայերենРусскийEnglish

Main Navigation (Arm)

  • Ընդունելություն
    • Բակալավրիատ
    • Մագիստրատուրա
    • Ասպիրանտուրա
    • Օտարերկրյա ուսանողներ
    • Նախապատրաստական դասընթացներ
    • Դիմորդների հետ տարվող աշխատանքներ
    • ԵՊՀ ՍԹԵՄ ավագ դպրոց
  • Կրթություն
    • Առաջինկուրսեցու ուղեցույց
    • Կրթական ծրագրեր
    • Մանկավարժի որակավորման շնորհում
    • Ակադեմիական գրագրության կենտրոն
    • Շարունակական կրթություն
    • Ակադեմիական օրացույց
  • Գիտություն
    • Բաց գիտություն
    • Գիտաժողովներ
    • Գրադարան
    • Դրամաշնորհներ
    • Հրատարակչություն
    • Մասնագիտական խորհուրդներ
    • ՄՌԿ ռազմավարություն հետազոտողների համար
  • Նորություններ
    • Իրադարձություններ
    • Միջոցառումներ
    • Լուրեր
    • Տեղեկագիր
    • Հայտարարություններ
    • Պատկերասրահ
    • Տեսադարան

Secondary navigation (Arm)

  • ԵՊՀ-ի մասին
    • ԵՊՀ կառավարումը
    • ԵՊՀ խորհրդանիշները
    • Միջազգային համագործակցություն
    • Որակի ապահովում
    • ԵՊՀ պատմության թանգարան
    • Աշխատանք ԵՊՀ-ում
    • Հաճախ տրվող հարցեր
  • Կառուցվածք
    • ԵՊՀ ֆակուլտետներ և կրթական կենտրոններ
      • Աշխարհագրության և երկրաբանության ֆակուլտետ
      • Աստվածաբանության ֆակուլտետ
      • Արևելագիտության ֆակուլտետ
      • Ժուռնալիստիկայի ֆակուլտետ
      • Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
      • Իրավագիտության ֆակուլտետ
      • Կենսաբանության ֆակուլտետ
      • Հայ բանասիրության ֆակուլտետ
      • Մաթեմատիկայի և մեխանիկայի ֆակուլտետ
      • Մանկավարժության և կրթության զարգացման կենտրոն
      • Միջազգային հարաբերությունների ֆակուլտետ
      • Պատմության ֆակուլտետ
      • Ռուս բանասիրության ֆակուլտետ
      • Սոցիոլոգիայի ֆակուլտետ
      • Տեղեկատվական տեխնոլոգիաների կրթական և հետազոտական կենտրոն
      • Տնտեսագիտության և կառավարման ֆակուլտետ
      • Փիլիսոփայության և հոգեբանության ֆակուլտետ
      • Քիմիայի ֆակուլտետ
      • Եվրոպական լեզուների և հաղորդակցության ֆակուլտետ
      • Եվրոպական ուսումնասիրությունների կենտրոն
      • Ֆարմացիայի ինստիտուտ
      • Ֆիզիկայի ինստիտուտ
      • Քաղաքացիական պաշտպանության ամբիոն
      • Ֆիզիկական դաստիարակության և սպորտի ամբիոն
    • Column Wrapper
      • ԵՊՀ ՍԹԵՄ ավագ դպրոց
      • ԵՊՀ Իջևանի մասնաճյուղ
    • Գիտական կենտրոններ և լաբորատորիաներ
      • Կենսաբանության գիտահետազոտական ինստիտուտ
      • Հայագիտական հետազոտությունների ինստիտուտ
      • Հումանիտար հետազոտությունների ինստիտուտ
      • Մաթեմատիկական և կիրառական հետազոտությունների կենտրոն
      • Քիմիայի գիտահետազոտական կենտրոն
      • Ֆարմացիայի ինստիտուտի գիտահետազոտական կենտրոն
      • Ֆիզիկայի գիտահետազոտական ինստիտուտ
    • Գիտաուսումնական կենտրոններ
      • Ամերիկյան հետազոտությունների կենտրոն
      • Գերմեծ ինտեգրալ սխեմաների նախագծում (Սինոփսիս) մասնագիտացման լսարան-լաբորատորրիա
      • Դեղերի որակի հսկման և մոնիթորինգի գիտաուսումնական կենտրոն
      • Իրավաբանական կլինիկա
      • Կիրառական հոգեբանության կենտրոն
      • Հունագիտության գիտաուսումնական կենտրոն-գրադարան
      • Մանրէաբանական կենսատեխնոլոգիաների և կենսավառելիքի նորարարական կենտրոն
      • Ռուսական կենտրոն
      • Ռուսաստանյան հետազոտությունների կենտրոն
      • Սոցիոլոգիայի հեռաուսուցման լաբորատորիա
    • Column Wrapper
      • Բաններ
    • ԵՊՀ վարչական ստորաբաժանումներ
      • Անձնակազմի կառավարման բաժին
      • Արխիվ
      • Ավտոպարկ
      • Բիզնես ինկուբատոր
      • Բյուրականի ուսումնաարտադրական բազա
      • Բուժկետ
      • Գիտական քարտուղարություն
      • Գիտական քաղաքականության վարչություն
      • Գնումների կազմակերպման վարչություն
      • Դոկտորական կրթության կենտրոն
      • ԵՊՀ պատմության թանգարան
      • Էներգետիկ համակարգի շահագործման բաժին
      • Ընդհանուր բաժին
      • Ընդունելության և դիմորդների հետ տարվող աշխատանքների կենտրոն
      • Իրավաբանական ծառայություն
      • Ծաղկաձորի ուսումնաարտադրական բազա
      • Հակահրդեհային ծառայություն
      • Հատուկ բաժին
      • Հաշվապահական հաշվառման վարչություն
      • Հյուրերի տուն
      • Հրատարակչություն
      • Մարքեթինգի բաժին
      • Միջազգային համագործակցության վարչություն
      • Մշակույթի կենտրոն
      • Շրջանավարտների և կարիերայի կենտրոն
      • Որակի ապահովման կենտրոն
      • Ռազմավարական պլանավորման կենտրոն
      • Ռեկտորի աշխատակազմ
      • Սարգիս և Մարի Իզմիրլյանների անվան գրադարան
      • Տարածքի բարեկարգման և կանաչապատման բաժին
      • Տեղեկատվական տեխնոլոգիաների վարչություն
      • Տնտեսական գործունեության կազմակերպման և վերահսկման բաժին
      • Ուսումնամեթոդական վարչություն
      • Ուսանողական հանրակացարան
      • Ուսանողների հետ տարվող աշխատանքների կենտրոն
      • Ֆինանսական վերլուծությունների վարչություն
  • Կառուցվածք
  • Շրջանավարտներ և կարիերա
    • Կարիերայի կենտրոն
    • Շրջանավարտների համայնք
    • ԵՊՀ բարեկամներ
  • Ուսանողական կյանք
    • Արվեստ և մշակույթ
    • ԵՊՀ ուսանողական խորհուրդ
    • ԵՊՀ ուսանողական գիտական ընկերություն
ՀայերենРусскийEnglish
envelope

Main Navigation (Arm)

  • Ընդունելություն
    • Բակալավրիատ
    • Մագիստրատուրա
    • Ասպիրանտուրա
    • Օտարերկրյա ուսանողներ
    • Նախապատրաստական դասընթացներ
    • Դիմորդների հետ տարվող աշխատանքներ
    • ԵՊՀ ՍԹԵՄ ավագ դպրոց
  • Կրթություն
    • Առաջինկուրսեցու ուղեցույց
    • Կրթական ծրագրեր
    • Մանկավարժի որակավորման շնորհում
    • Ակադեմիական գրագրության կենտրոն
    • Շարունակական կրթություն
    • Ակադեմիական օրացույց
  • Գիտություն
    • Բաց գիտություն
    • Գիտաժողովներ
    • Գրադարան
    • Դրամաշնորհներ
    • Հրատարակչություն
    • Մասնագիտական խորհուրդներ
    • ՄՌԿ ռազմավարություն հետազոտողների համար
  • Նորություններ
    • Իրադարձություններ
    • Միջոցառումներ
    • Լուրեր
    • Տեղեկագիր
    • Հայտարարություններ
    • Պատկերասրահ
    • Տեսադարան

Secondary navigation (Arm)

  • ԵՊՀ-ի մասին
    • ԵՊՀ կառավարումը
    • ԵՊՀ խորհրդանիշները
    • Միջազգային համագործակցություն
    • Որակի ապահովում
    • ԵՊՀ պատմության թանգարան
    • Աշխատանք ԵՊՀ-ում
    • Հաճախ տրվող հարցեր
  • Կառուցվածք
    • ԵՊՀ ֆակուլտետներ և կրթական կենտրոններ
      • Աշխարհագրության և երկրաբանության ֆակուլտետ
      • Աստվածաբանության ֆակուլտետ
      • Արևելագիտության ֆակուլտետ
      • Ժուռնալիստիկայի ֆակուլտետ
      • Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
      • Իրավագիտության ֆակուլտետ
      • Կենսաբանության ֆակուլտետ
      • Հայ բանասիրության ֆակուլտետ
      • Մաթեմատիկայի և մեխանիկայի ֆակուլտետ
      • Մանկավարժության և կրթության զարգացման կենտրոն
      • Միջազգային հարաբերությունների ֆակուլտետ
      • Պատմության ֆակուլտետ
      • Ռուս բանասիրության ֆակուլտետ
      • Սոցիոլոգիայի ֆակուլտետ
      • Տեղեկատվական տեխնոլոգիաների կրթական և հետազոտական կենտրոն
      • Տնտեսագիտության և կառավարման ֆակուլտետ
      • Փիլիսոփայության և հոգեբանության ֆակուլտետ
      • Քիմիայի ֆակուլտետ
      • Եվրոպական լեզուների և հաղորդակցության ֆակուլտետ
      • Եվրոպական ուսումնասիրությունների կենտրոն
      • Ֆարմացիայի ինստիտուտ
      • Ֆիզիկայի ինստիտուտ
      • Քաղաքացիական պաշտպանության ամբիոն
      • Ֆիզիկական դաստիարակության և սպորտի ամբիոն
    • Column Wrapper
      • ԵՊՀ ՍԹԵՄ ավագ դպրոց
      • ԵՊՀ Իջևանի մասնաճյուղ
    • Գիտական կենտրոններ և լաբորատորիաներ
      • Կենսաբանության գիտահետազոտական ինստիտուտ
      • Հայագիտական հետազոտությունների ինստիտուտ
      • Հումանիտար հետազոտությունների ինստիտուտ
      • Մաթեմատիկական և կիրառական հետազոտությունների կենտրոն
      • Քիմիայի գիտահետազոտական կենտրոն
      • Ֆարմացիայի ինստիտուտի գիտահետազոտական կենտրոն
      • Ֆիզիկայի գիտահետազոտական ինստիտուտ
    • Գիտաուսումնական կենտրոններ
      • Ամերիկյան հետազոտությունների կենտրոն
      • Գերմեծ ինտեգրալ սխեմաների նախագծում (Սինոփսիս) մասնագիտացման լսարան-լաբորատորրիա
      • Դեղերի որակի հսկման և մոնիթորինգի գիտաուսումնական կենտրոն
      • Իրավաբանական կլինիկա
      • Կիրառական հոգեբանության կենտրոն
      • Հունագիտության գիտաուսումնական կենտրոն-գրադարան
      • Մանրէաբանական կենսատեխնոլոգիաների և կենսավառելիքի նորարարական կենտրոն
      • Ռուսական կենտրոն
      • Ռուսաստանյան հետազոտությունների կենտրոն
      • Սոցիոլոգիայի հեռաուսուցման լաբորատորիա
    • Column Wrapper
      • Բաններ
    • ԵՊՀ վարչական ստորաբաժանումներ
      • Անձնակազմի կառավարման բաժին
      • Արխիվ
      • Ավտոպարկ
      • Բիզնես ինկուբատոր
      • Բյուրականի ուսումնաարտադրական բազա
      • Բուժկետ
      • Գիտական քարտուղարություն
      • Գիտական քաղաքականության վարչություն
      • Գնումների կազմակերպման վարչություն
      • Դոկտորական կրթության կենտրոն
      • ԵՊՀ պատմության թանգարան
      • Էներգետիկ համակարգի շահագործման բաժին
      • Ընդհանուր բաժին
      • Ընդունելության և դիմորդների հետ տարվող աշխատանքների կենտրոն
      • Իրավաբանական ծառայություն
      • Ծաղկաձորի ուսումնաարտադրական բազա
      • Հակահրդեհային ծառայություն
      • Հատուկ բաժին
      • Հաշվապահական հաշվառման վարչություն
      • Հյուրերի տուն
      • Հրատարակչություն
      • Մարքեթինգի բաժին
      • Միջազգային համագործակցության վարչություն
      • Մշակույթի կենտրոն
      • Շրջանավարտների և կարիերայի կենտրոն
      • Որակի ապահովման կենտրոն
      • Ռազմավարական պլանավորման կենտրոն
      • Ռեկտորի աշխատակազմ
      • Սարգիս և Մարի Իզմիրլյանների անվան գրադարան
      • Տարածքի բարեկարգման և կանաչապատման բաժին
      • Տեղեկատվական տեխնոլոգիաների վարչություն
      • Տնտեսական գործունեության կազմակերպման և վերահսկման բաժին
      • Ուսումնամեթոդական վարչություն
      • Ուսանողական հանրակացարան
      • Ուսանողների հետ տարվող աշխատանքների կենտրոն
      • Ֆինանսական վերլուծությունների վարչություն
  • Կառուցվածք
  • Շրջանավարտներ և կարիերա
    • Կարիերայի կենտրոն
    • Շրջանավարտների համայնք
    • ԵՊՀ բարեկամներ
  • Ուսանողական կյանք
    • Արվեստ և մշակույթ
    • ԵՊՀ ուսանողական խորհուրդ
    • ԵՊՀ ուսանողական գիտական ընկերություն
  1. Գլխավոր
  2. Աշխատակիցներ
  3. Անահիտ Արտաշեսի Չուբարյան
download PDF
37493279118
achubaryan@ysu.am
Անահիտ
Արտաշեսի
Չուբարյան
Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Դիսկրետ մաթեմատիկայի և տեսական ինֆորմատիկայի ամբիոն
Պրոֆեսոր

Անձնական տվյալներ

Ծննդյան տարեթիվ
1946
Լեզուների իմացություն
Русский
English
Deutsch

Հրապարակումներ

- Կատեգորիա -
Հոդված
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
Hakob A. Tamazyan
Anahit A. Chubaryan
Pattern Recognition and Image Analysis
2024
20-30
Հոդված
On Quantified Splitting Proof System for Propositional Calculi
Anahit A. Chubaryan
Mathematical Problems of Computer Science
2024
9-16
Հոդված
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
Levon A. Apinyan
Anahit A. Chubaryan
Mathematical Problems of Computer Science
2022
47-55
Հոդված
O сложностях выводов балансированных формул в двух пропозициональных системах выводов
А. А. Чубарян
А. С. Азизян
ՀՀ ԳԱԱ զեկույցներ
2022
118-124
Հոդված
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
Л. A. Апинян
А. A. Чубарян
ՀՀ ԳԱԱ զեկույցներ
2022
125-132
Հոդված
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
A.A. Chubaryan
Proceedings of the YSU A. Physical and Mathematical Sciences
2022
58-65
Հոդված
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
A.A. Chubaryan
ՀՀ ԳԱԱ զեկույցներ
2022
182-187
Հոդված
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
Anahit A. Chubaryan
Mathematical Problems of Computer Science
2022
61-66
Հոդված
ИССЛЕДОВАНИЕ СВОЙСТВ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИДВУХ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ КЛАССИЧЕСКОЙ ЛОГИКИ
Чубарян А.А.
Зограбян Г.М.
Sciences of Europe
2021
60-62
Հոդված
О некоторых свойствах минимальных тавтологий классической и неклассических логик
А. А. Чубарян
A. A. Aмбарцумян
Г. А. Гаспарян
С. А. Ованнисян
ՀՀ ԳԱԱ զեկույցներ
2020
15-21
Հոդված
O НЕМОНОТОНОСТИ ГИЛЬБЕРТОВСКИХ СИСТЕМ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ КЛАССИЧЕСКИХ И НЕКЛАССИЧЕСКИХ ЛОГИК
Амбарцумян А.А.
Чубарян А.А
Sciences of Europe
2020
59-62
Հոդված
On three types of universal propositional proof systems for all versions of many-valued logics and some its properties.
ANAHIT CHUBARYAN
HAKOB NALBANDYAN
ARTUR KHAMISYAN
EasyChair Preprint
2020
1-3
Հոդված
On monotonous and strongly monotonous properties of some propositional proof systems for different logics.
ANAHIT CHUBARYAN
SERGEY SAYADYAN
ARSEN HAMBARDZUMYAN
EasyChair Preprint
2020
1-3
Հոդված
On non-monotonous properties of some classical and nonclassical propositional proof systems
A.A. Chubaryan
A.A. Hambardzumyan
Proceedings of the YSU A. Physical and Mathematical Sciences
2020
127-136
Հոդված
Об отношениях сложностей выводов в ряде систем исчисления высказываний.
Акоп Тамазян
Анаит Чубарян
Mathematical Problems of Computer Science
2020
138-146
Հոդված
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
Anahit Chubaryan
Artur Khamisyan
Garik Petrosyan
Transactions on Engineering and Computing Sciences
2019
56-63
Հոդված
О СВОЙСТВАХ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ РЕЗОЛЮЦИЙ КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИХ ЛОГИК
Чубарян А.А.
Саядян С.М.
Зограбян Г.М.
Sciences of Europe
2019
74-77
Հոդված
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
Anahit Chubaryan
Artur Khamisyan
East African Scholars Journal of Engineering and Computer Sciences
2019
69-74
Հոդված
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
Chubaryan A.A.
Tamazyan H.A.
Tshitoyan A.S.
Sciences of Europe
2019
39-44
Հոդված
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
Г.М. Зограбян
С.М. Саядян
А.А. Чубарян
ՀՀ ԳԱԱ զեկույցներ
2019
33-39

Pagination

  • 1
  • 2
  • 3
  • 4
  • > Next page
  • Վերջ » Last page

Արագ հասանելիություն

  • Ինտրանետ
  • E-learning
  • Mulberry
  • Էլ. դիմումներ
  • Հեռախոսագիրք
  • Registrar
  • Փաստաթղթեր

Footer site information

  • Հիմնական էջեր
    • Ընդունելություն
    • Կրթություն
    • Գիտություն
    • Նորություններ
  • Տեղեկատվություն
    • Հաճախ տրվող հարցեր
    • Թափուր հաստիքներ
    • Կրթական ծրագրերի որոնում
    • Դիմորդներին
    • Ուսանողներին
  • ԵՊՀ-ի մասին
    • ԵՊՀ կառավարումը
    • ԵՊՀ խորհրդանիշները
© Երևանի պետական համալսարան 2025
Հասցե` ՀՀ, ք. Երևան, 0025, Ալեք Մանուկյան 1 (+37460) 710000 info@ysu.am