Verbum

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

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

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

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

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

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

т. 1, с. 234

ВАНСЕ́ЦКІ (Павел Фёдаравіч) (1915, г. Краснадар, Расія — 27.3.1944),

Герой Сав. Саюза (1945). Беларус. З 1938 у ВМФ, служыў на Чарнаморскім флоце. З 1942 у брыгадзе марской пяхоты, удзельнік дэсантных аперацый у Новарасійску, Марыупалі, Таганрогу, Бярдзянску. Старшына 2-й стацці Вансецкі вызначыўся ў час дэсантнай аперацыі ў г. Мікалаеў (Украіна): у ноч на 26.3.1944 атрад дэсантнікаў, у складзе якога быў Вансецкі, па Паўд. Бугу высадзіўся ў тыле ворага ў порце, у няроўным баі за 2 сутак адбіў 18 контратак, нанёс вял. страты жывой сіле ворага.

т. 3, с. 504

БАГАЛЮ́БАЎ (Аляксандр Мікалаевіч) (29.5.1900, г. Чэбаксары, Чувашыя — 28.2.1956),

удзельнік вызвалення Беларусі ў Вял. Айч. вайну. Ген.-палк. (1945), Герой Сав. Саюза (1945). Скончыў акадэміі Ваен. імя Фрунзе (1931) і Генштаба (1938). У Чырв. Арміі з 1918. Удзельнік грамадз. вайны. У Вял. Айч. вайну на фронце з чэрв. 1941, з мая 1944 нач. штаба 2-га Бел. фронту. Прадуманы Багалюбавым план дзеянняў і ўмелае кіраванне штабамі злучэнняў войскаў фронту ў Беларускай аперацыі 1944 спрыялі поспеху ў разгроме праціўніка на магілёўскім напрамку. Пасля вайны на адказных пасадах у Сав. Арміі.

т. 2, с. 197

БАНК МІЖНАРО́ДНЫХ РАЗЛІ́КАЎ (Bank for International Settlements; БМР),

міжнароднае акцыянернае таварыства. Створана ў 1930. Члены — цэнтр. банкі 30 еўрап. краін, а таксама Аўстраліі, ЗША, Канады, ЮАР, Японіі. Вышэйшы орган — агульны сход кіраўнікоў банкаў. Месца знаходжання — Базель (Швейцарыя). Мэта: спрыяць супрацоўніцтву паміж цэнтр. банкамі і забяспечваць дадатковыя спрыяльныя ўмовы для міжнар. разлікаў. Праводзіць крэдытныя, валютныя і арбітражныя аперацыі з цэнтр. банкамі і міжнар. эканам. Арг-цыямі, з 1986 і міжнар. клірынгавыя разлікі ў ЭКЮ. З’яўляецца дапаможным еўрап. органам Міжнар. валютнага фонду і Міжнар. банка рэканструкцыі і развіцця.

т. 2, с. 281

АСЛІКО́ЎСКІ (Мікалай Сяргеевіч) (12.9.1900, г.п. Ляцічаў Хмяльніцкай вобл., Украіна — 8.10.1971),

сав. ваенны дзеяч, ген.-лейт. (1943), Герой Сав. Саюза (1945). Скончыў Вышэйшую школу каманднага саставу ў Харкаве (1921), Ваен. акадэмію Генштаба (1942). У Чырв. Арміі з 1919. У грамадз. вайну камандзір партыз. атрада, кав. эскадрона, палка, дывізіі. З чэрв. 1941 на франтах Вял. Айч. вайны. Удзельнік бітвы пад Масквой, Бел. аперацыі 1944. Кавалерысты корпуса пад яго камандаваннем вызначыліся ў баях за вызваленне гарадоў Ліда і Гродна. Удзельнік вызвалення Польшчы і Усх. Германіі. Да 1953 у Сав. Арміі.

т. 2, с. 36

БО́ЛДЗІН (Іван Васілевіч) (15.8.1892, в. Высоцкая Інсарскага р-на, Мардовія — 28.5.1965),

савецкі ваен. дзеяч. Ген.-палк. (1944). Скончыў курсы «Выстрал» (1923), Ваен. акадэмію імя Фрунзе (1936). У арміі з 1914, у Чырв. Арміі з 1919, удзельнік 1-й сусв. і грамадз. войнаў. З 1940 нам. камандуючага войскамі Зах. асобай ваен. акругі. У Вял. Айч. вайну камандаваў 50-й арміяй, якая ўдзельнічала ў баях пад Масквой, на Курскай дузе, вызваленні Чавусаў, Магілёва, Гродна, у аперацыі мінскі «кацёл». Пасля вайны ў Сав. Арміі. Аўтар успамінаў «Старонкі жыцця» (1961). Ганаровы грамадзянін г. Гродна.

т. 3, с. 209

ГРУМ-ГРЖЫМА́ЙЛА (Кандрат Іванавіч) (21.9.1794, г. Магілёў — 1874),

бел. ўрач і грамадскі дзеяч. Д-р медыцыны (1823). Скончыў мед. ф-т Віленскага ун-та (1820). У 1821—28 працаваў у ваен. шпіталі ў Магілёве, у 1833—68 у Пецярбургу выдаваў мед. газ. «Друг здравия», якая папулярызавала мед. веды і садзейнічала развіццю айч. навукі. Навук. працы пра пахвінныя грыжы і спосаб іх лячэння шляхам аперацыі, па фізіялогіі і паталогіі дзіцячага арганізма, гігіене, дыетэтыцы і курарталогіі.

Тв.:

Монография о радикальном лечении пахомошоночных гриж... СПб., 1837;

Физиология поэзии и счастья. СПб., 1865.

т. 5, с. 463

ГРЫЗАДУ́БАВА (Валянціна Сцяпанаўна) (31.1.1910, г. Харкаў, Украіна — 1993),

савецкая лётчыца, Герой Сав. Саюза (1938), Герой Сац. Працы (1986), палкоўнік (1943). Скончыла аэраклуб (1929), Тульскую авіяц. школу (1933). У 1938 разам з П.​Дз.​Асіпенка, М.​М.​Расковай здзейсніла беспасадачны пералёт Масква — Д. Усход. У Вял. Айч. вайну на фронце з чэрв. 1941, у 1942—44 камандзір 101-га авіяц. палка далёкага дзеяння, самалёты якога дастаўлялі войскам боепрыпасы, лёталі ў тыл ворага да бел. партызан, удзельнічалі ў Беларускай аперацыі 1944. Зрабіла каля 200 баявых вылетаў. З 1946 у грамадз. авіяцыі.

т. 5, с. 478