Verbum

А́ДРАСНАЯ МО́ВА ў вылічальнай тэхніцы,

фармальная мова для апісання працэсаў пераўтварэння інфармацыі ў ЭВМ. Кожны элемент інфармацыі адпавядае пэўнаму адрасу (напр., нумару ячэйкі памяці ЭВМ); некаторыя адрасы могуць адпавядаць інш. адрасам. Напр., калі элемент інфармацыі (адрас) b адназначна адпавядае адрасу a, то ў адраснай мове гэта запісваецца формулай $’\mathrm{a}=\mathrm{b}$ (адрасная функцыя). Вылічэнне новых значэнняў і іх засылка на пэўныя адрасы задаюцца адраснай формулай (2 адрасныя функцыі, злучаныя знакам засылкі =>). Запіс b => a азначае, што элемент b засылаецца на адрас a, пасля чаго $’\mathrm{a}=\mathrm{b}$. Адрасны алгарытм (паслядоўнасць адрасных формул і інш. сімвалаў) спец. праграмамі-транслятарамі пераўтвараецца ў праграму на мове ЭВМ.

т. 1, с. 136

ПІ, лік π,

лік, роўны адносінам даўжыні акружнасці да яе дыяметра; бясконцы дзесятковы дроб, роўны 3,1415926...; адзін з трансцэндэнтных лікаў. Абазначэнне агульнапрынятае з 1736 пасля працы Л.Эйлера.

Да ліку П. прыводзіць адшуканне лімітаў некат. арыфм. паслядоўнасцей і шэрагаў. Адна з формул вылічэння П. — формула раскладання функцыі arctg х у ступеневы шэраг. Набліжанае значэнне П. з дапамогай рацыянальных лікаў спрабавалі знайсці ў старажытнасці, напр. Архімед (3 ст. да н.э.) вызначыў, што 223/71 < π < 22/7. Значэнне π = 355/113 = 3,1415929... вылічыў кіт. матэматык Цзу Чун-чжы (5 ст.); у Еўропе гэтае ж значэнне знойдзена ў 16 ст. Пры выкарыстанні ЭВМ разлічана больш за тысячу дзесятковых знакаў ліку П.

т. 12, с. 346

ЛАГІ́ЧНЫ ЗАКО́Н,

любое сапраўднае лагічнае сцвярджэнне. Да Л.з. адносяцца законы логікі выказванняў (напр., закон несупярэчнасці, закон выключанага трэцяга, закон ускоснага доказу) або логікі прэдыкатаў. Напр., у выраз «няправільна, што р і не-р адначасова верныя» (закон несупярэчнасці) замест пераменнай р трэба падставіць выказванне; усе вынікі такіх падстановак уяўляюць сабой сапраўдныя выказванні (напр., «няправільна, што 11 — просты лік і разам з тым не з’яўляецца простым»). Кожная з лагічных сістэм утрымлівае бясконцае мноства Л.з. і ўяўляе сабой абстрактную знакавую мадэль, якая дае апісанне якога-н. пэўнага фрагмента або тыпу разважанняў. На фармалізаванай мове логікі ўсякі яе закон — гэта заўсёды сапраўдная, правільна пабудаваная формула; можна пабудаваць бясконцае мноства такіх формул, але Л.з. лічаць толькі тыя з іх, якія інтэрпрэтаваны на пазнаючае чалавечае мысленне. Гл. таксама Інтуіцыянізм.

В.​М.​Пешкаў.

т. 9, с. 89

ІНТЭРПАЛЯ́ЦЫЯ І ЭКСТРАПАЛЯ́ЦЫЯ ў матэматыцы,

спосаб набліжанага (ці дакладнага) узнаўлення якой-н. велічыні па некаторых вядомых яе значэннях. Напр., адшуканне значэнняў функцыі 𝑓(x) у пунктах x па вядомых значэннях y_i = 𝑓(x_i), дзе пункты x_i — вузлы інтэрпаляцыі, i = 0, 1, ..., n. Калі x знаходзіцца ў інтэрвале паміж x₀ і x_n, задача такога адшукання наз. інтэрпаляцыяй, калі па-за яго межамі — экстрапаляцыяй.

Асн. кірункі даследаванняў па І. і э.: вырашальнасць задачы інтэрпалявання; пабудаванне інтэрпаляцыйных формул і вывучэнне іх адхілення ад зададзенай функцыі, выкарыстанне метадаў інтэрпаляцыі для пабудавання набліжаных і лікавых метадаў рашэння розных задач матэматыкі і яе дастасаванняў. Гл. таксама Набліжэнне і інтэрпаляцыя функцый.

На Беларусі даследаванні па пытаннях І. і э. вядуцца ў Ін-тах матэматыкі і тэхн. кібернетыкі Нац. АН, БДУ і інш.

Літ.:

Крылов В.И., Бобков В.В., Монастырный П.И. Начала теории вычислительных методов: Интерполирование и интегрирование. Мн., 1983.

С.​У.​Абламейка.

т. 7, с. 288

МАГНІ́ФІКАТ (лац. 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