Verbum

МАТЭМАТЫ́ЧНАЕ ЗАБЕСПЯЧЭ́ННЕ ЭВМ,

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

т. 10, с. 211

МАТЭМАТЫ́ЧНАЕ МАДЭЛІ́РАВАННЕ,

метад даследавання аб’ектаў (з’яў, працэсаў, сістэм) шляхам пабудовы і вывучэння іх матэм. мадэлей; адзін з гал. спосабаў навук. пазнання, прагназавання, кіравання і тэхн. праектавання. Уключае 3 асн. этапы: стварэнне мадэлі аб’екта, пераўтварэнне яе ў алгарытм, а алгарытму — у праграму для ЭВМ.

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

На Беларусі М.м. развіваецца ў ін-тах матэматыкі і тэхн. кібернетыкі Нац. АН, БДУ, БПА, Бел. ун-це інфарматыкі і радыёэлектронікі і інш.

Літ.:

Самарский А.А., Михайлов А.П. Математическое моделирование: Идеи. Методы. Примеры. М., 1997;

Самарский А.А., Михайлов А.П. Компьютеры и жизнь: (Мат. моделирование). М., 1987;

Матус П.П., Рычагов Г.П. Математическое моделирование в биологии и медицине: (Аннотацион. справ.). Мн., 1997;

Математическое моделирование: Пер. с англ. М., 1979;

Самарский А.А., Вабищевич П.Н., Матус П.П. Разностные схемы с операторными множителями. Мн., 1998.

С.​У.​Абламейка, М.​П.​Савік.

т. 10, с. 212

МАТЭМАТЫ́ЧНАЕ ПРАГРАМАВА́НЕ,

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

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

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

Літ.:

Карманов В.Г. Математическое программирование. 3 изд. М., 1986.

Ю.​Н.​Сацкоў.

т. 10, с. 212

МАТЭМАТЫ́ЧНАЕ ЧАКА́ННЕ, сярэдняе значэнне,

лікавая характарыстыка выпадковай велічыні X. Абазначаецца MX або EX. Характарызуе размяшчэнне значэнняў велічыні X і роўнае сярэдняму значэнню яе размеркавання. З вялікіх лікаў закона вынікае, што сярэдняе арыфм. значэнне велічыні X пры павелічэнні колькасці выпрабаванняў набліжаецца да MX. Паняцце М.ч. ўзнікла ў 18 ст. ў сувязі з тэорыяй азартных гульняў: калі выйгрышы гульца прымаюць значэнні X₁, X₂, ..., X_n з імавернасцямі p₁, p₂, ..., p_n, дзе p₁ + p₂+ ... + p_n = 1, то яго чаканы выйгрыш за гульню роўны MX = X_lp₁ + X₂p₂ + ... + X_np_n (адсюль назва).

т. 10, с. 212

МАТЭМАТЫ́ЧНАЯ ІНДУ́КЦЫЯ,

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

Грунтуецца на прынцыпе матэматычнай індукцыі: сцвярджэнне A(n), залежнае ад натуральнага параметра n, лічыцца праўдзівым, калі праўдзіва A(1) і з меркавання праўдзівасці A(N) для любога натуральнага N вынікае праўдзівасць A(N + 1). Напр., для любога натуральнага n патрабуецца даказаць формулу 1 + 3 + 5 + ... + (2n − 1) = n​². Пры n = 1 гэтая формула праўдзівая (1 = 1​²), затым мяркуем. што формула даказана для пэўнага ліку N: 1 + 3 + 5 + ... + (2N − 1) = N​². Далучаем да левай і правай часткі дадзенай формулы яшчэ адно складаемае 2N + 1: 1 + 3 + 5 + (2N − 1) + (2N + 1) = N​² + (2N + 1) = (N + 1)​². Такім чынам, з праўдзівасці формулы пры n = N вынікае яе праўдзівасць і пры n = N + 1. Адсюль вынікае праўдзівасць формулы для любога натуральнага n.

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

т. 10, с. 212

МАТЭМАТЫ́ЧНАЯ ЛІНГВІ́СТЫКА,

матэматычная дысцыпліна, якая распрацоўвае фармальны апарат для апісання будовы натуральных і некаторых штучных моў. Развіваецца ў цесным узаемадзеянні з мовазнаўствам. Узнікла ў 1950-я г. ў сувязі з унутр. патрэбамі лінгвістыкі і развіццём аўтам. перакладу (гл. Машынны пераклад). Мае 2 лінгвістычныя аспекты: інфарматыка для лінгвістыкі — выкарыстанне статыстыкі, тэорыі кадзіравання, розных галін матэматыкі (напр., фактарнага аналізу) пры вырашэнні ўласна лінгвістычных задач (апрацоўка тэкстаў натуральнай мовы пры дапамозе камп’ютэрнай тэхнікі); лінгвістыка для інфарматыкі — цыкл даследаванняў у рамках інтэлекту штучнага, накіраваны на аўтам. або аўтаматызаванае рашэнне задач, якія да гэтага часу рашаліся выключна чалавекам. Апошняя развіваецца пераважна бел. лінгвістычнай школай. Да матэм. метадаў у лінгвістыцы адносяць тэорыю фармальных граматык, лінгвастатыстыку, семантычнае кадзіраванне. Яны дапамагаюць фармалізацыі семантыкі і сінтаксісу натуральных моў і іх статыстычнай апрацоўцы, у выніку чаго атрымліваюць дакладныя фармулёўкі найб. агульных правіл функцыянавання мовы, т.зв. універсаліі. Статыстычная апрацоўка тэкстаў рэалізуецца ў канкардансах (паказальніках слоў у выглядзе прамога, зваротнага, частотнага, камбінаторнага спісаў слоў і іх тэкставых прадстаўленняў). Семантычнае кадзіраванне дазваляе фармалізаваць інфармацыйны пошук у разнастайных тэкстах, атрымаць магчымасць фармальнага вырашэння задач. Ва ўсіх даследаваннях з выкарыстаннем матэм. метадаў у мовазнаўстве ўжываецца новая камп’ютэрная тэхніка, якая дапамагае аналізаваць вял. тэкставыя масівы ў аўтам. рэжыме. Ствараюцца таксама розныя варыянты кананізаванай мовы для прамых зносін камп’ютэра і чалавека, іх інтэрфейс. Кананізацыя мовы павінна адпавядаць моўным заканамернасцям, якія дапамагаюць забяспечыць адпаведнае разуменне тэкстаў. Семантычнае кадзіраванне абапіраецца на некаторыя тыпы алгебры, што дазваляе фармалізаваць адпаведнасць тэкстаў натуральнай мове. Агульная тэндэнцыя ідзе ў кірунку стварэння сістэм штучнага інтэлекту.

Літ.:

Гладкий А.В., Мельчук И.А. Элементы математической лингвистики. М., 1969;

Лесохин М.М., Лукьяненков К.Ф., Пиотровский Р.Г. Введение в математическую лингвистику. Мн., 1982;

Арапов М.В. Квантитативная лингвистика. М., 1988;

Мартынаў В.У., Шуба П.П., Ярмаш М.І. Марфемная дыстрыбуцыя ў беларускай мове: Дзеяслоў. Мн., 1967;

Плотников Б.А. Дистрибутивно-статистический анализ лексических значений. Мн., 1979;

Мартынов В.В. Принципы объективной семантической классификации // Полилог. Мн., 1998. Вып. 1.

В.​У.​Мартынаў.

т. 10, с. 212

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

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

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

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

Літ.:

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

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

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

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

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

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

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

т. 10, с. 213

МАТЭМАТЫ́ЧНАЯ СГАТЫ́СТЫКА,

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

В.​В.​Цярэшчанка.

т. 10, с. 213

МАТЭМАТЫ́ЧНАЯ ФІ́ЗІКА,

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

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

На Беларусі даследаванні па праблемах М.ф. пачаты ў канцы 1950-х г. у АН Беларусі і праводзяцца ў Ін-це матэматыкі, Акад. навук. комплексе «Ін-т цепла- і масаабмену» Нац. АН, БДУ і інш. Распрацаваны метады рашэння задач цеплаправоднасці ў слаістых асяроддзях, матэм. тэорыя дыфракцыі эл.-магн. хваль на складаных перашкодах, лазернай фізікі, нелінейнай оптыкі, газа- і гідрадынамікі, даследавана вырашальнасць задач хвалевай тэорыі мех. ўдару.

Літ.:

Тихонов А.Н., Самарский А.А. Уравнения математической физики. 4 изд М., 1972;

Иванов Е.А. Дифракция электромагнитных волн на двух телах. Мн., 1968;

Гайдук С.И. Математическое рассмотрение некоторых задач, связанных с теорией продольного удара по конечным стержням // Дифференц. уравнения. 1977. Т. 13, № 11.

С.​І.​Гайдук.

т. 10, с. 213

МАТЭМАТЫ́ЧНАЯ ШКО́ЛА ў палітэканоміі,

кірунак палітэканоміі, які надае матэм. метадам вырашальную ролю ў вывучэнні эканам. з’яў. Узнікла ў 2-й пал. 19 ст. [М.Э.​Л.​Вальрас (Швейцарыя), В.​Парэта (Італія), У.​Джэванс, Ф.​І.​Эджуарт (Вялікабрытанія), І.​Фішэр (ЗША), Г.​Касель і К.​Віксель (Швецыя)]. Разглядае эканоміку як узаемадзеянне індывід. гаспадарак. Асн. задача М.ш. — вызначэнне колькасных паказчыкаў, якія характарызуюць паводзіны асобных вытворцаў і спажыўцоў. Тэарэтычныя пабудовы М.ш. арыентуюцца на маржыналізм.

т. 10, с. 214