Հակոբ Օշականի փոքր արձակը (հոգևորի և բնազդայինի խնդիրը)

History

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

Mathematics

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

Linguistics

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

Literature

Ջերոմ Քլապկա Ջերոմի «Երեքը նավում (առանց շանը հաշվելու)» ստեղծագործությունը հումորային նովել է, որը պատմում է երեք ընկերների և նրանց շան մասին՝ Թեմզա գետի վրա իրականացրած ճանապարհորդության ընթացքում տեղի ունեցող զվարճալի և երբեմն անհեթեթ իրավիճակների մասին։ Ստեղծագործության հիմնական գաղափարը ոչ թե պարզապես ճանապարհորդության նկարագրությունն է, այլ մարդկային բնավորությունների, առօրյա սովորությունների և փոքրիկ թերությունների հումորային բացահայտումը, որոնք արտահայտվում են ամենապարզ իրավիճակներում։ Նովելը առանձնանում է իր թեթև, սարկաստիկ և հումորով լի լեզվով, որտեղ հեղինակը հաճախ ծաղրում է չափազանց զգայունություն ունեցող մարդկանց, հիվանդությունների մասին ինքնահնար վախերը և առօրյա կյանքում մարդկանց չափազանցված արձագանքները։ Ստեղծագործության մեջ բնության նկարագրությունները համադրվում են հերոսների անփորձության և անգործնականության հետ, ինչը ստեղծում է բազմաթիվ կոմիկական դրվագներ։ Այս նովելը նաև ցույց է տալիս ընկերության արժեքը, մարդկային հարաբերությունների ջերմությունը և միասին անցկացված ժամանակի կարևորությունը, նույնիսկ եթե այդ ժամանակը լի է անսպասելի դժվարություններով ու ծիծաղելի սխալներով։

Other Subjects

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

Other Subjects

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