Verbum

МУТАЦЫ́ЙНАЯ ТЭО́РЫЯ, тэорыя зменлівасці і эвалюцыі,

сцвярджае, што існуе 2 катэгорыі зменлівасці — бесперапынная і перарывістая (дыскрэтная). Распрацаваў Г.Дэ Фрыз. Паводле гэтай тэорыі толькі перарывістая зменлівасць з’яўляецца спадчыннай. Для яе абазначэння ўведзены тэрмін «мутацыя». М.т. сцвярджае, што мутацыі могуць быць прагрэсіўныя (з’яўленне новых спадчынных уласцівасцей, што раўназначна ўзнікненню новых элементарных відаў) або рэгрэсіўныя (страта якіх-н. існуючых уласцівасцей, якія прыводзяць да ўзнікнення разнавіднасцей). Новыя жарданоны ўзнікаюць шляхам прагрэсіўных мутацый раптоўна, без пераходаў і звычайна адразу спадчынна пастаянныя. Масавыя мутацыі прымеркаваны да асобых рэдкіх мутацыйных перыядаў, што ў жыцці кожнага віду чаргуюцца з працяглымі перыядамі спакою. Развіццё генетыкі абвергла асн. палажэнні М.т. Падобную сістэму прадстаўленняў пра зменлівасць і эвалюцыю распрацаваў С.І.Каржынскі (1899). Сучасныя прадстаўленні аб спадчыннасці і іх сінтэзе з эвалюцыйным вучэннем сфармуляваў С.С.Чацверыкоў (1926). Гл. таксама Дарвінізм, Мендэлізм.

т. 11, с. 41

МЮ́НХЕНСКІ УНІВЕРСІТЭ́Т,

адзін са старэйшых і буйнейшых ун-таў Германіі. Засн. ў 1472 у г. Інгальштат герцагам Людвігам. У 1800 пераведзены ў Ландсгут, з 1826 у г. Мюнхен. У 1997/98 навуч. г. каля 60 тыс. студэнтаў; ф-ты: каталіцкай тэалогіі, пратэстанцкай тэалогіі, юрыд., прамысл. эканомікі, паліт. эканоміі, лясной гаспадаркі, мед. (у т. л. стаматалогія), вет., гісторыі мастацтва, філасофіі, тэорыі навук, статыстыкі, псіхалогіі і педагогікі, антрапалогіі, моў і л-р, сац. навук, матэматыкі, фізікі, хіміі і фармакалогіі, біялогіі, навук аб Зямлі. У складзе ун-та н.-д. лабараторыі, цэнтры, ін-ты, у т. л. лабараторыя ядз. фізікі, цэнтры лінгвістычных даследаванняў, па вывучэнні Японіі, малекулярнай біялогіі, ін-т педагогікі. Б-кі: універсітэцкая (2,5 млн. тамоў), ф-таў (3 млн. тамоў). Астр. і геафіз. абсерваторыі, бат. сад.

В.М.Навумчык.

т. 11, с. 62

НАБЛІЖЭ́ННЕ І ІНТЭРПАЛЯ́ЦЫЯ ФУ́НКЦЫЙ,

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

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

На Беларусі даследаванні па гэтых праблемах вядуцца ў Ін-це матэматыкі Нац. АН, БДУ, Гомельскім ун-це, БПА і інш.

Л.А.Яновіч.

т. 11, с. 89

НАЙМЕ́НШЫХ КВАДРА́ТАЎ МЕ́ТАД,

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

Прапанаваны К.Гаўсам (1794—95) і А.Лежандрам (1805—06). Першасна прызначаўся для апрацоўкі астр. і геад. вымярэнняў. Строгае матэм. абгрунтаванне і вызначэнне межаў дастасавальнасці Н.к.м. далі А.А.Маркаў і А.М.Калмагораў. Паводле Н.к.м., калі n вынікаў вымярэнняў y₁, y₂, ..., y_n звязаны з m (m < n) пераменных x₁, x₂, ..., x_m зададзенай функцыянальнай залежнасцю y_i = 𝑓(x₁, x₂, ..., x_m) + σ_i, дзе σ_i — невядомыя выпадковыя хібнасці, ацэнкамі для x_i бяруцца такія X_i, для якіх сума квадратаў ${\displaystyle S=\sum _{i=1}^n{p}_i{\text{[}{y}_i-𝑓\text{(}{X}_i\text{)}\text{]}}^2}$ , дзе p_i — зададзеныя лікі, будзе найменшая. Для мінімізацыі S першыя частковыя вытворныя па невядомых велічынях прыраўноўваюць да нуля. Рашэнне сістэм ураўненняў $\partial S/\partial x_i=0$ дае ацэнкі для X_i.

т. 11, с. 130

НЯКРА́САВА (Марыя Аляксандраўна) (н. 13.11.1928, Масква),

расійскі мастацтвазнавец. Чл.-кар. АМ СССР (з 1990). Д-р мастацтвазнаўства (1983), праф. (1986). Засл. дз. маст. Расіі (1991). Скончыла Маскоўскі ун-т (1954). З 1971 працуе ў НДІ тэорыі і гісторыі выяўл. мастацтваў Рас. АМ. Даследуе рус. нар. мастацтва. У агульных тэарэт. працах закранае праблемы і бел. нар. мастацтва. Аўтар кніг «Мастацтва Палеха» (1966), «Айчынная вайна 1812 г. і рускае мастацтва» (1969, з С.М.Зямцовым), «Сучаснае народнае мастацтва» (1980), «Палехская мініяцюра» (2-е выд.), «Народнае мастацтва як частка культуры: Тэорыя і практыка», «Народнае мастацтва Расіі: Народная творчасць як свет цэласнасці» (усе 1983). Адна з аўтараў зб. «Мастацтва ансамбля: Мастацкі прадмет, інтэр’ер, архітэктура, асяроддзе» (1988). Аўтар-складальнік альбома-анталогіі «Руская лакавая мініяцюра» (1994). Дзярж. прэмія Расіі імя Рэпіна 1989.

т. 11, с. 407

ВАЛЕ́НТНАСЦЬ (ад лац. valentia сіла),

здольнасць атама хім. элемента ўтвараць пэўную колькасць хімічных сувязяў з інш. атамамі. Паняцце «валентнасць» увёў англ. хімік Э.Франкленд (1853). Велічыня валентнасці атама хім. элемента вызначаецца колькасцю атамаў вадароду (прынята лічыць аднавалентным), якія ён далучае пры ўтварэнні гідрыдаў (злучэнні з вадародам). Напр., атам хлору далучае 1 атам вадароду (хлорысты вадарод HCl), атам кіслароду — 2 атамы (вада H₂O), таму валентнасць хлору і кіслароду ў гэтых злучэннях адпаведна 1 і 2. Паняцце «валентнасць» атрымала развіццё ў квантава-хім. тэорыі хім. сувязі. Паводле гэтай тэорыі велічыня валентнеасці атама (спін-валентнасць) вызначаецца колькасцю электронных пар, якія фарміруюцца пры ўтварэнні хім. сувязяў паміж дадзеным і інш. атамамі за кошт абагульнення іх электронаў з няспаранымі спінамі. Электроны атама, якія могуць удзельнічаць у фарміраванні агульных электронных пар, наз. валентнымі (электроны вонкавых электронных слаёў). У атамах элементаў з недабудаваным перадапошнім слоем (напр., у атамаў жалеза Fe, марганцу Mn, вальфраму W) валентнымі могуць быць і некаторыя электроны гэтага слоя. Многія элементы маюць пераменную валентнасць (напр., у серавадародзе H₂S, аксідах SO₂ і SO₃ валентнасць серы адпаведна 2, 4, 6).

Валентнасць вызначаецца толькі колькасцю кавалентных сувязяў. Для злучэнняў з іоннай сувяззю выкарыстоўваецца паняцце акіслення ступень, якая колькасна роўная валентнасці, але дадаткова характарызуецца дадатным ці адмоўным знакам. У комплексных злучэннях і іонных крышталях каардынацыйны лік атамаў (іонаў) перавышае велічыню спін-валентнасці, таму карыстаюцца паняццем каардынацыйнай валентнасці, якая колькасна роўная суме спін-валентнасці і колькасці атамаў (іонаў), дадаткова звязаных з валентнанасычаным атамам. Напр., у комплексным злучэнні гексафтораалюмінат (III) натрыю Na₃[AlF₆] спін-валентнасць атама алюмінію 3, ступень акіслення +3, але пры ўтварэнні злучэння з AlF₃ і NaF атам валентнанасычанага Al дадаткова хімічна звязваецца з 3 іонамі F​⁻, таму каардынацыйная валентнасць алюмінію ў гэтым злучэнні 6. Гл. таксама Комплексныя злучэнні, Малекула, Крышталі.

Літ.:

Чаркин О.П. Проблемы теории валентности, химической связи, молекулярной структуры. М., 1987.

В.В.Свірыдаў.

т. 3, с. 479

ДЫФЕРЭНЦЫЯ́ЛЬНАЯ ГЕАМЕ́ТРЫЯ,

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

Класічная Д.г. вывучае дыферэнцыяльныя ўласцівасці геам. вобразаў звычайнай трохмернай прасторы, якія не залежаць ад становішча ў прасторы. Асобныя паняцці Д.г. сустракаюцца ў 2-й пал. 17 ст. ў працах англ. вучонага І.Ньютана, ням. матэматыка Г.Лейбніца і інш. Асновы тэорыі паверхняў закладзены ў канцы 18 ст. працамі ням. вучонага Л.Эйлера і франц. вучонага Г.Монжа. Значны ўклад у развіццё Д.г. зрабілі К.Гаўс, рус. матэматыкі К.М.Петэрсон (пабудаваў асновы класічнай тэорыі паверхняў) і М І.Лабачэўскі, ням. матэматык Б.Рыман. Асн. кірункі сучаснай Д.г.: геаметрыя аднародных прастораў, у якіх дзейнічае некат. сукупнасць (група) пераўтварэнняў (у класічнай Д.г. — група рухаў) і вывучаюцца ўласцівасці геам. вобразаў, што не мяняюцца пры пэўных пераўтварэннях; геаметрыя абагульненых прастораў, якія будуюцца на аснове дыферэнцаванай разнастайнасці, што ўключае як прыватны выпадак паняцці крывой і паверхні класічнай Д.г. Асобнае месца займае «геаметрыя ў цэлым», якая даследуе геам. вобразы, што не могуць быць вырашаны сродкамі дыферэнцыяльнага злічэння.

На Беларусі сістэматычныя даследаванні па сучаснай Д.г. пачалі праводзіцца з канца 1960-х г. Пабудавана глабальная тэорыя нармалізаваных і спалучаных звязнасцей у галоўных расслаеннях, праведзена даследаванне сіметрычных прастораў і шэрагу іх абагульненняў (В.І.Вядзернікаў, А.С.Фядэнка).

Літ.:

Погорелов А.В. Дифференциальная геометрия. 5 изд. М., 1969;

Дифференциальная геометрия. Мн., 1982;

Феденко А.С. Пространства с симметриями. Мн., 1977;

История отечественной математики. Т. 3. Киев, 1968.

В.І.Вядзернікаў, А.А.Гусак.

т. 6, с. 300

НЯБЕ́СНАЯ МЕХА́НІКА,

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

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

Літ.:

Гребеников Е.А., Рябов Ю.А. Новые качественные методы в небесной механике. М., 1971;

Брумберг В.А. Релятивистская небесная механика. М., 1972.

А.А.Шымбалёў.

т. 11, с. 402

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

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

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

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

Літ.:

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

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

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

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

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

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

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

т. 10, с. 213

АМПЕ́Р ((Ampere) Андрэ Мары) (22.1.1775, г. Ліён, Францыя — 10.6.1836),

французскі фізік і матэматык, адзін з заснавальнікаў класічнай электрадынамікі. Чл. Парыжскай (1814), замежны ганаровы чл. Пецярбургскай (1830) і інш. АН. Атрымаў дамашнюю адукацыю. З 1805 у Політэхн. школе ў Парыжы (з 1809 праф.), з 1824 праф. Калеж дэ Франс. Сфармуляваў правіла для вызначэння напрамку адхілення магн. стрэлкі токам (правіла Ампера); адкрыў законы ўзаемадзеяння эл. токаў і эл. току з магн. полем (гл. Ампера закон). Пабудаваў тэорыю магнетызму, у аснове якой ляжыць гіпотэза пра кругавыя эл. токі, эквівалентныя плоскім элементарным магнітам. Аўтар прац па тэорыі імавернасцяў, па дастасаванні варыяцыйнага вылічэння да задач механікі, па пытаннях матэм. аналізу. Вынайшаў камутатар і эл.-магн. тэлеграф.

Літ.:

Голин Г.М., Филонович С.Р. Классики физической науки (с древнейших времён до начала XX в.). М., 1989. С. 313—324.

т. 1, с. 321