Verbum

НЬЮ́ТАНА—ЛЕ́ЙБНІЦА ФО́РМУЛА,

асноўная формула інтэгральнага злічэння. Выражае сувязь паміж вызначаным інтэгралам ад функцыі 𝑓(x), зададзенай на адрэзку [a, b], і якой-н. яе першаіснай (гл. Нявызначаны інтэграл): ${\displaystyle {\int }_{\mathrm{a}}^{\mathrm{b}}𝑓\text{(}x\text{)}dx=F\text{(}b\text{)}-F\text{(}a\text{)}}$ . Правіла, выражанае Н.—Л.ф., было вядома І.Ньютану і Г.В.Лейбніцу (адсюль назва). Калі функцыя 𝑓(x) неперарыўная на [a, b], то для любога x з [a, b] можна таксама запісаць ${\displaystyle F\text{(}x\text{)}={\int }_{\mathrm{a}}^{\mathrm{x}}𝑓\text{(}t\text{)}dt+C}$ , дзе C — некаторая пастаянная.

т. 11, с. 398

БРАХІСТАХРО́НА (ад грэч. brachistos самы кароткі + chronos час),

крывая самага хуткага спуску. Напр., калі пункты A і B ляжаць не на адной вертыкалі ў полі сілы цяжару, то шарык пры руху ўздоўж брахістахроны за самы кароткі час прыйдзе з пункта A у пункт B. Калі няма сіл супраціўлення, брахістахрона — цыклоіда з гарыз. асновай і пунктам звароту, які супадае з пунктам A. Рашэнне задачы аб брахістахроне (І.​Бернулі, 1696) — зыходны пункт для развіцця варыяцыйнага злічэння.

т. 3, с. 252

МАТЭМАТЫ́ЧНАЯ ЛО́ГІКА, сімвалічная логіка,

адзін з кірункаў сучаснай фармальнай логікі, заснаваны на выкарыстанні матэм. метадаў даследавання. У М.л. аперацыі мыслення і пераважна вывадных ведаў вывучаюцца шляхам іх адлюстравання ў спец. фармалізаваных мовах, або лагічных злічэннях. Адным з асн. яе метадаў з’яўляецца метад фармалізацыі, або вывучэння аб’ектаў з дапамогай адносна жорсткіх фіксаваных элементаў іх формы (пры адцягненні ад унутр. зместу). Сістэма фармалізаваных аксіём і фармальных правіл вываду афармляецца ў выглядзе некаторага злічэння. Прасцейшыя з іх — злічэнні выказванняў, калі аперацыі з простымі выказваннямі аб’ядноўваюцца ў складаныя выказванні з дапамогай аператараў кан’юнкцыі, дыз’юнкцыі, імплікацыі, эквіваленцыі і адмаўлення (гл. Логіка выказванняў). У агульных злічэннях выказванняў — класічным і інтуіцыянісцкім (гл. Інтуіцыянізм) — ужываюцца адны і тыя ж правілы вываду (падстаноўкі і вываду заключэння). Формула лічыцца класічна агульназначнай, калі правільнае ўсякае выказванне, што выводзіцца з яе ў выніку падстановак любых выказванняў замест пераменных (A, B, C...); да ўсякага злічэння прад’яўляюцца патрабаванні несупярэчлівасці і паўнаты. Другая форма — злічэнне прэдыкатаў, якое ўключае ў свой склад злічэнне выказванняў, але дадае да яго апарату аперацыі агульнасці і існавання (гл. Логіка прэдыкатаў, Квантары). Самаст. раздзелам у М.л. ўваходзіць злічэнне класаў, якое адпавядае вузкаму злічэнню аднамесных прэдыкатаў, або сілагістыцы Арыстоцеля (гл. Логіка класаў).

Зыходныя паняцці М.л. былі ўжо ў вучэнні прадстаўнікоў мегарскай школы і стоікаў. На мяжы 13—14 ст. ісп. філосаф Р.​Лулій сканструяваў спец. «лагічную машыну», якая складалася з сямі канцэнтрычных кругоў са знакамі, літарамі і тэрмінамі і дазваляла атрымаць разнастайныя камбінацыі слоў і паняццяў. Спроба стварэння «злічэння розуму», падобнага да матэм. злічэння і заснаванага на універсальнай лагічнай мове, належала Г.​Лейбніцу. Як самаст. дысцыпліна М.л. аформілася ў сярэдзіне 19 ст. ў працах англ. матэматыка і логіка Дж.​Буля і ў распрацаванай ім алгебры логікі. Далей М.л. развівалася ў сувязі з распрацоўкай аксіяматычнага метаду, мностваў тэорыі, вызначэння несупярэчлівасці матэм. злічэнняў і інш. Рас. вучоны П.​С.​Парэцкі распрацаваў тэорыю лагічных роўнасцей і прапанаваў найб. агульны метад знаходжання ўсіх эквівалентных форм пасылак і вынікаў з іх («Аб спосабах рашэння лагічных роўнасцей...», 1884). Ч.​Пірс (ЗША) праводзіў даследаванні ў строгай і раздзяляльнай дыз’юнкцыі, матэрыяльнай імплікацыі, індукцыі і гіпотэзы, логікі адносін і інш. галінах М.л. Ням. логік Г.​Фрэге прапанаваў аксіяматычную пабудову логікі выказванняў, сфармуляваў правіла падстаноўкі, увёў паняцце квантара, распрацаваў асн. прынцыпы семантыкі лагічнай. Сучасную форму М.л. надаў італьян. вучоны Дж.​Пеана, які распрацаваў сістэму аксіём для арыфметыкі натуральных лікаў і паказаў, як з дапамогай сімвалічнага злічэння можна практычна пабудаваць матэм. дысцыпліны («Фармуляр матэматыкі», т. 1—2, 1895—97). Развіццю М.л. садзейнічалі працы Б.​Расела і А.​Н.​Уайтхеда («Прынцыпы матэматыкі», т. 1—3, 1910—13). У далейшым атрымалі развіццё даследаванні ў розных галінах М.л., была распрацавана тэорыя матэм. доказаў на аснове выкарыстання лагічных злічэнняў да пытанняў асноў матэматыкі (Я.​Лукасевіч, А.​Гейцінг, А.​М.​Калмагораў, В.​І.​Шастакоў, С.​К.​Кліні, А.​А.​Маркаў і інш.).

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

Літ.:

Клини С.К. Математическая логика: Пер. с англ. М., 1973;

Шенфилд Дж.Р. Математическая логика: Пер. с англ. М., 1975;

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

Гильберт Д., Бернайс П. Основания математики: Теория доказательств: Пер. с нем. М., 1982;

Брюшинкин В.Н. Логика, мышление, информация. Л., 1988;

Логика и компьютер. Л., 1990.

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

т. 10, с. 213

ВАРЫЯ́ЦЫЯ (ад лац. variatio змяненне),

1) у агульных выпадках — відазмяненне, разнавіднасць чаго-небудзь.

2) У музыцы — складаная частка варыяцыйнай формы, якая ўяўляе сабой відазмяненне тэмы.

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

4) У матэматыцы — малое змяненне аргумента (незалежнай пераменнай) або функцыянала; асн. паняцце варыяцыйнага злічэння.

5) У астраноміі — перыядычная змена скорасці руху Месяца па арбіце, абумоўленая гравітацыйным дзеяннем Сонца.

т. 4, с. 20

КВА́НТАРЫ (ад лац. quantum колькі),

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

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

т. 8, с. 211

НАБЛІ́ЖАНАЕ ДЫФЕРЭНЦАВА́ННЕ,

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

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

т. 11, с. 88

ГРЫ́НА ФО́РМУЛЫ,

формулы інтэгральнага злічэння, якія звязваюць паміж сабой інтэгралы розных тыпаў. Самая простая з іх, вядомая яшчэ Л.​Эйлеру (1771), звязвае падвойны інтэграл па плоскай паверхні S з крывалінейным інтэгралам па яе мяжы L: ${\displaystyle {\int }_{\mathrm{(L)}}^{}P\mathrm{d}\mathrm{x}+Q\mathrm{d}\mathrm{y}={\int }_{\mathrm{(S)}}^{}\text{(}\frac{\partial \mathrm{Q}}{\partial \mathrm{x}}-\frac{\partial \mathrm{P}}{\partial \mathrm{y}}\mathrm{d}\mathrm{x}\mathrm{d}\mathrm{y}\text{)}}$ ; яе фіз. сэнс: паток вадкасці, якая цячэ па плоскасці са скорасцю V(Q, -P) праз мяжу L, роўны інтэгралу ад інтэнсіўнасці (дывергенцыі) крыніц і сцёкаў, размеркаваных па паверхні S. Дзве інш. формулы, што звязваюць інтэгралы па аб’ёме і па паверхні, якая яго абмяжоўвае, апублікаваны Дж.Грынам у 1828 у сувязі з даследаваннямі па тэорыі патэнцыялу. Гл. таксама Астраградскага формула, Стокса формула.

Р.​Т.​Вальвачоў.

т. 5, с. 482

ГА́МІЛЬТАН ((Hamilton) Уільям Роўан) (4.8.1805, Дублін — 2.9.1865),

ірландскі матэматык і механік. Чл. Ірландскай АН (1832) і яе прэзідэнт у 1837—45. Чл.-кар. Пецярбургскай АН (1837). Скончыў Дублінскі ун-т (1827), з 1827 праф. і дырэктар астр. абсерваторыі гэтага ун-та. Распрацаваў тэорыю гіперкамплексных лікаў, пабудаваў сістэму кватэрніёнаў, адначасова з Г.Грасманам прапанаваў тэорыю камплексных лікаў, якая стала адной з крыніц развіцця вектарнага злічэння. Распрацаваў тэорыю аптычных з’яў і ўстанавіў аналогію паміж класічнай механікай і геам. оптыкай, сфармуляваў адзін з варыяцыйных прынцыпаў механікі — найменшага дзеяння прынцып (прынцып Гамільтана), які незалежна ад яго выказаў М.В.Астраградскі.

Літ.:

Полак Л.С. Уильям Роуэн Гамильтон // Тр. Ин-та истории естествознания и техники АН СССР. 1956. Т. 15.

т. 5, с. 15

ЛАПЛА́СА ПЕРАЎТВАРЭ́ННЕ,

лінейнае функцыянальнае пераўтварэнне, якое пераводзіць функцыю f(t) сапраўднай пераменнай t (арыгінал) у функцыю F(s) камплекснай пераменнай (вобраз). Цесна звязана з Фур’ё пераўтварэннем. Выкарыстоўваецца для інтэгравання дыферэнцыяльных ураўненняў у задачах электратэхнікі, гідрадынамікі, механікі, тэорыі цеплаправоднасці.

Дазваляе зводзіць рашэнне, напр., звычайнага лінейнага дыферэнцыяльнага ўраўнення з пастаяннымі каэфіцыентамі да рашэння алг. ўраўнення 1-й ступені. Аднабаковае Л.п. матэматычна выражаецца праз інтэграл Лапласа ${\displaystyle \mathrm{F(s)}=\underset{0}{\overset{\mathrm{\infty }}{\int }}{\mathrm{f(t)e}}^{\mathrm{-st}}\mathrm{dt}}$ (інтэгралы такога віду разглядаліся П.С.Лапласам у працах па тэорыі імавернасцей у 1812, адсюль назва) Пры пэўных абмежаваннях на функцыю F(s) функцыя f(t) узнаўляецца адназначна па формулах абарачэння. Л.п. разам з яго абарачэннем складае аснову аперацыйнага злічэння.

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

т. 9, с. 134