Verbum

МАТЭ́ЛЬ (англ. motel скарочанае motorists’hotel),

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

т. 10, с. 211

МАТЭМА́ТЫКА (грэч. 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

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

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

т. 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