Verbum

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

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

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.​Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

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

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.​Т.​Вальвачоў, У.​К.​Лукашэвіч.

т. 1, с. 207

ВІ́ЛА (ад лац. villa сядзіба, маёнтак),

загарадны дом з садам ці паркам. У Стараж. Рыме вілай называлі загараднае памесце для адпачынку і забаў. Маляўніча размешчаныя пабудовы вілы групаваліся вакол адкрытага двара, жылыя памяшканні ўпрыгожвалі мазаікай і размалёўкай. Комплекс вілы іншы раз уключаў будынкі храма, т-ра, каналы, вадаёмы, дэкар. скульптуру (віла імператара Адрыяна ў Тывалі, 2 ст.). У эпоху Адраджэння склаўся тып вілы, які меў восевую кампазіцыю з гал. будынкам у цэнтры, яго лоджыя адкрывалася на тэрасныя сады (віла Мадама, цяпер у Рыме, пачата ў 1517, арх. Рафаэль, А. да Сангала Малодшы, віла «Ратонда» ў Вічэнцы, 1551 — 67, арх. А.​Паладыо). Строгія і зграбныя ансамблі віл эпохі Адраджэння змяніла складаная і мудрагелістая кампазіцыя пышных барочных віл. У 19—20 ст. вілай называюць камфартабельны аднасямейны дом з садам ці паркам у прыгарадзе ці курортнай мясцовасці (віла Савой каля Парыжа, 1929—31, арх. Ле Карбюзье; «Дом над вадаспадам» у Пенсільваніі, 1936, арх. Ф.​Л.​Райт; загарадны дом у Каліфорніі, 1946, арх. Р.​Нёйтра і інш.).

т. 4, с. 156

АНА́ЛАГАВАЯ ВЫЛІЧА́ЛЬНАЯ МАШЫ́НА (АВМ),

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

Папярэднікамі сучаснай АВМ можна лічыць лагарыфмічную лінейку, графікі і намаграмы (гл. Намаграфія) для вызначэння функцый некалькіх пераменных, упершыню прыведзеныя ў дапаможніках па навігацыі (1971), аналагавую прыладу (планіметр) англ. вучонага Дж.​Германа для вызначэння плошчы, якая ўтворана замкнутай крывой на плоскасці (1814). Першая мех. АВМ для рашэння дыферэнцыяльных ураўненняў пры праектаванні караблёў прапанавана рус. вучоным А.​М.​Крыловым у 1904. Сав. Матэматык С.​А.​Гершгорын (1927) заклаў асновы пабудовы сеткавых мадэляў АВМ.

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

т. 1, с. 333

АКСАНАМЕ́ТРЫЯ (ад грэч. axōn вось + ...метрыя),

спосаб адлюстравання прасторавых фігур на чарцяжы пры дапамозе паралельных праекцый. Для пабудовы аксанаметрычнай праекцыі выбіраюць 3 узаемна перпендыкулярныя восі OX, OY, OZ і маштабы даўжыняў на гэтых восях; праецыруюць на плоскасць восі і дадзеную фігуру. Калі X, Y, Z — даўжыні 3 адрэзкаў у фігуры, то іх аксанаметрычныя праекцыі, паралельныя восям, будуць мець даўжыні x, y, z, пры гэтым x/X=l_x, y/Y=l_y, z/Z=l_z наз. паказчыкамі скажэння. Найбольш выкарыстоўваецца аксанаметрыя, пры якой l_x: l_y : l_z = 1 : 1 : 1 (ізаметрыя) і l_x : l_y: l_z=​¹/₂ : 1 : 1 (дыметрыя). У залежнасці ад вугла паміж напрамкам праецыравання і плоскасцю аксанаметрычных праекцый адрозніваюць прамавугольную і косавугольную аксанаметрыю. Гл. таксама Нарысоўная геаметрыя. Аксанаметрыя ў архітэктуры — адзін з відаў перспектыўнага адлюстравання. Выкарыстоўваецца ў арх. праектах і чарцяжах будынкаў, комплексаў, ансамбляў для нагляднага паказу іх структуры, асабліва ў выпадку, калі генпланы, планы, фасады і разрэзы не даюць поўнага ўяўлення пра іх арх.-прасторавую арганізацыю. Нярэдка аксанаметрыя агульнага выгляду пабудоў сумяшчаецца з іх арх. разрэзам, што ўдакладняе структуру ў цэлым.

т. 1, с. 204

БІЯЛАГІ́ЧНЫЯ МЕМБРА́НЫ,

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

А.​М.​Ведзянееў.

т. 3, с. 173

ГНЁЗДЫ жывёл, пабудовы, створаныя жывёламі для вывядзення патомства, радзей і для ўкрыцця. Гнёзды для размнажэння ёсць у розных груп жывёл. У беспазваночных: у васьміногаў ямка ў грунце, абложаная валам з камянёў, ракавінак; у павукоў коканы з павуціны; у жукоў-трубкакрутаў трубачкі з лісця; у адзіночных восаў, мядзведак ячэйкі з глебы; у яблыневай молі, вусеняў баярышніцы, залатагузкі — з лісця і павуціны і інш. Гнёзды пазваночных: у ласося ямка ў галечным грунце, у бычкоў-падкаменшчыкаў з каменьчыкаў; у колюшкі трохіголкавай шарападобнае з водарасцей; у весланогай жабы скручанае трубачкай лісце. Асабліва разнастайныя гнёзды ў птушак: у курыных і кулікоў простыя ямкі з бедным подсцілам; у дразда, сарокі, берасцянкі чашападобныя з моцнымі краямі; у крапіўніка, пеначак, сініцы-рэмеза, ткачыкаў закрытыя, шарападобныя, авальныя або колбападобныя з лятком пасярэдзіне або збоку. Гнёзды птушак размяшчаюцца ў самых розных месцах, будаўнічы матэрыял вельмі разнастайны. У млекакормячых гнёзды робяць пераважна грызуны і насякомаедныя (мыш-малютка, соні, вавёркі, бабры, андатры і інш.). Большасць жывёл размяшчае гнёзды адзіночна. Каланіяльныя, складаныя, шматкамерныя гнёзды ў восаў, пчол, мурашак, тэрмітаў і інш. У многіх відаў гнёзды служаць і для ўкрыцця (вераб’і, крапіўнікі, соні, вавёркі, андатры, палёўкі і інш.). Гл. таксама Гнездаванне.

т. 5, с. 314

ДАКУМЕНТАЗНА́ЎСТВА,

навуковая дысцыпліна, якая вывучае заканамернасці складання дакументаў, распрацоўвае спосабы іх стварэння, прынцыпы арганізацыі дакументаабарачэння і пабудовы сістэм дакументацыі. Вылучылася з архівазнаўства і архіўнай службы. Звязана з крыніцазнаўствам, якое таксама мае аб’ектам даследавання дакумент. Задачы Д.: павышэнне эфектыўнасці дакументацыйнага забеспячэння аператыўнага кіравання, барацьба з ростам выдаткавання паперы і павелічэння плошчаў, занятых пад сховішчы інфармацыі. Д. выконвае канкрэтныя патрэбы грамадства ў дакументальнай сферы: паляпшэнне якасці дакумента і прыстасаванне яго да ўмоў машыннай апрацоўкі інфармацыі; стварэнне машыначытальных дакументаў, мініяцюрызацыя носьбітаў і пераход да бездакументных камунікацый; забеспячэнне выкарыстання дакументаў у аўтаматызаваных банках даных; стварэнне інфармацыйна-пошукавай сістэмы (ІПС) па дакументах, што функцыяніруюць у апараце, і яе сумяшчальнасць з ІПС дзярж. архіваў; распрацоўка рацыянальнай сістэмы ўліку і захоўвання дакументаў; наданне юрыд. сілы інфармацыі, запісанай на машынных носьбітах. З 1966 даследаваннямі ў галіне Д. займаўся Усесаюзны НДІ Д. і архіўнай справы; у якасці сураспрацоўшчыкаў тэм выступалі цэнтр. дзярж. архівы Беларусі. Пытаннямі Д. займаюцца аддзел справаводства і фарміравання Нац. архіўнага фонду Дзярж. к-та па архівах і справаводстве Рэспублікі Беларусь і Бел. НДІ Д. і архіўнай справы (у 1992—95 Бел. н.-д. цэнтр Д., археаграфіі і архіўнай справы).

т. 6, с. 14

МА́НЧЭСТЭР (Manchester),

горад на З Вялікабрытаніі. Адм. ц. метрапалітэнскага графства і гал. горад канурбацыі Вял. Манчэстэр. 2252 тыс. ж. з прыгарадамі (1997). Буйны марскі порт на р. Эруэл і Манчэстэрскім канале, які звязвае М. з Ірландскім м. Міжнар. аэрапорт. Важны прамысл., гандл.-банкаўскі і культ. цэнтр краіны. Развіта разнастайнае машынабудаванне (у т. л. аўтамаб., самалётабуд., хім., эл.-тэхн.), хім. (вытв-сць фарбавальнікаў), тэкст. (апрацоўка баваўняных тканін), швейная, папяровая, паліграф., харч. прам-сць. Манчэстэрскі універсітэт. Ун-т Вікторыі (з 1903). Арх. помнікі: гатычны сабор (15—16 ст.) з капэлай Багародзіцы (14 ст.), шпіталь (15—17 ст.). Гар. музей. Маст. галерэя. Канцэртная зала Фры-трэйд-хол.

Першапачаткова паселішча кельтаў Мансеніян, з 79 н.э. рым. ўмацаваны лагер Манкуніум. У англ. летапісах упершыню згадваецца ў 1086. У 1301 атрымаў гар. правы. У 14—17 ст. гандл.-рамесны цэнтр. Пасля прамысловага перавароту (у 1789 тут устаноўлены першы паравы рухавік) з 19 ст. найб. ў свеце цэнтр баваўнянай прам-сці. У 1840 у М. заснавана Нац. чартысцкая арг-цыя (гл. Чартызм). У 1853 горад атрымаў права Прадстаўніцтва ў брыт. парламенце. Пасля пабудовы ў 1894 Манчэстэрскага канала — буйны порт.

т. 10, с. 96

МІ́НСКІ КЛЯ́ШТАР ФРАНЦЫСКА́НЦАЎ.

Існаваў ў 1680—1832 у Мінску. Засн. мінскім падкаморым Т.​К.​Горскім, які ахвяраваў францысканцам пляц для забудовы. Комплекс кляштара размяшчаўся на вул. Францысканскай (цяпер Леніна), уключаў драўляны крыжападобны ў плане 2-вежавы касцёл св. Антонія, інтэр’ер якога ўпрыгожвалі 4 драўляныя разныя алтары. Мураваны жылы будынак кляштара ўзведзены ў 18 ст. на месцы драўлянага будынка 2-й пал. 17 ст. — 2-павярховы Г-падобны ў плане корпус пад 2-схільным чарапічным дахам. Паўн.-зах. тарцовы фасад завяршаўся трохвугольным франтонам са скульптурамі 2 анёлаў і рэльефнай выявай сонца з прамянямі (у тымпане). Комплекс быў абнесены высокай мураванай агароджай з брамамі. У 1798—99 францысканцы пераведзены ў будынкі Мінскага касцёла і кляштара кармелітаў (як установа М.к.ф. скасаваны ў 1832). Драўляны касцёл св. Антонія перанесены на мінскія Кальварыйскія могілкі (не захаваўся). Пабудовы кляштара на Францысканскай вул. ў пач. 19 ст. перададзены Мінскай каталіцкай семінарыі, якая знаходзілася там да 1843, потым мураваны будынак належаў кансісторыі Мінскай рымска-каталіцкай епархіі. У 2-й пал. 19 ст. перабудаваны пад Мінскую гар. ўправу. У Вял. Айч. вайну ён пашкоджаны, у канцы 1940-х г. пры рэканструкцыі вул. Леніна разбураны.

У.​М.​Дзянісаў.

т. 10, с. 443

МО́ВА ПРАГРАМАВА́ННЯ,

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

Адрозніваюць М.п. машынна-арыентаваныя, працэдурна-арыентаваныя і аб’ектна-арыентаваныя. Да машынна-арыентаваных адносяць мовы, што ўлічваюць асаблівасці канкрэтнай ЭВМ (структуру каманд, памяць, знешнія прылады і інш.) і дазваляюць ствараць праграмы, такія ж па эфектыўнасці, як праграмы. напісаныя ў кодах машыны (гл. Асемблер, Машынная мова). У працэдурна-арыентаваных М.п. (напр., Паскаль, Фартран, Алгол, Модула, ПЛ/1) вылучаюць 2 часткі: для апісання структуры аб’ектаў і для працэдуры іх апрацоўкі. На іх эфектыўна апісваюцца і рэалізуюцца алгарытмы апрацоўкі інфармацыі складанай іерархічнай структуры. Самастойнае падмноства такіх моў складаюць мовы мадэліравання. Аб’ектна-арыентаваныя М.п. (напр., Ада, Сі​⁺⁺) грунтуюцца на 4 гал. прынцыпах: магчымасць праграмісту апісваць уласныя аб’екты, вызначаць уласныя аперацыі над аб’ектамі, будаваць іерархіі аб’ектаў і дзеянняў над імі, перавызначаць аб’екты і аперацыі над імі. У выніку з’явіліся магчымасці развіваць і назапашваць праграмы з канкрэтнай прадметнай вобласці, павялічылася іх надзейнасць і скараціўся час іх распрацоўкі і наладкі.

У.​Л.​Каткоў.

т. 10, с. 504