Verbum

МАГНІ́ФІКАТ (лац. Magnificat ад першага слова тэксту «Magnificat anima mea Dominum» «Вялічыць душа мая Госпада»),

царкоўнае песнапенне; хвалебная песня на тэкст слоў Дзевы Марыі з Евангелля ад Лукі. З 6 ст. адзін з нязменных (ардынарных) тэкстаў каталіцкай вячэрні. Належыць да т.зв. кантыкляў — важных у літургічным ужытку псалмападобных эпізодаў са Старога і Новага запаветаў. Спяваўся ў грыгарыянскай традыцыі антыфонна ў адным з царк. тонаў паводле спецыфічных формул меладызаванай рэчытацыі. У спалучэнні з т.зв. вялікім антыфонам — найб. меладычна развітым і ўрачыстым песнапеннем літургічнага дня ўяўляў сабою буйную вак. кампазіцыю. Шматгалосыя апрацоўкі М. вядомы з 14 ст. У 16—18 ст. да гэтага жанру звярталіся Г.​Дзюфаі, К. дэ Маралес, Дж.​Палестрына, А.​Ласа, К.​Мантэвердзі, І.​С.​Бах, Г.​Ф.​Гендэль, А.​Вівальдзі, Дж.​Б.​Пергалезі, В.​А.​Моцарт і інш., у 19—20 ст. — Ф.​Мендэльсон, К.​Пендарэцкі, Р.​Воан-Уільямс.

Т.​У.​Ліхач.

т. 9, с. 484

ІНТЭГРА́ЛЬНАЕ ЗЛІЧЭ́ННЕ,

раздзел матэматыкі, які вывучае ўласцівасці, спосабы вылічэння і дастасаванні інтэгралаў. Асн. паняцці: нявызначаны інтэграл і вызначаны інтэграл. Разам з дыферэнцыяльным злічэннем складае курс матэм. аналізу (ці аналізу бясконца малых).

І.з. ўзнікла з задач на вызначэнне плошчаў і аб’ёмаў. Найб. блізка да сучаснага разумення інтэгравання падышоў Архімед (3 ст. да н.э.). Стваральнікі І.з. І.Ньютан і Г.Лейбніц незалежна адзін ад аднаго пабудавалі інтэгральнае і дыферэнцыяльнае злічэнні і ўстанавілі іх узаемную абарачальнасць. Далейшае развіццё І.з. звязана з працамі Л.​Эйлера, А.​Кашы, Б.​Рымана, А.​Лебега, Т.​І.​Стылцьеса, А.​М.​Калмагорава і інш. Вылічэнне інтэгралаў (гл. Інтэграванне) толькі ў рэдкіх выпадках выконваецца непасрэдна па формулах (напр., шляхам абарачэння формул дыферэнцавання) — некат. інтэгралы нават ад параўнальна простых функцый нельга выразіць праз элементарныя, напр., інтэграл імавернасці. І.з. служыць крыніцай узнікнення новых (трансцэндэнтных) функцый (інтэгральнага сінуса, інтэгральнага лагарыфма і інш.). Для такіх функцый створаны табліцы значэнняў. Гл. таксама Графічныя вылічэнні, Набліжанае інтэграванне, Лікавыя метады.

А.​А.​Гусак.

т. 7, с. 280

МАДЭЛІ́РАВАННЕ ЭКАНО́МІКА-МАТЭМАТЫ́ЧНАЕ,

апісанне эканам. працэсаў і з’яў у выглядзе эканоміка-матэм. мадэлей. Адной з першых у гісторыі эканам. навукі была мадэль узнаўлення, распрацаваная франц. вучоным Ф.​Кенэ ў 18 ст. У 20 ст. першая агульная мадэль эканомікі сканструявана Дж. фон Нейманам. Значны вопыт пабудовы эканоміка-матэм. мадэлі назапашаны вучонымі былога СССР у развіцці нар. гаспадаркі краіны, асабліва — перспектыўнага. Вылучаюць 2 асн. групы эканоміка-матэм. мадэлей: мадэлі, якія паказваюць пераважна сац. аспекты эканомікі (звязаны з прагназаваннем і планаваннем даходаў і спажывання насельніцтва, дэмаграфічных працэсаў), і мадэлі, што адлюстроўваюць пераважна вытв. аспект эканомікі (доўгатэрміновага прагнозу зводных паказчыкаў эканам. развіцця; міжгаліновыя мадэлі нар.-гасп. планавання, галіновыя аптымальнага планавання і размяшчэння вытв-сці, аптымізацыі структуры вытв-сці ў галінах). Адрозніваюць таксама мадэлі статычныя (апісваюць момантавы стан эканомікі) і дынамічныя (паказваюць развіццё аб’екта мадэліравання). Паводле спосабу пабудовы адрозніваюць аналітычныя (у выглядзе формул), лікавыя (у выглядзе лікавых прыкладаў), матрычныя (у выглядзе табліц), сеткавыя (у форме графаў) і інш.

т. 9, с. 495

МАНАТЫ́П (ад мана... + грэч. typos адбітак),

друкарская літараадліўная наборная машына, на якой радкі тэксту зададзенай даўжыні набіраюць і адліваюць з асобных літар і прагальных матэрыялаў. Менш прадукцыйны за лінатып, аднак дае магчымасць перабіраць радкі пры вёрстцы без іх пераліўкі. Прызначаны для набору і адліўкі складаных відаў тэксту (табліц, формул, навук. тэкстаў са знакамі лац. і інш. алфавітаў, слоўнікава-даведачнай л-ры). Вынайдзены ў 1897 Т.​Ланстанам (ЗША). У СССР выпускаўся з 1947.

Складаецца з наборнага і адліўнога аўтаматаў. На наборна-праграмавальным апараце робіцца праграма для кіравання літараадліўным аўтаматам на папяровай перфастужцы. на якой у выглядзе камбінацый адтулін закадзіраваны тэкст і выключка радка. Наборны літараадліўны аўтамат адлівае радкі і складае з іх гранку набору. На М. можа быць набраны тэкст кеглямі 6, 8, 10, 12 пунктаў у фарматах да 10 квадратаў. Прадукцыйнасць да 180 знакаў за мінуту. З пашырэннем фотанабору і камп’ютэрных тэхналогій замяняюцца фотанаборнымі машынамі і камп’ютэрнымі сістэмамі.

т. 10, с. 63

ЗЛІЧЭ́ННЕ,

сістэма правіл аперыравання са знакамі пэўнага віду, якая дазваляе даць дакладнае апісанне некаторага класа задач і алгарытмы іх рашэння; спосаб утварэння якой-н. сукупнасці (мноства) элементаў на аснове правіл атрымання новых элементаў з зададзеных зыходных. Мае фундаментальны характар, як і паняцце алгарытму. Узнікла і развівалася ў рамках матэматыкі (гл. Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Дыферэнцыяльнае злічэнне, Інтэгральнае злічэнне). Пазней метады пабудовы З. пачалі выкарыстоўвацца ў логіцы (гл. Алгебра логікі, Матэматычная лінгвістыка). Агульная тэорыя З. выкарыстоўваецца ў алгарытмаў тэорыі.

У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (слоў ці выразаў), сукупнасцю аксіём і правіл пераўтварэння (вывядзення) яго фразеалогіі. Прыпісванне элементам З. пэўных значэнняў (гл. Семантыка лагічная) пераўтварае З. ў фармалізаваную мову. Напр., у З. выказванняў шляхам пэўнай канечнай працэдуры (доказу; улічваецца толькі праўдзівасць ці непраўдзівасць выказвання) атрымліваюць выказванні-тэарэмы (гл. Логіка выказванняў). У выніку атрымліваюць лагічную сістэму, якая фармалізуе разважанне, заснаванае на структуры складаных выказванняў у адрозненне ад унутранай структуры элементарных выказванняў. Пры З. прэдыкатаў атрымліваюць сцвярджэнні (формулы, тэарэмы) з улікам суб’ектна-прэдыкатыўнай структуры выказванняў (напр., «элемент X мае ўласцівасць P), што дае магчымасць выяўляць сувязь аб’ектаў з іх уласцівасцямі і суадносіны паміж імі, колькасна характарызаваць сувязь рэчаў, уласцівасцей і адносін з дапамогай лагічных эквівалентаў выразаў «усе», «некаторыя», «кожны» і інш. (гл. Квантары). Такое З. адпавядае логіцы прэдыкатаў, калі яно мае ўласцівасці несупярэчлівасці (кожная тэарэма агульназначная) і паўнаты (кожная агульназначная формула даказальная). З. прэдыкатаў уключае З. выказванняў і разглядаецца звычайна як яго пашырэнне шляхам фармалізацыі вывадаў, заснаваных на ўнутранай структуры выказванняў. Тэорыю З. прэдыкатаў распрацаваў ням. логік, матэматык і філосаф Г.​Фрэге, чым істотна ўзбагаціў сілагістыку Арыстоцеля і традыц. сілагістыку. Абагульненне З. выказванняў — З. класаў, дзе дадаткова разглядаецца суб’ектна-прэдыкатная структура выказванняў і пры гэтым з кожным прэдыкатам (уласцівасцю) звязваецца ўся сукупнасць элементаў (клас) з разгляданай вобласці, якія маюць гэтую ўласцівасць (гл. Логіка класаў). З. класаў часам разглядаюць як фармалізаваную тэорыю мностваў, выкарыстоўваюць як дапаможны этап пры пераходзе ад З. выказванняў да З. прэдыкатаў і будуюць на базе З. выказванняў з дапамогай адпаведнай інтэрпрэтацыі яго формул.

Літ.:

Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;

Методологические проблемы развития и применения математики. М., 1985;

Жуков Н.И. Философские основания математики. 2 изд. Мн., 1990.

С.​Ф.​Дубянецкі.

т. 7, с. 76

НАМАГРА́МА (ад грэч. nomos закон + ... грама),

спецыяльны чарцёж для рашэння пэўнага тыпу выліч. задач. Выкарыстоўваецца для даследавання экстрэмальных уласцівасцей, правядзення аналізу ўплыву розных пераменных на вынік вылічэнняў, выяўлення вобласці існавання рашэння, рашэння задач на выбар параметраў эмпірычных формул і інш.

Адлюстроўвае функцыянальную залежнасць (ураўненне, формулу, табліцы) і дае магчымасць без вылічэнняў вызначыць значэнне адной пераменнай па зададзеных значэннях астатніх пераменных, а таксама даследаваць такую залежнасць. Пераменныя адлюстроўваюцца шкаламі і сем’ямі пазначаных ліній. Кожная Н. будуецца для канкрэтнай функцыянальнай залежнасці ў зададзеных межах змен пераменных. Пры гэтым зыходная залежнасць дакладна (ці набліжана) прыводзіцца да намаграфавальнага віду, запісваюцца ўраўненні элементаў Н. ў прамавугольнай сістэме каардынат. Параметры пераўтварэнняў, якія ўваходзяць у гэтыя ўраўненні, падбіраюць так, каб надаць Н. выгляд, зручны для карыстання. Пасля чаго вылічваюцца табліцы каардынат асобных элементаў і будуюць Н. Выліч. работа зводзіцца да простых геам. аперацый у адпаведнасці з прыкладзенай да Н. схемай карыстання і адлічвання вынікаў. Тэорыю і практыку пабудовы Н. вывучае намаграфія.

т. 11, с. 135

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

спосаб пабудовы навук. тэорыі ў выглядзе сістэмы пастулатаў (аксіём) і правіл вываду (аксіяматыкі), што дае магчымасць логікавымі разважаннямі атрымліваць сцвярджэнні (тэарэмы) дадзенай тэорыі.

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.​Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

Сучасныя навук. тэорыі, пабудаваныя пры дапамозе аксіяматычнага метаду, наз. дэдуктыўнымі. Усе паняцці такіх тэорый (акрамя фіксаванай колькасці першапачатковых) уводзяцца пры дапамозе вызначэнняў, якія выражаюць іх змест праз першапач. паняцці. У той ці інш. меры дэдуктыўныя доказы, характэрныя для аксіяматычнага метаду, выкарыстоўваюцца ў многіх навуках, найб. у матэматыцы, логіцы, некаторых раздзелах фізікі, біялогіі і інш. Тэорыі, пабудаваныя пры дапамозе аксіяматычнага метаду, нярэдка маюць выгляд фармалізаваных сістэм, якія даюць дакладнае апісанне лагічных сродкаў вываду тэарэм з аксіём. Доказ такой тэорыі ўяўляе сабой паслядоўнасць формул, кожная з якіх з’яўляецца аксіёмай або атрымліваецца з папярэдніх формул па адным з прынятых правіл вываду. У адрозненне ад такіх фармальных доказаў уласцівасці самой фармальнай сістэмы ў цэлым вывучаюцца змястоўнымі сродкамі метатэорыі. Асн. патрабаванні да аксіяматычных фармальных сістэм: несупярэчлівасць, паўната, незалежнасць аксіём. Аксіяматычны метад — адзін з метадаў пабудовы навук. ведаў, які мае абмежаванае выкарыстанне, бо патрабуе высокага ўзроўню развіцця навук. тэорыі. Нават некаторыя дастаткова багатыя навук. тэорыі (напр., арыфметыка натуральных лікаў) не дапускаюць поўнай аксіяматызацыі. Гэта сведчыць аб немагчымасці поўнай фармалізацыі навук. ведаў.

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.​Т.​Вальвачоў, У.​К.​Лукашэвіч.

т. 1, с. 207

АСМАГЛА́ССЕ,

сістэма знаменнага распеву ў стараж.-правасл. пеўчым мастацтве. Складалася з 8 самаст. частак — гласаў, якія ўяўлялі сабой арганізацыю песнапенняў, засн. на пэўным меладычным папевачным складзе і суаднясенні папевак, падпарадкаваных ладавай апорнасці.

Песнапенні аднаго гласа спяваліся на працягу тыдня, пасля іх змянялі песнапенні наступнага па парадкавым нумары гласа. 8-тыднёвы цыкл з 1-га да 8-га гласа ўтвараў т.зв. стоўп (песнапенні святаў маглі не супадаць з тыднёвымі). Парадак чаргавання гласаў канчаткова ўсталяваўся ў 15 ст. Сістэме асмагласся падпарадкаваны знаменны распеў, пуцявы, грэчаскі, балгарскі, кіеўска-літоўскі і інш., у т. л. мясц. распевы на Беларусі — супрасльскі, слуцкі, жыровіцкі і інш. Унутраная муз. арганізацыя гласаў і сістэмы асмагласся магла будавацца на аснове 2 прынцыпаў — ладава-гукараднага (суаднясенне пануючага і канечнага тонаў) і ладава-меладычнага (сума меладычных формул — папевак; фіксаваліся строга замацаванымі за імі графічнымі знакамі). З развіццём мелодыкі песнапенняў сістэма асмагласся часткова парушылася, гласы часткова страцілі ладава-меладычную характэрнасць. Асн. рысы асмагласся — дыятанізм, у меладычнай аснове — лады-інтанацыі, лады-папеўкі, унутрыладавая шматустойнасць. Звод асмагласся змешчаны ў «Асмагласніку», або «Актоіху». Найб. вядомыя асмаглассі: «Сімвал веры», «Свеце ціхі», трапар «Уваскрэсенне Хрыстова».

Л.​П.​Касцюкавец.

т. 2, с. 37

КАДЭ́НЦЫЯ (італьян. cadenza ад лац. cadere падаць, заканчвацца),

каданс, 1) заключны меладыйны або гарманійны зварот, які надае муз. пабудове завершанасць. Маст. выразнасць К. грунтуецца на ўзаемадзеянні ладагарманійных, метрарытмічных, дынамічных, агагічных элементаў муз. мовы. Пачатковыя формы К. — меладыйныя канцоўкі ў нар. песнях, культавых песнапеннях. Тыповыя К. сфарміраваліся ў еўрап. музыцы 17—19 ст. Паводле месцазнаходжання ў муз. форме бываюць К. заключныя, сярэдзінныя і дапаўняльныя. Калі К. заканчваецца тонікай, яна наз. поўнай, калі інакш — палавіннай. Асобны від — перарваныя К., калі падрыхтаваная тоніка замяняецца інш. акордам. Паводле функцый акордаў К. падзяляюць на аўтэнтычныя і плагальныя. У музыцы 20 ст. адбываецца абнаўленне кадэнцыйных формул пры захаванні агульна-кампазіцыйных, лагічных функцый К.

2) Віртуознае сола ў вак. ці інстр. муз. творы. Асобны від К. — невял. фантазія на тэмы твора — склаўся ў інстр. канцэрце ў 18 ст. Спачатку К. імправізавалася выканаўцам. Пачынаючы з Л.​Бетховена, К. ствараюцца і дакладна фіксуюцца ў нотным тэксце самім кампазітарам (напр., у інстр. канцэртах Бетховена, П.​Чайкоўскага, С.​Рахманінава, Дз.​Шастаковіча, С.​Пракоф’ева). У бел. музыцы развітыя, драматургічна абумоўленыя К. маюць інстр. канцэрты Г.​Вагнера, Г.​Гарэлавай, У.​Дамарацкага, Дз.​Камінскага, П.​Падкавырава, А.​Соніна, Дз.​Смольскага, К.​Цесакова і інш.

Т.​А.​Дубкова.

т. 7, с. 407