Դիֆերենցիալ և ինտեգրալ հաշիվներ. Մաս 2

Մաթեմատիկա

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

Lեզվաբանություն

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

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

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

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

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

Պատմություն

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

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

Միջազգային կազմակերպությունները հանդիսանում են միջազգային իրավունքի սուբյեկտներ, որոնք ստեղծվում են պետությունների կամ այլ միջազգային իրավաբանական անձանց համագործակցության հիման վրա և ունեն հատուկ իրավահամակարգային կարգավիճակ՝ իրենց գործունեությունն իրականացնելու համար միջազգային միջավայրում։ Նրանք կարող են կնքել պայմանագրեր, ձեռք բերել անդամակցության իրավունքներ, ստեղծել կառավարման մարմիններ, պարտավորություններ ստանձնել և ապահովել որոշակի գործունեության իրականացում՝ գերակշռելով անդամ պետությունների միջազգայնորեն համաձայնեցված նպատակները։ Միջազգային կազմակերպությունների օրինակներն են Միավորված ազգերի կազմակերպությունը (ՄԱԳ), Եվրամիությունը (ԵՄ), Արևելյան գործընկերության կազմակերպություններ, ՆԱՏՕ-ն և միջազգային տնտեսական, սոցիալական կամ հումանիտար կազմակերպություններ։ Այս կազմակերպությունները ունեն իրավական անձի կարգավիճակ, հնարավորություն են ստանում հանդես գալու միջազգային դատարաններում և ազդելու անդամ պետությունների վրա՝ միջազգային իրավունքի շրջանակներում։ Նրանց գործառույթներն ընդգրկում են խաղաղապահություն, տնտեսական և սոցիալական համագործակցություն, մարդու իրավունքների պաշտպանություն, հումանիտար աջակցություն և միջազգային համաձայնությունների իրականացում, ինչը նրանց դարձնում է առանցքային գործոն միջազգային հարաբերություններում և իրավական կարգավորման մեջ։