Հայ-ամերիկյան առնչությունները 1914-1920 թթ.

Մանկավարժություն

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

Պատմություն

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

Մաթեմատիկա

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

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

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

Քիմիա

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

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

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