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

ГРАМАДЗЯ́НСТВА,

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

Грамадзянства Рэспублікі Беларусь — неад’емны атрыбут яе дзярж. суверэнітэту. Грамадзянамі Беларусі з’яўляюцца асобы, якія пастаянна пражывалі на тэр. Беларусі на дзень набыцця сілы Закона «Аб грамадзянстве Рэспублікі Беларусь» ад 18.10.1991 або атрымалі яе грамадзянства ў адпаведнасці з гэтым Законам. Грамадзянства Рэспублікі Беларусь з’яўляецца роўным для ўсіх грамадзян незалежна ад падстаў яго набыцця. Дакументам, які сведчыць аб грамадзянстве, з’яўляецца пашпарт грамадзяніна Рэспублікі Беларусь. Грамадзянін не можа быць пазбаўлены грамадзянства, як і ніхто з грамадзян краіны не можа быць адвольна пазбаўлены права змяніць грамадзянства. Набываецца грамадзянства па нараджэнні, у выніку прыёму ў грамадзянства, на інш. падставах, прадугледжаных міжнар. дагаворамі Рэспублікі Беларусь ці яе заканадаўствам аб грамадзянстве. Пражыванне грамадзяніна на тэр. інш. дзяржавы само па сабе не вядзе да страты грамадзянства. Грамадзянін не можа быць выдадзены інш. дзяржаве, калі гэта не прадугледжана міжнар. дагаворамі Беларусі. Спыняецца з прычыны выхаду з грамадзянства, з прычыны страты грамадзянства, на інш. падставах, прадугледжаных законам. Выхад з грамадзянства ажыццяўляецца па хадайніцтве асобы ў прадугледжаным законам парадку. Грамадзянства страчваецца, калі асоба набыла грамадзянства інш. дзяржавы ці паступіла на ваен. службу, у праваахоўныя і інш. дзярж. органы замежнай дзяржавы або калі грамадзянства Рэспублікі Беларусь было атрымана ёю незаконным шляхам.

С.У.Скаруліс.

т. 5, с. 397

АГРАНУЛАЦЫТО́З,

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

т. 1, с. 82

АДНАРО́ДНАЕ ЎРАЎНЕ́ННЕ,

ураўненне, якое не змяняе свайго выгляду пры адначасовым множанні ўсіх (або толькі некаторых) пераменных на адзін і той жа адвольны лік. Ураўненне можа быць аднародным і ў адносінах да адпаведных пераменных, напр., xy + yz + zx = 0 — аднароднае ўраўненне ў адносінах да ўсіх пераменных, ураўненне y + ln(x/z) + 5 = 0 — да х і z. Левая частка аднароднага ўраўнення з’яўляецца аднароднай функцыяй.

т. 1, с. 123

АЗЁРНАЯ РУДА́,

карысныя выкапні ў расолах і донных адкладах азёраў і балот. Можа быць вадкая і цвёрдая. Вадкая — растворы калій-натрыевых соляў бяссцёкавых азёраў сухіх і гарачых абласцей, воды азёраў з павышанай канцэнтрацыяй літыю. Цвёрдая азёрная руда — донныя асадкі гідравокіслаў жалеза, якія залягаюць у выглядзе пластоў, праслоек, жаўлакоў, лінзаў, магутнасцю ад некалькіх сантыметраў да 2—3 м. Прамысл. значэння не мае.

т. 1, с. 163

АЛАТРО́ПІЯ (ад ала... + грэч. tropos паварот, уласцівасць),

існаванне аднаго і таго хім. элемента ў выглядзе двух або некалькіх простых рэчываў (алатропных мадыфікацый), якія адрозніваюцца па сваіх фіз. і хім. уласцівасцях. Можа быць вынікам утварэння малекул з рознай колькасцю атамаў, напр., азон (O₃) і кісларод (O₂) або крышталёў розных мадыфікацый, напр., алмаз і графіт. Прыватны выпадак полімарфізму. Вядома каля 400 алатропных мадыфікацый хім. элементаў.

т. 1, с. 228

АЛІМПІ́ЙСКІ ГО́РАД,

горад, у якім праводзяцца Алімпійскія гульні. Паводле Алімпійскай хартыі такое права надаецца гораду, а не краіне. Выбіраецца сесіяй Міжнар. алімпійскага к-та не пазней як за 6 гадоў да пачатку гульняў. Заяўка на правядзенне алімпіяды павінна быць ухвалена Нац. алімпійскім к-там і падтрымана ўрадам краіны, які таксама дае пісьмовыя гарантыі аб выкананні спец. умоў для гарадоў-кандыдатаў.

т. 1, с. 257

АМАФО́РМЫ (ад гама... + лац. forma форма, вонкавы выгляд, абрыс),

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

т. 1, с. 308

АНАФІЛАКСІ́Я (ад ана... + грэч. phylaxis ахова),

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

т. 1, с. 341

АПАСРО́ДКАВАННЕ,

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

т. 1, с. 419