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 л вады (мг/л) пры т-ры 20 °C. Значэнні БСК₅ — расход кіслароду за 5 сут (60—80% поўнага спажывання кіслароду) і БСК_поўн. — спажыванне кіслароду, які спатрэбіўся для акіслення арган. рэчываў за адрэзак часу да пачатку працэсу нітрыфікацыі. БСК_поўн. лічыцца 15—20 сут, аднак мінералізацыя нястойкіх арган. рэчываў заканчваецца прыблізна за 10 сут (расход кіслароду складае каля 90%), на 20-я сут працэс стабілізуецца (дасягае 99%), але не спыняецца. БСК₅ прыродных водаў звычайна 0,5—2 мг/л, у залежнасці ад ступені забруджанасці вадаёмаў 0,5—7 мг/л. Нізкі паказчык БСК можа сведчыць таксама пра наяўнасць у вадзе рэчываў, якія запавольваюць або спыняюць біяхім. працэсы ў ёй.

А.П.Астапеня.

т. 3, с. 181

ГРАВІТАЦЫ́ЙНЫ КАЛА́ПС,

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

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

Літ.:

На переднем крае астрофизики: Пер. с англ. М., 1979;

Шапиро С.Л., Тьюколски С.А. Черные дыры, белые карлики и нейтронные звезды: Пер. с англ. Ч. 1—2. М., 1985.

М.М.Касцюковіч.

т. 5, с. 384