Verbum

ВЕРТУНЫ́

(Gyrinidae),

сямейства насякомых атр. жукоў. У сусв. фауне больш за 1600 відаў, пашыраных пераважна ў тропіках. Жывуць у прэсных вадаёмах, круцяцца на паверхні вады ў пошуках здабычы (адсюль назва). На Беларусі 7 відаў з 2 родаў. Найб. пашыраны вяртун-паплавок (Gyrinidae natator) і вяртун змрочны (Gyrinidae villosus).

Даўж. да 8 мм. Цела цёмнае, бліскучае. Пярэднія ногі хапальныя, падоўжаныя, сярэднія і заднія плавальныя (плоскія, падобныя да вёслаў). Вочы падзелены на 2 палавіны, адна з якіх здольная бачыць над вадой, другая — пад вадой. Удзень плаваюць часцей чародамі, пры небяспецы ныраюць; у цёмны час лётаюць. Драпежныя: кормяцца дробнымі вадзянымі насякомымі (у т. л. лічынкамі малярыйных камароў) і інш. Лічынкі жывуць у глеі, акукліваюцца на беразе.

т. 4, с. 106

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

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.Буль (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

ЗАХО́ДНЕ-БЕЛАРУ́СКАЯ ПРАВІ́НЦЫЯ,

фізіка-геаграфічная правінцыя на З Беларусі. Займае Гродзенскую, паўн. ч. Брэсцкай і зах. ч. Мінскай абласцей. Мяжуе на Пн з Беларуска-Валдайскай правінцыяй, на У з Перадпалескай правінцыяй, на Пд з Беларускім Палессем. Працягнулася з З на У на 250 км, з Пн на Пд у сярэднім на 150 км; пл. 37,3 тыс. км​². Падзяляецца на фізіка-геагр. раёны (паводле В.А.Дзяменцьева, з дапаўненнем); Лідская раўніна, Сярэднянёманская нізіна, Верхнянёманская нізіна, Паўднёва-Заходняе адгалінаванне Беларускай грады (Навагрудскае, Ваўкавыскае, Гродзенскае і Слонімскае ўзвышшы), Капыльская града, Прыбугская раўніна, Баранавіцкая раўніна, Слуцкая раўніна, Стаўбцоўская раўніна. У рэльефе спалучаюцца канцова-марэнныя ўзвышшы, донна-марэнныя раўніны, водна-ледавіковыя і прыледавіковыя нізіны. Найвыш. пункт 323 м над узр. м. (Замкавая гара на Навагрудскім узв.), самы нізкі пункт Беларусі 80 м над узр. м. ў даліне р. Нёман каля граніцы з Літвой. У тэктанічных адносінах тэр. З.-Б.п. размешчана ў межах Бел. антэклізы і паўн. ч. Брэсцкай упадзіны. Асобныя выхады крышт. архейскіх і пратэразойскіх парод, а таксама асадкі мелавога, палеагенавага і неагенавага ўзросту перакрываюцца чацвярцічнымі (марэннымі, водна-ледавіковымі, азёрнымі, рачнымі, балотнымі і лёсападобнымі) адкладамі. Карысныя выкапні: мел, мергель, пяскі, гліны, торф, жал. руды. Клімат умерана цёплы, вільготны. Сярэдняя т-ра студз. ад -4,4 да -6,7 °C, ліп. 17,4—18,8°C. Вегет. перыяд 187—208 сут. Ападкаў 530—695 мм, на Навагрудскім узв. да 706 мм за год. Найб. рака Нёман з прытокамі Бярэзіна, Гаўя, Дзітва, Лебяда, Котра, Моўчадзь, Шчара, Зальвянка, Рось, Свіслач, Ласосна; на ПдЗ рэкі Лясная і Нараў (бас. р. Буг), Ясельда (бас. р. Прыпяць). Найб. азёры Белае, Рыбніца, Малочнае, Свіцязь. На ўзвышшах і раўнінах глебы дзярнова-падзолістыя сярэдне- і моцнаападзоленыя на марэнных суглінках, супесках і лёсападобных пародах. У нізінах пераважаюць дзярнова-слабаападзоленыя глебы на пясках, а таксама забалочаныя і тарфяна-балотныя; алювіяльна-лугавыя — на поймах рэк. Лясы займаюць 28% тэр. Шыракаліста-яловыя і хваёвыя лясы, хмызнякі, сухадолы і нешырокія палосы заліўных лугоў сярод узвышшаў і на раўнінах. На нізінах пераважаюць хваёвыя бары, драбналістыя і забалочаныя лясы, нізінныя балоты. Пад ворывам каля 40% тэрыторыі. У З.-Б.п. нацыянальныя паркі Белавежская пушча, Налібоцкая пушча, а таксама ландшафтныя, гідралагічныя і біялагічныя заказнікі.

В.П.Якушка.

т. 7, с. 13