Verbum

А́ЛГЕБРА ЛО́ГІКІ,

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.Буль (1815—64). Алгебра логікі разглядае выказванні толькі з пункту гледжання іх праўдзівасці (пазначаюць лічбамі 1 — праўдзівасць і 0 — ілжывасць). Логікавыя аперацыі над выказваннямі даюць магчымасць будаваць новыя выказванні. Праўдзіваснае значэнне такога выказвання A (a₁,..., a_n), атрыманага пры дапамозе логікавых аперацый з прасцейшых выказванняў a₁, ..., a_n, адназначна выяўляецца праўдзіваснымі значэннямі зыходных выказванняў a₁,..., a_n. Таму кожнаму такому выказванню A (a₁, ..., a_n) адпавядае n-ме́сцавая функцыя, якая прымае значэнні 0,1, аргументы яе таксама прымаюць гэтыя значэнні. Такія функцыі наз. функцыямі алгебры логікі, ці булевымі, функцыямі. Яны могуць быць зададзеныя з дапамогай праўдзівасных табліц, якія маюць 2​ⁿ радкоў.

Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць x̅. Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1) знаходзіцца ў адпаведнасці з аперацыямі, з якіх пабудавана дадзеная формула. Такая функцыя рэалізуе дадзеную формулу. Формулы A і B наз. роўнымі (раўназначнымі), калі адпаведныя ім функцыі роўныя, г.зн. калі супадаюць іх праўдзівасныя табліцы. Азначэнне A=B ці A≡B, A~B, калі кажуць пра іх раўназначнасць. Важную ролю ў алгебры логікі маюць роўнасці, якія задаюць булеву алгебру.

Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць вял. прыкладное значэнне. Сістэма функцый Ф. наз. функцыянальна поўнай, калі адвольная функцыя алгебры логікі можа быць рэалізаваная формулай, якая мае толькі сімвалы функцый з Ф. Напр., сістэмы функцый {&, ⋁, ¬}, {&, ¬}, {⋁, ¬}, {⇒, ¬}, {x | у}, {x ↓ у} функцыянальна поўныя (тут $\mathrm{x}|\mathrm{y}=\mathrm{x}\&\mathrm{y}\_$ , $\mathrm{x}\downarrow \mathrm{y}=\mathrm{x}\bigvee \mathrm{y}$ , якія наз. штрыхам Шэфера і стрэлкай Пірса адпаведна).

Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі эл. схем.

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

т. 1, с. 234

МІЛІЦЫ́ЙНАЯ АРМІЯ,

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

Прататып М.а. — апалчэнні, якія існавалі ў шэрагу рабаўладальніцкіх дзяржаў (Сірыі, Егіпце, Урарту і інш.), пазней — сярэдневяковыя гар. апалчэнні шэрагу еўрап. краін (у ВКЛ мелі назву Паспалітае рушэнне), з 19 ст. нац. гвардыя ў Францыі і інш. У СССР у 1920—30 былі часці і злучэнні М.а., у т.л. на тэр. Беларусі 2-я Бел. дывізія, а таксама 16-ы стралк. корпус, 27, 29, 33, 37-я дывізіі Бел. ваен. акругі. З 1935 Узбр. Сілы СССР, у т.л. часці, што дыслацыраваліся на тэр. Беларусі, пераведзены на адзіную кадравую сістэму іх буд-ва, якая замацавана ў 1939 Законам аб усеагульным воінскім абавязку.

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

2) У пераносным сэнсе міліцыйныя злучэнні, часці і падраздзяленні. У пач. 1920-х г. існавалі ў Расіі (СССР) — 9 дывізій і адна міліцыйная брыгада, якія ў 1923 перафарміраваны ў тэр.-міліцыйныя дывізіі. У 1966 міліцыйныя часці адноўлены з мэтай нясення патрульна-паставой службы ў буйных гарадах, у т.л. ў Мінску (асобны спец. матарызаваны батальён міліцыі, з 1989 — полк, з 1993 — асобная міліцыйная брыгада). У 1990 на базе часцей 43-й канвойнай дывізіі сфарміраваны батальёны міліцыі ў абласных цэнтрах і буйных гарадах Беларусі. У 1995 створаны корпус аховы грамадскага парадку, у склад якога ўвайшлі міліцыйныя і інш. часці (падраздзяленні) Унутр. войск.

І.М.Вяроўка, Р.Ч.Лянькевіч.

т. 10, с. 373

АРГАНІЗА́ЦЫЯ АБ’ЯДНА́НЫХ НА́ЦЫЙ (United Nacions; ААН),

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

Арганізац. і структурныя асновы ААН закладваліся ў час 2-й сусв. вайны вядучымі дзяржавамі антыгітлераўскай кааліцыі. 1.1.1942 у Вашынгтоне 26 краін падпісалі Дэкларацыю Аб’яднаных Нацый (назву «Аб’яднаныя Нацыі» прапанаваў прэзідэнт ЗША Ф.Рузвельт). У Дэкларацыі, прынятай 30.10.1943 на Маскоўскай нарадзе міністраў замежных спраў, ад імя ўрадаў заяўлена пра неабходнасць «заснавання ў найкарацейшы тэрмін агульнай міжнароднай арганізацыі для падтрымання міру і бяспекі, заснаванай на прынцыпе суверэннай роўнасці ўсіх міралюбівых дзяржаў». На Думбартан-Окс канферэнцыі 1944 прадстаўнікі Вялікабрытаніі, ЗША, Кітая і СССР распрацавалі прапановы па статуце такой арг-цыі. На Крымскай канферэнцыі 1945 кіраўнікі Вялікабрытаніі, ЗША і СССР дамовіліся на ўстаноўчую канферэнцыю ў Сан-Францыска ў якасці першапачатковых дзяржаў — заснавальніц ААН запрасіць Беларускую ССР і Украінскую ССР, ацэньваючы ўклад народаў гэтых рэспублік у перамогу над фашызмам. Сан-Францыская канферэнцыя 1945 прыняла Статут ААН. Урачыстае яго падпісанне адбылося 26.6.1945 прадстаўнікамі 50 дзяржаў, у т. л. і БССР. Гэтыя краіны, а таксама не прадстаўленая на канферэнцыі Польшча (падпісала Статут некалькі пазней), сталі першапачатковымі дзяржавамі — членамі ААН. Афіц. датай утварэння ААН лічыцца 24.10.1945, калі яе Статут набыў сілу пасля здачы ратыфікацыйных грамат Вялікабрытаніяй, ЗША, Кітаем, СССР, Францыяй і большасцю інш. краін, якія яго падпісалі (БССР ратыфікавала Статут 30.8.1945). 24 кастр. адзначаецца штогод як Дзень ААН.

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

Гал. органы арг-цыі: Генеральная Асамблея, Савет Бяспекі, Эканамічны і сацыяльны савет ААН (ЭКАСОС), Савет па апецы ААН, Міжнародны суд ААН і Сакратарыят ААН.

У Ген. Асамблеі прадстаўлены ўсе члены ААН. Яна можа абмяркоўваць любыя пытанні ў межах Статута або якія адносяцца да паўнамоцтваў і функцый любога з органаў ААН, даваць рэкамендацыі Савету Бяспекі і яго членам па любым з такіх пытанняў, за выключэннем тых, на якія распаўсюджваюцца паўнамоцтвы Савета Бяспекі; вызначае мэты і кіруе дзейнасцю ў галіне развіцця, склікае сусв. канферэнцыі, абвяшчае міжнар. гады і г.д. Паводле Статута ААН на Савет Бяспекі ўскладзена гал. адказнасць за падтрыманне міру і бяспекі. Ён складаецца з 5 пастаянных (Вялікабрытанія, ЗША, Кітай, Расія і Францыя) і 10 непастаянных (выбіраюцца Ген. Асамблеяй на 2 гады) членаў. Дзейнічае паводле прынцыпу аднагалосся. Рашэнні Савета Бяспекі абавязковыя для ўсіх членаў ААН. У выключную кампетэнцыю Савета Бяспекі ўваходзіць, вырашэнне пытанняў стварэння і функцыянавання ўзброеных сіл ААН. Эканам. і сац. савет каардынуе пад эгідай Ген. Асамблеі дзейнасць ААН у галіне эканам. і сац. супрацоўніцтва. Складаецца з 54 чал., якія выбіраюцца Ген. Асамблеяй. Задача Савета па апецы — назіранне за кіраўніцтвам падапечнымі тэрыторыямі, якія ўключаны ў сістэму апекі. Міжнар. суд — гал. суд. орган ААН. Яго члены выбіраюцца Ген. Асамблеяй і Саветам Бяспекі. Сакратарыят абслугоўвае інш. органы ААН, выконвае праграмы і ажыццяўляе прынятую імі палітыку. Узначальвае Сакратарыят Генеральны сакратар ААН (з 1.1.1993 Бутрас Бутрас-Галі).

Існуе вял. колькасць розных органаў ААН: спец. камітэты, камісіі, канферэнцыі і інш. Асобна вылучаюцца спецыялізаваныя ўстановы ААН, якія дзейнічаюць аўтаномна, маюць свае ўстановы і членства. Штаб-кватэра ААН размешчана ў Нью-Йорку. У шэрагу гарадоў свету дзейнічаюць інфарм. цэнтры і розныя службы арг-цыі. У Вене і Жэневе размешчаны Аддзяленні ААН. Афіц. мовы ААН — англ., ісп., кіт., рус., франц.; араб. мова дабаўлена як афіц. мова Ген. Асамблеі, Савета Бяспекі і ЭКАСОС. Мае сваю эмблему і сцяг. У Мінску дзейнічае Прадстаўніцтва ААН у Рэспубліцы Беларусь.

В.М.Іваноў, Г.К.Кісялёў.

т. 1, с. 461

АСАВЕ́Ц,

вёска ў Беларусі, у Любанскім раёне Мінскай вобласці. Цэнтр сельсавета і калгаса. За 17 км на ПнУ ад г. Любань, 169 км ад Мінска, 42 км ад чыг. ст. Урэчча. 1197 ж., 369 двароў (1994). Цагельня. Сярэдняя школа, б-ка, Дом культуры, бальніца, камбінат быт. абслугоўвання, аддз. сувязі. Помнік землякам, якія загінулі ў Вял. Айч. вайну, і помнік партызанам.

т. 2, с. 18

АСВЯТЛЯ́ЛЬНЫЯ САСТА́ВЫ,

піратэхнічныя саставы, якія выкарыстоўваюць у асвятляльных ракетах, артыл. снарадах, авіябомбах для асвятлення вял. участкаў мясцовасці, для начных аэрафотаздымак. Пераважна сумесі парашкоў магнію і алюмінію (ці іх сплаваў) з акісляльнікамі (нітраты натрыю і барыю) і невялікай колькасцю арган. сувязных рэчываў (смолы, парафін, стэарын). Цеплата згарання ~6 МДж/кг, т-ра гарэння 2500—3000 °C, працягласць гарэння ад 8 с да 8 мін.

т. 2, с. 26

АСЭ́САР (лац. assessor),

службовая або судовая пасада (засядацель, прысудак лаўнік). У Стараж. Рыме асэсарам называлі засядацеля. Пазней у некаторых краінах Еўропы асэсарамі былі асобы, якія займалі суд. і адм. пасады. У ВКЛ і Польшчы з сярэдзіны 15 да 18 ст. Асэсары з’яўляліся засядацелямі земскага, вечавога, асэсарскага і інш. судоў. Асэсарскі суд, напрыклад, разглядаў апеляцыі мясц. судоў. Асэсар займаўся і справамі адм. кіравання.

т. 2, с. 64

АТО́Л (англ. Atoll ад мальдыўскага),

каралавы востраў, які мае форму суцэльнага або разарванага кальца, што акружае лагуну невял. глыбіні (да 100 м). Утвараюцца ў выніку росту каралавых рыфаў па перыферыі а-воў пераважна вулканічнага паходжання, якія павольна апускаюцца. Звычайна невял., іншы раз дасягаюць 50 км і больш у дыяметры. Пашыраны паасобку і архіпелагамі ў трапічных шыротах Ціхага і Індыйскага акіянаў.

т. 2, с. 76

АЎКШТА́ЙТЫ,

група балцкіх плямёнаў, якая вылучылася ў 1-м тыс. нашай эры на тэр. Літвы. Упершыню згадваюцца ў Дузбургскай хроніцы ў сувязі з падзеямі 1294—1300. У сярэднявеччы аўкштайтамі наз. паўд.-ўсх. плямёны літоўцаў у адрозненне ад заходніх — жэмайтаў. Цяпер аўкштайты — этнагр. група літоўцаў, якія жывуць пераважна ў паўд.-ўсх. ч. Літоўскай Рэспублікі, гавораць на аўкштайцкім дыялекце літоўскай мовы. Гл. таксама Аўкштайція.

т. 2, с. 86

АЎСТРА́ЛА-АЗІЯ́ЦКАЕ МІЖЗЕ́МНАЕ МО́РА,

агульная назва марскіх басейнаў, якія ляжаць паміж Азіяй і Аўстраліяй у зах. частцы Ціхага ак. Агульная пл. каля 8 млн. км². Найбольшыя моры: Паўднёва-Кітайскае мора, Яванскае мора, Сулавесі, Сулу, Малукскае мора, Банда, Флорэс і інш. Буйныя парты: Гуанчжоу, Чжаньцзян, Гаасюн (Кітай), Сянган (Сянган), Маніла (Філіпіны), Самарында, Банджармасін, Семаранг, Сурабая, Танджунгпрыёк (Інданезія), Сінгапур (Сінгапур), Бангкок (Тайланд), Хашымін, Хайфон (В’етнам).

т. 2, с. 90