Verbum

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

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

Аформілася ў самастойную матэм. дысцыпліну пасля прац І.Ньютана і Г.Лейбніца, якія сфармулявалі асн. палажэнні Д.з. і паказалі ўзаемна адваротны характар аперацый дыферэнцавання і інтэгравання. Выклікала з’яўленне новых галін матэматыкі: тэорыі шэрагаў, дыферэнцыяльнай геаметрыі, дыферэнцыяльных ураўненняў, варыяцыйнага злічэння. Грунтуецца на паняццях: рэчаісны лік, функцыя, ліміт, бясконца малая, неперарыўнасць і інш., якія атрымалі сучасны змест у ходзе развіцця і абгрунтавання аналізу бясконца малых; цэнтральныя паняцці Д.з. — вытворная і дыферэнцыял — і распрацаваны ў Д.з. апарат, які звязаны з імі, даюць сродкі даследавання функцый (у т. л. некалькіх пераменных), лакальна падобных на лінейныя функцыі або паліномы. Асн. дастасаванні Д.з. звязаны з даследаваннем функцый з дапамогай вытворных: знаходзіць выпукласць і ўвагнутасць графіка функцыі, прамежкі нарастання і спадання функцый, іх найбольшае і найменшае значэнне (гл. Экстрэмум), пункты перагіну і асімптоты, а таксама розныя ліміты функцый (напр., віду 0/0, ∞/∞ ; гл. Нявызначаны выраз), якія не паддаюцца вылічэнню інш. метадамі. Метады Д.з. маюць шматлікія дастасаванні ў даследаваннях актуальных праблем матэматыкі, прыродазнаўчых і тэхн. навук.

Літ.:

Курс вышэйшай матэматыкі. Мн., 1994;

Гусак А.А. Высшая математика. Т. 1—2. 2 изд. Мн., 1983—84.

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

т. 6, с. 300

АНАЛІТЫ́ЧНАЯ ФУ́НКЦЫЯ,

функцыя, значэнне якой у кожным пункце яе вобласці вызначэння роўнае суме ступеннага шэрага, які збягаецца ў некаторым наваколлі гэтага пункта. Да аналітычнай функцыі адносяцца: рацыянальная функцыя, паказнікавая функцыя, лагарыфмічная функцыя, трыганаметрычныя функцыі, адваротныя трыганаметрычныя функцыі, іх разнастайныя кампазіцыі, а таксама функцыі, адваротныя да гэтых кампазіцый. Існуюць аналітычныя функцыі аднаго або некалькіх рэчаісных ці камплексных пераменных. Функцыя 𝑓(z) аднаго комплекснага пераменнага z=x+iy наз. аналітычнай функцыяй у пункце z₀, калі ў некаторым наваколлі h гэтага пункта існуе канечная вытворная ${\displaystyle \mathrm{f}\text{′(}\mathrm{z}\text{)}=\underset{\mathrm{h}\to 0}{\overset{}{lim}}\frac{\mathrm{f}\text{(}\mathrm{z}+\mathrm{h}\text{)}-\mathrm{f}\text{(}\mathrm{z}\text{)}}{\mathrm{h}}}$ (дыферэнцыравальнасць функцыі), што мае месца ў тым і толькі ў тым выпадку, калі выконваецца ўмова Кашы—Рымана ${\displaystyle \frac{\mathrm{d}\mathrm{t}}{\mathrm{d}\stackrel{\_}{\mathrm{z}}}=0}$ , дзе $\stackrel{\_}{\mathrm{z}}=\mathrm{x}+\mathrm{y}$. Асновы тэорыі аналітычнай функцыі былі закладзены А.​Кашы, Б.​Рыманам і К.​Веерштрасам, С.​В.​Кавалеўскай і інш. На Беларусі даследаванні па тэорыі аналітычнай функцыі пачаліся ў 1930-я г. ў БДУ (М.​В.​Ламбін, М.​Л.​Лукомская), з 1960-х г. праводзяцца ў АН, БДУ і інш. ВНУ рэспублікі (Ф.​Дз.​Гахаў, Э.​І.​Звяровіч і інш.). Аналітычныя функцыі маюць шматлікія дастасаванні ў матэм. аналізе (вылічэнне вызначаных інтэгралаў), у геаметрыі (канформныя адлюстраванні), у тэорыі пругкасці, гідрадынаміцы, электрадынаміцы і інш. навуках. Гл. таксама Кашы інтэграл, Кашы тэарэма.

Літ.:

Маркушевич А.И. Теория аналитических функций. Т. 1—2. М., 1967—68;

Шабат Б.В. Введение в комплексный анализ. Ч. 1—2. 3 изд. М., 1985;

Гахов Ф.Д. Краевые задачи. 3 изд. М., 1977.

Э.​І.​Звяровіч.

т. 1, с. 335

ЛО́ГІКА ВЫКА́ЗВАННЯЎ,

прапазіцыянальная логіка, раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж простымі і складанымі выказваннямі. Простае (атамарнае) выказванне не ўключае ў сябе іншыя выказванні і разглядаецца як пераменная, якая прымае або ісціннае, або няісціннае значэнне. Канкрэтны змест і ўнутр. структура выказванняў пры гэтым не разглядаюцца. Складанае выказванне складваецца з іншых выказванняў пры дапамозе ўзаемазвязаных лагічных (прапазіцыянальных) звязак. Так, злучэнне двух выказванняў з дапамогай звязкі «і» дае складанае выказванне (кан’юнкцыю), якое з’яўляецца ісцінным, толькі калі абодва гэтыя выказванні ісцінныя. Складанае выказванне, утворанае з дапамогай звязкі «або» (дыз’юнкцыя), ісціннае, калі хаця б адно з гэтых двух выказванняў ісціннае. Складанае выказванне, утворанае з дапамогай «не» (адмаўленне), ісціннае, калі толькі зыходнае выказванне няісціннае. Складанае выказванне, атрыманае з двух выказванняў з дапамогай звязкі «калі, то» (імплікацыя), ісціннае ў 3 выпадках: абодва гэтыя выказванні ісцінныя, абодва яны няісцінныя; першае з выказванняў (за словам «калі») няісціннае, а другое (за словам «то») ісціннае, імплікацыя з’яўляецца няісціннай, толькі калі першае з яе выказванняў ісціннае, а другое няісціннае. Мова Л.в. уключае бясконцае мноства пераменных (P, g, r, ... P_i, g_i, r_i, якія ўяўляюць сабой выказванні), і асаблівыя сімвалы для лагічных звязак: & — кан’юнкцыя («і»), ∨ — дыз’юнкцыя («або»), ¬ — адмаўленне («не» або «няправільна, што»), → — імплікацыя («калі, то»), ↔ — эквівалентнасць («калі і толькі калі»). Л.в. можа быць прадстаўлена таксама ў форме лагічнага злічэння, у якім задаецца спосаб доказу некаторых выказванняў.

Літ.:

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

Брюшинкин В.Н. Практический курс логики для гуманитариев. М., 1996.

В.​В.​Краснова.

т. 9, с. 334

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

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

Змена масы m радыеактыўнага рэчыва з каэфіцыентам распаду 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

МАДЭЛІ́РАВАННЕ ў навуцы і тэхніцы,

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

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

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

3) Выраб мадэлей самалётаў, суднаў і інш. у спартыўных (гл. Мадэлізм спартыўны), доследных і навуч. мэтах (дэманстрацыйнае М.).

Літ.:

Чавчанидзе В.В., Гельман О.Я. Моделирование в науке и технике. М., 1966;

Полисар Г.Л. Моделирование. М., 1963;

Новик И.Б. О моделировании сложных систем. М., 1965;

Седов Л.И. Методы подобия и размерности в механике. 10 изд. М., 1987.

У.​М.​Сацута.

т. 9, с. 494

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

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.​Буль (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 > 2.

Развіццё матэм. сімволікі цесна звязана з агульным развіццём паняццяў і метадаў матэматыкі. Першымі З.м. былі лічбы — знакі для абазначэння лікаў; мяркуюць, што яны папярэднічалі ўзнікненню пісьменнасці. З.м. для абазначэння адвольных велічынь з’явіліся 5—4 ст. да н.э. ў Грэцыі. Напр., плошчы, аб’ёмы, вуглы адлюстроўваліся адрэзкамі, а здабыткі велічынь — прамавугольнікамі, пабудаванымі на такіх адрэзках. У «Асновах» Эўкліда (3 ст. да н.э.) велічыні абазначаюцца дзвюма літарамі — пачатковай і канцавой літарамі адпаведнага адрэзка, а часам і адной. Пачаткі літарнага абазначэння і злічэння ўзніклі ў познаэліністычную эпоху (Дыяфант; верагодна 3 ст.) пры вызваленні алгебры ад геам. формы. Сучасная алг. сімволіка створана ў 14—17 ст.; яе развіццё і ўдасканаленне спрыяла ўзнікненню новых раздзелаў матэматыкі (гл. напр., Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Тэнзарнае злічэнне) і матэм. логікі (Алгебра логікі).

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

т. 7, с. 99

МАГНІ́ТНАЯ СТРУКТУ́РА,

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

Атамная М.с. апісваецца сярэднім значэннем мікраскапічнай шчыльнасці магн моманту M(x, y, z) у кожным пункце крышталя. Крышталі з M(x, y, z) = 0 не маюць атамнай М.с. (дыямагнетыкі і парамагнетыкі). Крышталі з M(x, y, z) ≠ 0 бываюць з адрозным ад нуля (ферамагнетыкі) і роўным нулю (антыферамагнетыкі) сумарным магн. момантам элементарнай ячэйкі. Даменная М.с. можа назірацца эксперыментальна з дапамогай магн. парашку, які асядае на межах даменаў. У ферамагнетыках пры зададзенай т-ры форма даменаў, іх памеры і арыентацыя магн. момантаў залежаць ад памераў і формы ўзору, арыентацыі паверхні крышталя, дэфектаў крышталічнай рашоткі, унутр. напружанняў, а ў полікрышталічных узорах — і ад віду магн структуры суседніх крышталёў. Пад уплывам знешніх уздзеянняў (пруткіх напружанняў, знешніх магн. палёў, змен т-ры) адбываецца перабудова даменнай структуры. На сувязі паміж асн. магн. характарыстыкамі ферамагн. матэрыялу і яго структурай заснаваны магнітаструктурны аналіз, які найчасцей выкарыстоўваюць для вызначэння мех. уласцівасцей сталі і чыгуну пасля тэрмічнай апрацоўкі. На аснове залежнасці магн. характарыстык пэўнай маркі сталі ад т-ры загартоўкі, адпалу і да т.п., робяць неразбуральны кантроль якасці тэрмічнай апрацоўкі вырабаў. Найб. пашыраны магн. метады (з выкарыстаннем пастаянных магн. палёў для намагнічвання вырабаў), эл.-магн. (з выкарыстаннем пераменных эл.-магн. палёў), імпульсныя (імпульсных магн. палёў). Даследуецца таксама тэкстура металаў (на аснове выкарыстання сувязі тэкстуры з анізатрапіяй магн. уласцівасцей), спосабы кантролю ферамагн. складальнай у аўстэнітных сталях, каляровых металах і горных пародах.

На Беларусі праблемы М.с. і магнітаструктурнага аналізу даследуюцца ў Ін-це прыкладной фізікі Нац. АН.

Літ.:

Вонсовский С.В. Магнетизм. М., 1971;

Ивановский В.И., Черникова Л.А. Физика магнитных явлений. М., 1981;

Михеев М.Н., Горкунов Э.С. Магнитные методы структурного анализа и неразрушающего контроля. М., 1993: Мельгуй М.А. Магнитный контроль механических свойств сталей. Мн., 1980.

М.​А.​Мяльгуй.

т. 9, с. 482

МАТЭМА́ТЫКА (грэч. mathēmatikē ад mathēma веды, навука),

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

Пачатак развіцця М. адносяць да 6—5 ст. да н.э., калі сфармуляваны паняцці цэлага ліку, рацыянальнага дробу, адлегласці, плошчы, аб’ёму, створаны правілы дзеянняў з лікамі, вызначэння плошчаў фігур і аб’ёмаў цел (гл. Вавілона-асірыйская культура, Егіпет Старажытны, Грэцыя Старажытная). Назапашаны матэрыял паступова склаўся ў арыфметыку, вымярэнне плошчаў і аб’ёмаў садзейнічала станаўленню геаметрыі, метады арыфметычных вылічэнняў спарадзілі алгебру, а патрэбы астраноміі — трыганаметрыю. М. ў гэты перыяд яшчэ не была дэдуктыўнай навукай, а ўяўляла сабой збор правіл і прыкладаў рашэння асобных задач. Самастойнай навукай са сваім дакладна акрэсленым метадам і сістэмай асн. паняццяў М. становіцца да сярэдзіны 17 ст. Была створана дзесятковая сістэма лічэння (5 ст., Індыя), метад рашэння лінейных ураўненняў з 2 невядомымі. Узорам матэм. дэдуктыўна пабудаванай тэорыі стала эўклідава геаметрыя, з арыфметыкі паступова вылучылася лікаў тэорыя, створана сістэматызаванае вучэнне аб ліках і вымярэннях, фарміруецца паняцце сапраўднага ліку, развіваецца плоская і сферычная трыганаметрыя, уводзіцца паняцце трыганаметрычных функцый (гл. ў арт. Арабская культура). Значны ўплыў на развіццё М. зрабілі працы Піфагора Самоскага, Эўдокса Кнідскага, Эўкліда, Архімеда, Дыяфанта Александрыйскага, Герона Александрыйскага, Арыябхаты, Ф.Віета, Дж.​Кардана і інш. У 17—18 ст. у М. ўводзяцца ідэі руху і змены ў форме пераменных велічынь і функцыянальнай залежнасці паміж імі, ствараецца аналітычная геаметрыя, дыферэнцыяльнае злічэнне, інтэгральнае злічэнне. У 18 ст. ўзнікаюць тэорыя дыферэнцыяльных ураўненняў, дыферэнцыяльная геаметрыя, варыяцыйнае злічэнне і інш. У 19 — пач. 20 ст. М. ўзнімаецца на новыя ступені абстракцыі, ствараюцца неэўклідавы геаметрыі. Развіццё М. гэтага перыяду звязана з імёнамі І.Ньютана, Г.В.Лейбніца, Р.Дэкарта, Б.Паскаля, П.Ферма, сям’і Бернулі, Ж.Л.Лагранжа, Н.Г.Абеля, Ж.Б.Ж.Фур’е, Э.Галуа, Я.Больяй, К.Ф.Гаўса, Г.Ф.Б.Рымана, К.Т.В.Веерштраса, Ж.Адамара, Ж.А.Пуанкарэ, Л.Эйлера, М.І.Лабачэўскага, П.Л.Чабышова, А.А.Маркава, М.В.Астраградскага, А.М.Ляпунова, У.А.Сцяклова і інш. У 20 ст. з’явіліся ці былі развіты новыя матэм. дысцыпліны і кірункі М.: праектыўная геаметрыя, мностваў тэорыя, функцыянальны аналіз, матэматычная логіка, груп тэорыя, імавернасцей тэорыя, тапалогія і інш. Лікавыя метады М. склалі яе самастойную галіну — вылічальную М., стымулявалі развіццё вылічальных машын. «Матэматызацыя» навукі, хуткае развіццё выліч. тэхнікі стымулявалі паяўленне такіх матэм. дысцыплін, як гульняў тэорыя, інфармацыі тэорыя, графаў тэорыя, дыскрэтная матэматыка, тэорыя аптымальнага кіравання. Значным укладам у М. былі працы Н.Бурбакі, Г.Кантара, М.У.Келдыша, А.М.Калмагорава, М.М.Крылова, М.М.Багалюбава, М.А.Лаўрэнцьева, Л.С.Пантрагіна і інш.

На Беларусі даследаванні па М. пачаліся ў 1920-я г., праводзіліся ў БДУ, БСГА, АН Беларусі, Віцебскім пед. ін-це і інш. Асн. кірункамі даследаванняў былі: дыферэнцыяльныя ўраўненні; геаметрыя, алгебра; тэорыі функцый рэчаіснай і комплекснай пераменных; лікавыя і графічныя метады, набліжаныя метады ў алгебры; тэорыя імавернасцей і матэм. статыстыка, матэм. апрацоўка вынікаў вымярэнняў; матэм. фізіка, матэм. метады ў механіцы; метадалогія навукі, філас. пытанні М. Ішло стварэнне бел. навуковай тэрміналогіі. У пасляваен. гады цэнтрам матэм. даследаванняў сталі Інстытут матэматыкі Нац. АН Беларусі, БДУ. Асн. кірункі даследаванняў: алгебра, выліч. матэматыка, геаметрыя, дыферэнцыяльныя і інтэгральныя ўраўненні, матэм. кібернетыка, тэорыя лікаў, матэм. фізіка, праграмнае забеспячэнне ЭВМ, функцыянальны аналіз. Дасягненні бел. матэматыкаў у гэтых кірунках атрымалі міжнар. прызнанне. Значны ўклад у развіццё М. на Беларусі зрабілі М.П.Яругін, У.І.Крылоў, С.А.Чуніхін, Ф.​Дз.Гахаў, Дз.А.Супруненка, Я.А.Барбашын, У.Г.Спрынджук і інш. У Мінску выдаюцца часопісы: «Дифференциальные уравнения» (з 1965), «Весці Нац. АН Беларусі. Сер. фіз.-матэм. навук» (з 1965; гл. «Весці Акадэміі навук Беларусі»), «Веснік БДУ. Сер. 1. Фізіка. Матэматыка. Механіка» (з 1969; гл. «Веснік Беларускага дзяржаўнага універсітэта»), «Труды Института математики Нац. АН Беларуси» (з 1998). Створана Бел. матэм. т-ва (1993).

Літ.:

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

Курант Р., Роббинс Г. Что такое математика?: Пер. с англ. 2 изд. М., 1967;

Рыбников К.А. История математики. 2 изд. М., 1974;

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

Стройк Д.Я. Краткий очерк истории математики: Пер. с нем. 3 изд. М., 1978;

История математики с древнейших времен до начала XIX столетия. Т. 1—3. М., 1970—72;

История отечественной математики. Т. 1—4. Киев, 1966—70.

І.​В.​Гайшун.

т. 10, с. 211