Исследования сложностей выводов в формальных системах

Պատմություն

Գիրքը նվիրված է 1988–1994 թվականների Արցախյան գոյապայքարի ընթացքում կանանց մասնակցության, դերակատարության և ներդրման ուսումնասիրությանը։ Աշխատությունում ներկայացվում են կանանց մասնակցության տարբեր դրսևորումները՝ հասարակական, քաղաքական, կազմակերպչական, բժշկական, թիկունքային և ռազմական ոլորտներում։ Վերլուծվում է նրանց ազդեցությունը ազգային-հասարակական շարժումների, համայնքային կյանքի կազմակերպման, պատերազմի տարիների սոցիալական խնդիրների լուծման և դիմակայության գործընթացների վրա։ Քննարկվում են կանանց անձնական պատմությունները, կենսագրական դրվագները, նրանց կատարած աշխատանքը և այն պայմանները, որոնցում ձևավորվել է նրանց ակտիվ մասնակցությունը պատմական իրադարձություններին։ Գիրքը կարևորում է կանանց դերը որպես հասարակական կայունության, փոխօգնության և ազգային ինքնագիտակցության պահպանման գործոն՝ ներկայացնելով ժամանակաշրջանի սոցիալական ու պատմական առանձնահատկությունները։ Այն կարող է օգտակար լինել պատմաբանների, հասարակագետների, գենդերային ուսումնասիրություններով զբաղվող հետազոտողների, ուսանողների և Արցախյան շարժման ու պատերազմի պատմությամբ հետաքրքրվող ընթերցողների համար։

Պատմություն

Աշխատությունը հիմնականում նկարագրում է Արծրունիների տոհմի ծագումը, քաղաքական գործունեությունը և նրանց դերը Հայաստանի պատմության մեջ՝ հատկապես Վասպուրականի շրջանում։ Հիմնական բովանդակությունը․ Արծրունիների տոհմի պատմություն Տոհմի ծագում, իշխանական իրավունքներ և գործունեություն։ Վասպուրականի քաղաքական կյանքը Տարածաշրջանի ներքին զարգացումներ, իշխանական պայքարներ և կառավարում։ Պատերազմներ և արտաքին հարաբերություններ Հայաստանի պայքարը հարևան պետությունների և տարբեր ներխուժումների դեմ։ Մշակութային և կրոնական կյանք Եկեղեցու դերը և մշակութային զարգացումները միջնադարում։ Պատմագրական առանձնահատկություն Աշխատությունը համադրում է պատմական փաստեր և գեղարվեստական նկարագրություններ։

Ինֆորմատիկա

Գիրքը նվիրված է արդյունաբերական ինֆորմացիոն կառավարման համակարգերի գործիքային միջոցների նախագծման և իրականացման տեսական ու գործնական հիմնախնդիրների ուսումնասիրությանը։ Աշխատության մեջ ներկայացվում են արդյունաբերական գործընթացների կառավարման համար նախատեսված տեղեկատվական համակարգերի կառուցման սկզբունքները, ծրագրային և ապարատային լուծումների մշակման մոտեցումները, ինչպես նաև դրանց կիրառման առանձնահատկությունները արտադրական միջավայրում։ Ուսումնասիրությունը անդրադառնում է տվյալների հավաքագրման, մշակման, պահպանման և փոխանցման մեխանիզմներին, կառավարման համակարգերի արդյունավետության բարձրացման եղանակներին և ժամանակակից տեխնոլոգիաների կիրառմանը։ Ներկայացվում են համակարգերի նախագծման փուլերը, գործիքային միջոցների ընտրության չափանիշները, ինտեգրման խնդիրները և արդյունաբերական օբյեկտների ավտոմատացված կառավարման հնարավորությունները։ Գիրքը կարևոր նշանակություն ունի արտադրական գործընթացների թվայնացման, կառավարման արդյունավետության բարձրացման և տեղեկատվական ենթակառուցվածքների զարգացման տեսանկյունից։ Այն արժեքավոր աղբյուր է տեղեկատվական տեխնոլոգիաների մասնագետների, ավտոմատացման ինժեներների, համակարգային վերլուծաբանների, հետազոտողների, տեխնիկական բուհերի դասախոսների և ուսանողների համար։

Այլ առարկաներ

Հայաստանում «նոր գրքերի» մասին ինֆորմացիոն ցանկերը սովորաբար ներկայացվում են որպես մատենագիտական կամ գրադարանային տեղեկատուներ, որտեղ համակարգված ձևով ամփոփվում են տարբեր հրատարակչությունների նոր լույս տեսած աշխատությունները։ Այդպիսի ցանկերի հիմնական նպատակն է ընթերցողներին, գրադարաններին և հետազոտողներին տրամադրել արագ կողմնորոշվելու հնարավորություն ժամանակակից գրական հոսքերում՝ ընդգրկելով գիտական, գեղարվեստական, ուսումնական և տեղեկատու բնույթի հրատարակություններ։ Օրինակ՝ Հայաստանում ակտիվորեն գործում են պարբերական «Նոր գիրք» նախագծերը, որտեղ յուրաքանչյուր շաբաթ կամ ամիս ներկայացվում են նոր հրատարակություններ տարբեր ոլորտներից՝ գրականություն, պատմություն, հասարակագիտություն, արվեստ և գիտություն, ինչը թույլ է տալիս հետևել հրատարակչական գործընթացների ընթացիկ զարգացումներին և գրքային շուկայի միտումներին ։ Բացի այդ, մատենագիտական ցանկերի ավելի մասնագիտական ձևաչափերը, որոնք պատրաստվում են գրադարանային և գիտական հաստատությունների կողմից, ընդգրկում են նաև գրքերի ամբողջական տվյալներ՝ հեղինակ, վերնագիր, հրատարակության վայր, տարեթիվ և թեմատիկ դասակարգում, ինչը նպաստում է գիտական տեղեկատվության համակարգմանն ու որոնելիության բարձրացմանը ։ Նման տեղեկատուները կարևոր դեր ունեն ազգային գրադարանային համակարգում՝ ապահովելով նոր գրականության մատչելիությունը և աջակցելով կրթական ու գիտական գործընթացներին, ինչպես նաև նպաստելով ընթերցանության մշակույթի զարգացմանը Հայաստանում։

Քիմիա

Աշխատությունը նվիրված է կալիումի պերսուլֆատի և չորրորդային ամոնիումային աղերի փոխազդեցության արդյունքում առաջացող նյութերի և դրանց հատկությունների ուսումնասիրությանը։ Ուսումնասիրության շրջանակում դիտարկվում են պերսուլֆատային միացությունների քիմիական ակտիվությունը, չորրորդային ամոնիումային աղերի կառուցվածքային առանձնահատկությունները և դրանց փոխազդեցության հնարավոր մեխանիզմները։ Առանձնահատուկ ուշադրություն է դարձվում ռեակցիայի պայմանների ազդեցությանը, փոխազդեցության ընթացքում ձևավորվող արտադրանքների բաղադրությանը, կառուցվածքին և ֆիզիկաքիմիական հատկություններին։ Աշխատանքում կարող են ուսումնասիրվել տարբեր բաղադրությամբ ամոնիումային աղերի և օքսիդիչ համակարգերի փոխազդեցության օրինաչափությունները, ինչպես նաև ստացված նյութերի կայունությունը և հետագա քիմիական փոխակերպումների նկատմամբ վարքագիծը։ Հետազոտության կարևոր ուղղություններից է ռեակցիոն համակարգում ընթացող օքսիդավերականգնման և այլ քիմիական գործընթացների բնույթի բացահայտումը, ինչը հնարավորություն է տալիս ավելի լավ հասկանալու պերսուլֆատների և ազոտ պարունակող օրգանական միացությունների փոխազդեցության մեխանիզմները։ Ստացված արդյունքները կարող են նշանակություն ունենալ օքսիդացման գործընթացների, մակերևութային ակտիվ նյութերի քիմիայի, սինթետիկ քիմիայի և նոր ֆունկցիոնալ միացությունների ստացման ուղղություններով հետագա հետազոտությունների համար։ Աշխատանքը կարող է հետաքրքրել քիմիկոսներին, օրգանական և ֆիզիկական քիմիայի մասնագետներին, քիմիական տեխնոլոգներին, հետազոտողներին, ասպիրանտներին և համապատասխան մասնագիտությունների ուսանողներին։

Մաթեմատիկա

Աշխատությունը նվիրված է սուպերսիմետրիկ չափիչ տեսություններին և երկչափ կոնֆորմ դաշտերի տեսությանը վերաբերող դիտելի մեծությունների ճշգրիտ արտահայտությունների ստացման և ուսումնասիրության խնդիրներին։ Հետազոտության շրջանակում վերլուծվում են քվանտային դաշտերի տեսության այն մեթոդները, որոնք հնարավորություն են տալիս գտնել ֆիզիկական դիտելիքների ճշգրիտ լուծումներ՝ օգտագործելով սուպերսիմետրիայի, երկակիությունների և կոնֆորմ սիմետրիայի առանձնահատկությունները։ Հեղինակը քննարկում է տեսական կառուցվածքները, մաթեմատիկական գործիքները և հաշվարկային մոտեցումները, որոնք կիրառվում են բազմաչափ չափիչ տեսությունների և երկչափ կոնֆորմ դաշտերի միջև կապերի բացահայտման համար։ Աշխատության մեջ ուսումնասիրվում են հարաբերակցման ֆունկցիաները, մասնակի ֆունկցիոնալները և այլ դիտելի մեծություններ՝ ցույց տալով դրանց դերը քվանտային համակարգերի հատկությունների բացահայտման գործում։ Գիրքը կարևոր նշանակություն ունի բարձր էներգիաների ֆիզիկայի, լարերի տեսության, կոնֆորմ դաշտերի տեսության և մաթեմատիկական ֆիզիկայի մասնագետների համար՝ ներկայացնելով ժամանակակից տեսական ֆիզիկայի հիմնարար խնդիրների ուսումնասիրման առաջադեմ մոտեցումներ։