Verbum

НАБЛІ́ЖАНАЕ ІНТЭГРАВА́ННЕ,

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

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

Л.А.Янавіч.

т. 11, с. 88

ВІ́ЦЬБІЧ (Юрка) (сапр. Шчарбакоў Георгій; 15.6.1905, г. Веліж Смаленскай вобл. — 4.1.1975),

бел. пісьменнік і культ. дзеяч. У 1922—33 працаваў у Маскве на хім. заводзе. Пераехаў на Беларусь, удзельнічаў у напісанні гісторыі віцебскіх, гомельскіх і барысаўскіх фабрык. Быў удзельнікам Віцебскай, Гомельскай, Беластоцкай экспедыцый, узначальваў Аршанскую экспедыцыю па даследаванні, уліку і ахове помнікаў гісторыі, архітэктуры і мастацтва. У час Вял. Айч. вайны супрацоўнічаў з фашыстамі, быў членам т.зв. Цэнтр. ўрада бел. культ. згуртавання. З 1944 у Германіі, у 1946 стварыў бел. літ. згуртаванне і час. «Шыпшына», арганізаваў выданне час. праваслаўных беларусаў «Звіняць званы св. Сафіі». Пасля пераехаў у ЗША. Друкаваўся з 1929 у час. «Узвышша». Першая кн. прозы «Смерць Ірмы Лаймінг» (1932). У 1937 выдаў кн. «Формула супраціўлення касцей», у 1944 у Берліне — зб. публіцыстыкі «Веліжскія паўстанцы» і «Нацыянальныя святыні». Аўтар кн. «Плыве з-пад Святое гары Нёман» (ч. І, Мюнхен, 1956), «Мы дойдзем» (Нью-Йорк, 1974, на рус. мове). Пакінуў успаміны пра бел. пісьменнікаў.

Тв.:

Плыве з-пад Святое гары Нёман: Рэпр. выд. Мн., 1995.

т. 4, с. 237

ВЫ́ЗНАЧАНЫ ІНТЭГРА́Л,

канечны ліміт інтэгральнай сумы функцыі $𝑓\text{(}x\text{)}$ на адрэзку [a, b]; адно з асн. паняццяў матэм. аналізу. Абазначаецца ${\displaystyle {\int }_{\mathrm{a}}^{\mathrm{b}}𝑓\text{(}x\text{)}dx}$ .

Геаметрычна вызначаны інтэграл выражае плошчу «крывалінейнай трапецыі», абмежаванай адрэзкам [a, b] восі Ox, графікам функцыі 𝑓(x) і ардынатамі пунктаў графіка, якія маюць абсцысы a і b.

Паводле вызначэння вызначаны інтэграл ${\displaystyle {\int }_{\mathrm{a}}^{\mathrm{b}}𝑓\text{(}x\text{)}dx=\underset{\mathrm{\lambda }\to 0}{\overset{}{lim}}\sum _{k-1}^n𝑓\text{′(}{x}_k\text{′)}\mathrm{\Delta }{x}_k}$ , дзе ${\displaystyle \mathrm{\Delta }{x}_k=x_k-x_{k-1}}$ — даўжыні элементарных адрэзкаў, якія атрымліваюцца ў выніку падзелу адрэзка [a, b] на n элементарных адрэзкаў пунктамі $a=x_0<x_1<x_2<\text{...}<x_n=b(k=\text{1,2,...,}n)$ ; λ — даўжыня найбольшага адрэзка $\mathrm{\Delta }{x}_k$; $x_k\text{′}$ — некаторы пункт адрэзка $\left[x_{k-1}\text{,}{x}_k\right]$. Асн. сродак вылічэння вызначанага інтэграла — формула Ньютана—Лейбніца ${\displaystyle {\int }_{\mathrm{a}}^{\mathrm{b}}𝑓\text{(}x\text{)}dx=F\text{(}b\text{)}-F\text{(}a\text{)}}$ , дзе $F\text{(}x\text{)}$ — любая першаісная для $𝑓\text{(}x\text{)}$, г.зн. ${\displaystyle F\text{′(}b\text{)}=𝑓\text{(}x\text{)}}$ .

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

А.А.Гусак.

т. 4, с. 308

БУРШТЫ́Н (ням. Bernstein),

янтар, мінерал класа арган. злучэнняў, выкапнёвая акамянелая смала хвойных дрэў верхнемелавога—палеагенавага перыядаў. Аморфны вуглевадарод, каркасны палімер. Прыкладная хім. формула C₁₀H₁₆O₄. Трапляецца ў выглядзе зерняў, жаўлакоў і пласцін памерам ад некалькіх мм да 50 см у папярочніку. Звонку мае шчыльную непразрыстую шэрую ці бурую скарынку прадуктаў акіслення. Колер жоўты і карычневы розных адценняў, аранжавы, малочна-белы, зеленаваты і інш. Празрысты або замутнены. Бляск шкляны або смалісты. Цв. 2—3. Крохкі. Шчыльн. каля г/см³. Дыэлектрык. Т-ра плаўлення 250—300 °C, лёгка згарае.

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

У Беларусі вылучаюцца 3 перспектыўныя на бурштын раёны: Зах.-Беларускі, Мікашэвіцка-Жыткавіцкі і найб. перспектыўны Палескі (асабліва т.зв. Драгічынская плошча). Адклады на глыб. 15—80 м.

т. 3, с. 354

ДЫФЕРЭНЦЫЯ́ЛЬНЫЯ ЎРАЎНЕ́ННІ,

ураўненні, якія змяшчаюць невядомыя функцыі, іх вытворныя любых парадкаў і незалежныя пераменныя. Уведзены ў матэматыку І.Ньютанам і Г.Лейбніцам. Іх сістэматычнае вывучэнне пачаў Л.Эйлер. У 19 ст. Д.ў. сталі самастойнай матэм. дысцыплінай. Заснавальнікі сучаснай тэорыі Д.у. — А.М.Ляпуноў, У.А.Сцяклоў і інш.

Змена масы т радыеактыўнага рэчыва з каэфіцыентам распаду k за прамежак часу dt выражаецца Д.у. dm = kmdt (1). Тэмпература U = U(x, y, z), што ўстанавілася ў кожным пункце (x, y, z) цела, на мяжы якога падтрымліваецца зададзены цеплавы рэжым, задавальняе Д.ў. $\frac{{\partial }^{2}U}{\partial x^2}+\frac{{\partial }^{2}U}{\partial y^2}+\frac{{\partial }^{2}U}{\partial z^2}=0$ (2).

Д.ў. віду (1) — звычайнае Д.ў. (змяшчае функцыю аднаго пераменнага), віду (2) — Д.ў. ў частковых вытворных (змяшчае вытворныя невядомай функцыі па розных пераменных). Парадак Д.ў. вызначаецца вытворнай самага высокага парадку ў гэтым ўраўненні Кожнае Д.ў. вызначае адразу цэлую сям’ю рашэнняў, залежную ад лікавых ці функцыянальных параметраў; яно выражае некаторы агульны закон, якому падпарадкоўваецца мноства канкрэтных працэсаў. Для вылучэння асобнага працэсу задаюць дадатковыя ўмовы, найчасцей — краявыя (пачатковыя і гранічныя). Для рашэння (1) задаецца пачатковае значэнне — маса m(0) = m₀. Рашэнне (2) вызначаецца, напр., гранічнымі значэннямі — размеркаваннем тэмпературы на паверхні цела. Звычайнае лінейнае Д.ў. або сістэму гэтых Д.у. увядзеннем дапаможнай функцыі можна запісаць у выглядзе x′ = P(t)x + φ(t), дзе P — матрыца каэфіцыентаў, φ — вектар свабодных членаў, x = x(t) — вектар-функцыя. Калі Y — квадратычная матрыца, якая складаецца з незалежных рашэнняў адпаведнай аднароднай сістэмы (φ ≡ 0), а x* — адно з рашэнняў прыведзенага Д.ў., тады ўсе яго рашэнні дае формула x = x* + Yc, дзе c — адвольны пастаянны вектар. У шэрагу выпадкаў, напр. пры пастаяннай P, пабудова x* і Y зводзіцца да алгебраічных аперацый і інтэгравання. Існуюць і нелінейныя Д.ў., якія рашаюцца з дапамогай канечнага ліку прасцейшых аналітычных аперацый. Напр., калі M_y′= M_x′ тады ўсе рашэнні M(x,y)dx + N(x,y)dy = 0 дае формула ∫M(x,y)dx + N(x,y)dy = c, дзе c — адвольная пастаянная. Калі Д.ў. зададзена з дапамогай аналітычных функцый, тады рашэнне выяўляецца таксама аналітычнай функцыяй, раскладаецца ў ступенны рад каля кожнага неасаблівага пункта і знаходзіцца метадам неакрэсленых каэфіцыентаў. Вызначэнне рашэння Д.ў. ці сістэмы Д.у. x′ = ƒ(t,x) з зададзенай пачатковай умовай x(t₀) = x₀ раўназначнае рашэнню інтэгральных ураўненняў тыпу: $x\text{(}t\text{)}=x_0+\underset{t_0}{\overset{t}{\int }}ƒ\text{[}s,x\text{(}s\text{)}\text{]}ds$ (3). Калі ƒ неперарыўная функцыя, то (3) мае хоць бы адно рашэнне. Калі, акрамя гэтага, неперарыўная ƒ′_x, то рашэнне (3) адзінае і яго можна знайсці з дапамогай ітэрацый. Метад ітэрацый разам з метадам раздзялення пераменных, з метадам малога параметра і інш. ўжываецца і пры рашэнні Д.ў. з частковымі вытворнымі. Прыбліжанае рашэнне Д.ў. атрымліваюць, замяняючы ў Д.у. вытворныя адносінамі прырашчэнняў і пераходзячы да ўраўненняў у канечных рознасцях. Тэорыя Д.ў. выкарыстоўваецца ў варыяцыйным злічэнні, у тэорыі аптымальных працэсаў, у тэорыі кіравання рухам і ў большасці раздзелаў прыкладной матэматыкі. Вывучэнне краявых задач для Д.у. з частковымі вытворнымі — гал. частка матэм. фізікі.

На Беларусі развіццё тэорыі Д.у. звязана з імем М.П.Яругіна; распрацоўка новых раздзелаў тэорыі Д.у., арыентаваных на тэорыю кіравання, пачата ў 1966 Я.А.Барбашыным. Даследаванні па Д.у. вядуцца ў Ін-це матэматыкі Нац. АН Беларусі, БДУ і інш. (І.В.Гайшун, М.А.Лзобаў, Э.І.Груда, Ф.М.Кірылава, В.І.Карзюк і інш.). У Мінску выдаецца міжнар. навуковы час. «Дифференциальные уравнения».

Літ.:

Еругин Н.П. Книга для чтения по общему курсу дифференциальных уравнений. 3 изд. Мн., 1979;

Яго ж. Линейные системы обыкновенных дифференциальных уравнений с периодическими и квазипериодическими коэффициентами. Мн., 1963;

Барбашин Е.А. Введение в теорию устойчивости. М., 1967.

Ю.С.Багданаў, М.А.Ізобаў.

т. 6, с. 301

НЬЮ́ТАН ((Newton) Ісаак) (4.1.1643, Вулстарп, каля г. Грантэм, Вялікабрытанія — 31.3.1727),

англійскі фізік, матэматык і астраном, стваральнік класічнай механікі і асноў сучаснага прыродазнаўства. Чл. Лонданскага каралеўскага т-ва (1672, з 1703 яго прэзідэнт). Замежны чл. Парыжскай АН (1699). Скончыў Трыніты-каледж Кембрыджскага ун-та (1665). У 1669—1701 заг. кафедры матэматыкі гэтага ун-та. З 1696 даглядчык, з 1699 дырэктар Манетнага двара ў Лондане. Навук. працы па механіцы, оптыцы, астраноміі, матэматыцы. Даў азначэнні зыходных паняццяў і сфармуляваў асн. законы класічнай механікі (гл. Ньютана законы механікі). Адкрыў сусветнага прыцягнення закон. Увёў тэрмін «гравітацыя» і стварыў класічную тэорыю гравітацыі. На яе аснове растлумачыў Кеплера законы, асаблівасці руху Месяца, прэцэсію Юпітэра, прапанаваў тэорыю фігуры Зямлі, тэорыю прыліваў і адліваў. У галіне оптыкі адкрыў дысперсію святла (1666), храматычную аберацыю, інтэрферэнцыю святла ў тонкіх слаях паветра (гл. Ньютана кольцы). Сканструяваў люстэркавы тэлескоп-рэфлектар (1668), вынайшаў рэфлектарны мікраскоп (1672) і секстант. Развіў карпускулярную тэорыю святла. Распрацаваў дыферэнцыяльнае і інтэгральнае злічэнні (1665—66; гл. Ньютана—Лейбніца формула), пашырыў бінаміяльную формулу на выпадак адвольных рэчаісных паказчыкаў (гл. Ньютана біном). Гал. праца Н. — «Матэматычныя асновы натуральнай філасофіі» (1687), якая стала фундаментам класічнай фізікі і вызначыла развіццё прыродазнаўства ў наступныя 2 стагоддзі. У аснову ньютанаўскай карціны свету пакладзены паняцці абс. прасторы і часу, апісанне фіз. ўзаемадзеяння праз паняцце сілы, тэорыя далёкадзеяння, а таксама філас.-тэалагічныя погляды Н. Яго імем названа адзінка сілы ў СІ — ньютан.

Тв.:

Рус. пер. — Всеобщая арифметика или книга об арифметических синтезе и анализе. М., 1948;

Оптика или трактат об отражениях, преломлениях, изгибаниях и цветах света. 2 изд. М., 1954;

Математические начала натуральной философии. М., 1989.

Літ.:

Исаак Ньютон, 1643—1727: Сб. статей к трехсотлетию со дня рождения. М.; Л., 1943;

Карцев В.П. Ньютон. М., 1987;

Вавилов С.И. Исаак Ньютон, 1643—1727. 4 изд. М., 1989.

М.М.Касцюковіч.

т. 11, с. 397

А́ЛГЕБРА ЛО́ГІКІ,

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.Буль (1815—64). Алгебра логікі разглядае выказванні толькі з пункту гледжання іх праўдзівасці (пазначаюць лічбамі 1 — праўдзівасць і 0 — ілжывасць). Логікавыя аперацыі над выказваннямі даюць магчымасць будаваць новыя выказванні. Праўдзіваснае значэнне такога выказвання A (a₁,..., a_n), атрыманага пры дапамозе логікавых аперацый з прасцейшых выказванняў a₁, ..., a_n, адназначна выяўляецца праўдзіваснымі значэннямі зыходных выказванняў a₁,..., a_n. Таму кожнаму такому выказванню A (a₁, ..., a_n) адпавядае n-ме́сцавая функцыя, якая прымае значэнні 0,1, аргументы яе таксама прымаюць гэтыя значэнні. Такія функцыі наз. функцыямі алгебры логікі, ці булевымі, функцыямі. Яны могуць быць зададзеныя з дапамогай праўдзівасных табліц, якія маюць 2​ⁿ радкоў.

Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць $\stackrel{\_}{x}$. Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1) знаходзіцца ў адпаведнасці з аперацыямі, з якіх пабудавана дадзеная формула. Такая функцыя рэалізуе дадзеную формулу. Формулы A і B наз. роўнымі (раўназначнымі), калі адпаведныя ім функцыі роўныя, г.зн. калі супадаюць іх праўдзівасныя табліцы. Азначэнне A=B ці A≡B, A~B, калі кажуць пра іх раўназначнасць. Важную ролю ў алгебры логікі маюць роўнасці, якія задаюць булеву алгебру.

Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць вял. прыкладное значэнне. Сістэма функцый Ф. наз. функцыянальна поўнай, калі адвольная функцыя алгебры логікі можа быць рэалізаваная формулай, якая мае толькі сімвалы функцый з Ф. Напр., сістэмы функцый {&, ⋁, ¬}, {&, ¬}, {⋁, ¬}, {⇒, ¬}, {x | y}, {x ↓ y} функцыянальна поўныя (тут , , якія наз. штрыхам Шэфера і стрэлкай Пірса адпаведна).

Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі эл. схем.

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

т. 1, с. 234

А́ЛГЕБРА,

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

Вялікі ўплыў на развіццё алг. ідэй і сімволікі зрабіла «Арыфметыка» Дыяфанта (3 ст.). Тэрмін «алгебра» паходзіць ад назвы твора Мухамеда аль-Харэзмі «Альджэбр аль-мукабала» (9 ст.), які мае агульныя метады рашэння алгебраічных ураўненняў (АУ) 1-й і 2-й ступеняў. У канцы 15 ст. замест грувасткіх слоўных апісанняў алг. дзеянняў у матэм. творах з’яўляюцца знакі «+» і «-», потым знакі ступеняў, кораняў, дужкі. У канцы 16 ст. Ф.Віет першы выкарыстаў літарныя абазначэнні. Да сярэдзіны 17 ст. ў асн. склалася сучасная алг. сімволіка. У далейшым погляд на алгебру мяняўся. Алгебра 17—18 ст. займалася літарнымі вылічэннямі (рашэнне АУ, тоеснае пераўтварэнне формул і інш.) у адрозненне ад арыфметыкі, якая аперыруе канкрэтнымі лікамі. Да сярэдзіны 18 ст. алгебра склалася прыблізна ў аб’ёме цяперашняй т.зв. элементарнай алгебры. Алгебра 18—19 ст. з’яўляецца ў асн. алгебрай мнагачленаў. Першай гіст. задачай алгебры было рашэнне АУ з адным невядомым. У 16 ст. італьян. матэматыкамі была знойдзена формула для рашэння ўраўненняў 3-й ступені (формула Кардана), потым метад рашэння ўраўненняў 4-й ступені (метад Ферары). Амаль 3 стагоддзі вёўся пошук формулы для рашэння ўраўненняў вышэйшай ступені. У 17 ст. ўпершыню выказана А.Жырарам, а ў канцы 18 ст. К.Гаўсам даказана асн. тэарэма алгебры аб існаванні камплекснага кораня для адвольных АУ з камплекснымі каэфіцыентамі. У 1824 Н.Абель даказаў, што ўраўненне вышэй 4-й ступені ў агульным выпадку ў радыкалах невырашальнае, а ў 1830 Э.Галуа знайшоў крытэрый вырашальнасці ў радыкалах АУ. Разам з тэарэмай АУ з адным невядомым разглядаліся сістэмы АУ з многімі невядомымі, у прыватнасці сістэмы лінейных ураўненняў, у сувязі з чым узніклі паняцці матрыцы і дэтэрмінанта. З сярэдзіны 19 ст. даследаванні ў алгебры паступова пераносяцца з тэорыі АУ да вывучэння адвольных алг. аперацый. Абстрактнае паняцце алг. аперацыі ўзнікла ў сярэдзіне 19 ст. ў сувязі з даследаваннем прыроды камплексных лікаў, а таксама ў выніку з’яўлення прыкладаў алг. аперацый над элементамі зусім інш. прыроды, чым лікі, — складанне і множанне матрыц і інш.

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

Алг. паняцці і метады выкарыстоўваюцца ў геаметрыі, тэорыі лікаў, функцыян. аналізе, тэорыі дыферэнцыяльных ураўненняў, метадах вылічэнняў і інш. Алгебра мае вял. дачыненне да фізікі (выяўленні груп у квантавай фізіцы), крышталяграфіі (дыскрэтныя групы), кібернетыкі (тэорыі аўтаматаў і кадзіравання), матэм. эканомікі (лінейныя няроўнасці) і інш. Сістэм. даследаванні па алгебры на Беларусі пачалі Дз.А.Супруненка (1945) і С.А.Чуніхін (1953). Вядуцца пераважна ў Ін-це матэматыкі АН Беларусі, БДУ, Гомельскім ун-це ў школах У.П.Платонава, А.Я.Залескага, Л.А.Шамяткова.

Літ.:

Математика, её содержание, методы и значение. Т. 1—3. М., 1956;

Бурбаки Н. Очерки по истории математики: Пер. с фр. М., 1963.

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

т. 1, с. 233

ЗЛІЧЭ́ННЕ,

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

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

Літ.:

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

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

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

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

т. 7, с. 76

МАЛЕ́КУЛА (новалац. molecula, памяншальнае ад лац. moles маса),

найменшая ўстойлівая часціца рэчыва, якая мае ўсе яго хім. ўласцівасці і складаецца з аднолькавых (простае рэчыва) або розных (складанае рэчыва) атамаў. Атамы ў М. злучаны паміж сабой хімічнымі сувязямі. Якасны і колькасны састаў М. выражае формула хімічная, якая адначасова дазваляе вызначыць малекулярную масу. Парадак хім. сувязей у М. дае яе структурная ф-ла. Колькасць атамаў у М. розная: ад 2 (напр., у М. кіслароду O₂) да сотняў тысяч (гл. Макрамалекула). Памеры М. залежаць ад колькасці атамаў у ёй і мяняюцца да 10​² да 10​⁵ пм.

Прасторавае размяшчэнне атамаў у М. адпавядае мінімуму патэнцыяльнай энергіі М. і вызначае яе геам. будову і памеры. Напр., трохатамная М. вады H₂O мае форму раўнабедранага трохвугольніка, у вяршыні якога знаходзіцца атам кіслароду, адлегласць паміж атамамі кіслароду і вадароду (даўж. сувязі O—H) 95,84 пм, а валентны вугал паміж сувязямі H—O—H 104,5°. М. — складаная сістэма, у якой электроны рухаюцца вакол ядраў паводле закону квантавай механікі. Пры злучэнні атамаў у М. іх унутр. электроны не мяняюць свайго руху, а вонкавыя (валентныя) — утвараюць электронную абалонку М., будова якой абумоўлівае характар хім. сувязей у М., рэакцыйную здольнасць хім. злучэння (гл. Рэакцыі хімічныя), магн. (гл. Дыямагнетызм, Парамагнетызм) і эл. ўласцівасці рэчыва. У эл. полі ўсе М. палярызуюцца (вонкавыя электроны М. зрушваюцца адносна ядраў); некат. М. маюць пастаянны дыпольны момант. У М. разам з рухам электронаў адбываецца вагальны рух — перыяд. адносны рух ядраў (разам з унутр. электронамі), у газавай фазе — таксама вярчальны рух усёй М. як цэлага. У адпаведнасці з магчымымі відамі руху поўная энергія М. (E) складаецца з электроннай (E_эл), вагальнай (E_ваг) і вярчальнай (E_вярч) энергій: E = E_эл + E_ваг + E_вярч. Звычайна E_эл ≫ E_ваг ≫ E_вярч. Для кожнага віду руху паводле квантавых законаў дазволены толькі пэўныя (дыскрэтныя) значэнні энергіі (энергет. ўзроўні), пры гэтым электронныя энергет. ўзроўні размешчаны далёка адзін ад аднаго (розняцца на некалькі электронвольт), вагальныя — бліжэй (на дзесятыя і сотыя долі электронвольта), а вярчальныя яшчэ бліжэй (на сотыя — стотысячныя долі электронвольта). Квантавыя пераходы паміж энергет. ўзроўнямі М. суправаджаюцца вылучэннем ці паглынаннем аптычнага выпрамянення. Сукупнасць квантавых пераходаў М. вызначае малекулярныя спектры.

Літ.:

Татевский В.М. Строение молекул. М., 1977;

Флайгер У. Строение и динамика молекул: Пер. с англ. Т 1—2. М., 1982.

М.А.Ельяшэвіч, К.М.Салаўёў.

т. 10, с. 26