Verbum

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

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

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

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

Літ.:

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

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

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

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

т. 1, с. 207

САН-ФРАНЦЫ́СКА (San Francisco),

горад на З ЗША, на ўзбярэжжы Ціхага ак., у штаце Каліфорнія. Знаходзіцца на ўзгорыстым п-ве, масты цераз зал. Сан-Францыска і праліў Залатыя Вароты злучаюць яго з прыгарадамі. 745,8 тыс. ж., з прыгарадамі і суседнімі гарадамі (Окленд, Берклі, Аламеда, Дэйлі-Сіці, Саўт-Сан-Францыска і інш.) больш за 6,5 млн. ж. (2000). Буйнейшы порт ЗША на Ціхім ак., вузел транскантынент. чыгунак і аўтадарог. 3 аэрапорты, у т. л. міжнародны. Прам-сць: металаапр., суднабуд., швейная, харч., паліграфічная; у прыгарадах — ракетна-касм., радыёэлектронная, нафтаперапр., хім., металургічная. Праўленні буйнейшых банкаў і кампаній ЗША. Метрапалітэн. 16 ун-таў і каледжаў. Кансерваторыя. Ваенна-марская база.

У 1776 на месцы сучаснага С.-Ф. ісп. францысканцы засн. ўмацаванае паселішча Ерба-Буэна. З 1822 у складзе незалежнай Мексікі. У 1846 заняты амер. войскамі, перайменаваны ў С.-Ф. (1847). Адкрыццё ў 1848 радовішчаў золата ў Каліфорніі, развіццё ціхаакіянскага гандлю садзейнічала хуткаму развіццю горада (у 1848—500 чал., у 1850—25 тыс. чал., у 1880—234 тыс. чал.). У 1906 горад моцна пацярпеў ад землетрасення і пажару, да 1915 адбудаваны. Месца правядзення Сан-Францыскай канферэнцыі 1945 і падпісання Сан-Францыскага мірнага дагавора 1951.

У 19 ст. С.-Ф. атрымаў прамавугольную планіроўку. Пасля землетрасення 1906 горад амаль цалкам перабудаваны. Узгорысты рэльеф і разнастайнасць арх. стыляў надаюць яму своеасаблівае, маляўнічае аблічча. Захаваліся ісп. калан. пабудовы, у т. л. касцёл кляштара «Місія Далорэс» (1782—91). Малапавярховая забудова, скучаныя нац. кварталы («Кіт. горад», «Лац. квартал») спалучаюцца з вышыннымі будынкамі цэнтра. Найб. значныя пабудовы: паромны вакзал (1896), грамадскі цэнтр (1910—20), Палац прыгожых мастацтваў (1915, арх. Б.​Мейбек), шпіталь Майманіда (1946, арх. Э.​Мендэльзон), магазін В.​Морыса (1948, арх. Ф.​Л.​Райт), дом страхавой кампаніі Дж.​Хэнкака (1959, арх. фірма «СОМ»), небаскробы «Банк Амерыкі», «Трансамерыка карпарэйшэн», «Міжнар. будынак», гасцініца «Холідэй-ін», жылы комплекс Голдэн-Гейтуэй (усе 1950—70-я г.). Магутныя інж. збудаванні, што звязваюць ч. гар. агламерацыі — вісячыя масты: 2-секцыйны Окленд цераз заліў Сан-Францыска (1936, даўж. каля 13 км), цераз праліў Залатыя вароты (1937, даўж. сярэдняга пралёту 1280 м). Музеі: мастацтва, Цэнтр мастацтва і культуры Азіі, Каліфарнійскі палац Ганаровага легіёна (Музей прыгожых мастацтваў) і інш. Т-ры: Опера, «Спрынг-опера» і інш.

т. 14, с. 164

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

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

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

т. 3, с. 173

АКСАНАМЕ́ТРЫЯ (ад грэч. 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

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

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

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

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

т. 1, с. 333

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

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

т. 4, с. 156

ГАЛЬША́НСКІ КАСЦЁЛ І КЛЯ́ШТАР ФРАНЦЫСКА́НЦАЎ,

помнік архітэктуры 16—18 ст. Пабудаваны ў в. Гальшаны (Ашмянскі р-н Гродзенскай вобл.). Будынак касцёла ўзведзены ў пач. 16 ст., перабудаваны ў сярэдзіне 16 ст. пад кальвінскі збор. У 1618 на сродкі П.​Сапегі касцёл перабудаваны ў стылі барока, узведзены жылы корпус кляштара. У пач. 1770-х г. будынак касцёла часткова разабраны, яго фундамент і сцены выкарыстаны для пабудовы новага, які захаваўся да нашага часу. Будынак прамавугольны ў плане, яго гал. фасад і апсіда маюць рысы барока: фігурны франтон, распрацоўка пілястрамі, валюты. Эмацыянальны акцэнт інтэр’ера касцёла — жывапіс на сцяне 3-яруснага гал. алтара (выкананы ў 1790-я г.). У адной з капліц (3-ярусная кампазіцыя ў стылі рэнесансу) знаходзілася надмагілле Сапегі і яго жонак (цяпер захоўваецца ў Музеі старажытнабеларускай культуры Ін-та мастацтвазнаўства, этнаграфіі і фальклору АН Беларусі). Да касцёла з паўд.-зах. боку прымыкае П-падобны ў плане 2-павярховы жылы корпус (часткова разбураны ў 1832). У 1810-я г. перад касцёлам пастаўлена мураваная брама-званіца ў стылі класіцызму.

В.​Р.​Кукуня.

т. 5, с. 5

ГРО́ДЗЕНСКІ СТАРЫ́ ЗА́МАК,

комплекс абарончых збудаванняў, культавых і свецкіх будынкаў 11—19 ст. Узнік як умацаваны дзядзінец на высокім берагавым мысе каля ўпадзення р. Гараднічанка ў Нёман, на месцы паселішча 11 ст. У пач. 12 ст. стаў княжацкай рэзідэнцыяй Гродзенскага княства. Тут былі ўзведзены Гродзенскі княжацкі церам, Гродзенская Ніжняя царква, Гродзенская Верхняя царква, інш. жылыя і гасп. пабудовы. У выніку шматлікіх аблог крыжакамі (1284, 1296, 1306, 1311, 1312, 1328, 1361, 1363, 1373, 1375, 1377, 1390, 1393 і 1402) Гродзенскі Стары замак часткова разбураўся, але быў адноўлены. У 1580 княжацкі церам перабудаваны для караля Рэчы Паспалітай Стафана Баторыя. Пасля вайны Расіі з Рэччу Паспалітай 1654—67 замкавыя ўмацаванні прыйшлі ў заняпад. У замку размяшчаецца Гродзенскі гісторыка-археалагічны музей. Да нашага часу зберагліся рэшткі муроў абарончых умацаванняў. Традыцыйна комплекс збудаванняў на Замкавай гары захаваў назву Стары замак. Уваходзіць у склад Гродзенскага гісторыка-археалагічнага запаведніка.

Літ.:

Трусаў А.А., Собаль В.Е., Здановіч Н.І. Стары замак у Гродне XI—XVIII стст.: Гіст.-археал. нарыс. Мн., 1993.

т. 5, с. 438

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

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

т. 6, с. 14