Verbum

ВЕ́ДЫ (санскр. веда літар. веды),

ведычная літаратура, помнікі стараж.-індыйскай літаратуры (канец 2-га — 1-я пал. 1-га тыс. да н.э.). Напісаны на стараж.-інд. (ведыйскай) мове. Адлюстроўваюць рэліг. ўяўленні і міфалогію стараж. інд. грамадства. Складаюцца з 4 зборнікаў гімнаў, малітваў і ахвярных формул і паэт строф: «Рыгведа» (Кніга гімнаў), «Самаведа» (Веда мелодый), «Яджурведа» (Веда ахвярапрынашэнняў), «Атхарваведа» (Веда заклінанняў), а таксама з тэалагічных трактатаў (брахманы, араньякі і упанішады). Веды — крыніца звестак па сац.-эканам. і культ. гісторыі стараж. Індыі.

т. 4, с. 57

ЗНА́КІ ХІМІ́ЧНЫЯ, сімвалы хімічныя,

скарочаныя літ. абазначэнні элементаў хімічных і іх атамаў. Абазначаюцца першай ці першай і адной з наступных літар лац. назвы хім. элемента. Увёў шведскі хімік Ё.​Берцэліус (1814). Напр., S — cepa (Sulfur), Ca — кальцый (Calcium), Cd — кадмій (Cadmium). Для абазначэння ізатопаў да З.х. злева прыпісваюць зверху масавы лік, а знізу — атамны нумар (напр., ${\mathrm{}}_{20}^{40}\mathrm{Ca}$, ${\mathrm{}}_{20}^{42}\mathrm{Ca}$, ${\mathrm{}}_{20}^{43}\mathrm{Ca}$;); для іонаў уверсе справа ад З.х. паказваюць зарад (напр., Ca​²⁺, S​^2-). З.х. карыстаюцца пры запісе формул хімічных.

т. 7, с. 100

ГО́НАЧНЫ АЎТАМАБІ́ЛЬ,

аднамесны аўтамабіль, прызначаны для скорасных спаборніцтваў на кальцавых закрытых (для інш. транспарту) трасах. Адрозніваецца малой масай, магутным рухавіком, размяшчэннем колаў па-за межамі кузава, адсутнасцю крылаў у колаў і інш. Паводле Міжнар. класіфікацыі адносяць да груп 7 і 8. У групу 7 уваходзяць гоначныя аўтамабілі формул — 1 (аб’ём рухавіка да 3000 см³ без наддуву ці да 1500 см³ з наддувам), 2 (да 2000 см³), 3 (да 2000 см³ з абмежаваннем магутнасці); у групу 8 — гоначны аўтамабіль «свабоднай» формулы (параметры ўстанаўлівае спарт. федэрацыя краіны). Гл. таксама Карт.

т. 5, с. 351

ПАСЛЯДО́ЎНЫХ НАБЛІЖЭ́ННЯЎ МЕ́ТАД,

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

Зыходнае ўраўненне, напр., віду F(x) = 0, пераўтвараецца ў раўнасільнае ўраўненне віду x = 𝑓(x) і будуецца паслядоўнасць a₀, a₁ = 𝑓(a₀), a₂ = 𝑓(a₂), a₃ = 𝑓(a₂), дзе a₀ — пачатковае набліжэнне. Пры пэўных умовах пабудаваная паслядоўнасць збягаецца да дакладнага рашэння. Выкарыстоўваецца для вылічэння каранёў алг. і трансцэндэнтных ураўненняў, доказу існавання дакладных і пабудовы набліжаных рашэнняў дыферэнцыяльных, інтэгральных, інтэгра-дыферэнцыяльных і функцыянальных ураўненняў, для вызначэння якасных характарыстык рашэнняў і інш.

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

т. 12, с. 166

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

фармальная мова для апісання працэсаў пераўтварэння інфармацыі ў ЭВМ. Кожны элемент інфармацыі адпавядае пэўнаму адрасу (напр., нумару ячэйкі памяці ЭВМ); некаторыя адрасы могуць адпавядаць інш. адрасам. Напр., калі элемент інфармацыі (адрас) 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