Verbum

ІТАЛІ́ЙСКІЯ МО́ВЫ група мёртвых моў індаеўрап. сям’і (гл. Індаеўрапейскія мовы). Былі пашыраны ў 2-й пал. 1-га тыс. да н.э. — першых ст. н.э. ў цэнтр. і паўд. Італіі. Падзяляліся на 2 галіны: оскска-умбрскую і лацінска-фаліскскую. Некат. асаблівасцямі І.м. збліжаюцца з кельцкімі мовамі. Пісьмо запазычана ў этрускаў. Вывучэнне лексікі І.м. цяжкае з прычыны фрагментарнасці іх тэкстаў. Лексічнае адрозненне ад лацінскай мовы звязана з уплывам этрускай, а на Пд — стараж.-грэч. моў. Пісьмовыя помнікі оскскай мовы датуюцца 5 ст. да н.э. — 1 ст. н.э., помнікі умбрскай мовы — 3—1 ст. да н.э. (т.зв. Ігувінскія табліцы 3—2 ст. да н.э.). На лац. мове створана багатая л-ра. Фаліскскія тэксты (7—8 ст. да н.э.) складаліся з анамастыкі і зазналі этрускі ўплыў.

Літ.:

Цветаев И. Сборник осских надписей с очерком фонетики, морфологии и глоссарием. Киев, 1877;

Мартынов В.В. Балто-славяно-италийские изоглоссы. Мн., 1978.

У.​В.​Мартынаў.

т. 7, с. 350

ІНТЭГРА́ЛЬНАЕ ЗЛІЧЭ́ННЕ,

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

І.з. ўзнікла з задач на вызначэнне плошчаў і аб’ёмаў. Найб. блізка да сучаснага разумення інтэгравання падышоў Архімед (3 ст. да н.э.). Стваральнікі І.з. І.Ньютан і Г.Лейбніц незалежна адзін ад аднаго пабудавалі інтэгральнае і дыферэнцыяльнае злічэнні і ўстанавілі іх узаемную абарачальнасць. Далейшае развіццё І.з. звязана з працамі Л.​Эйлера, А.​Кашы, Б.​Рымана, А.​Лебега, Т.​І.​Стылцьеса, А.​М.​Калмагорава і інш. Вылічэнне інтэгралаў (гл. Інтэграванне) толькі ў рэдкіх выпадках выконваецца непасрэдна па формулах (напр., шляхам абарачэння формул дыферэнцавання) — некат. інтэгралы нават ад параўнальна простых функцый нельга выразіць праз элементарныя, напр., інтэграл імавернасці. І.з. служыць крыніцай узнікнення новых (трансцэндэнтных) функцый (інтэгральнага сінуса, інтэгральнага лагарыфма і інш.). Для такіх функцый створаны табліцы значэнняў. Гл. таксама Графічныя вылічэнні, Набліжанае інтэграванне, Лікавыя метады.

А.​А.​Гусак.

т. 7, с. 280

НАБО́РНЫЯ ПРАЦЭСЫ,

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

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

Літ.:

Колосов А.И. Наборные и стереотипные процессы. М., 1977;

Ремизов Ю.Б. Фотонаборные процессы. М., 1981.

У.​М.​Сацута.

т. 11, с. 90

ЗАПАМІНА́ЛЬНАЕ ПРЫСТАСАВА́ННЕ,

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

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

М.​П.​Савік.

т. 6, с. 531

МАРСКО́Е ПРА́ВА,

сукупнасць прававых норм, якія рэгулююць адносіны, што складваюцца ў галіне гандл. і ваен. мараплавання, рыбалоўства і марскога промыслу, здабычы біял. і мінер. рэсурсаў мораў, правядзення навук. даследаванняў і да т.п. Першыя зборнікі М.п. адносяцца да 11—14 ст., калі пачалі развівацца міжнар. эканам. сувязі. Вядомы зборнікі марскіх звычаяў розных краін: Наўгародская Скра, Візбійскія табліцы, Алеронскі скрутак, барселонскі «Марскі судзебнік» і інш.

Існуюць 3 галіны М.п.: нац. М.п., міжнар. публічнае М.п. і міжнар. прыватнае М.п. У Расіі і некат. краінах СНД, у т. л. на Беларусі, дзейнічаюць нормы М.п., выкладзеныя ў Кодэксе гандл. мараплавання СССР 1968, а таксама шматлікія міжнар. пагадненні ў гэтых пытаннях, удзельнікамі якіх з’яўляюцца краіны. Пад міжнар. публічным М.п. разумеецца сукупнасць міжнар. дагаворных і звычаёвых норм, якія рэгулююць адносіны паміж дзяржавамі ў сувязі з выкарыстаннем Сусветнага акіяна. У аснове сучаснага міжнар. публічнага М.п. ляжыць прынцып свабоды адкрытага мора. Міжнар. прыватнае М.п. рэгулюе адносіны дзярж органаў, фіз. і юрыд. асоб з замежнымі дзярж органамі ў сувязі з пытаннямі гандл. мараплавання. Прававыя нормы, якія складаюць гэту галіну М.п., ёсць ва ўнутр. заканадаўстве некат. дзяржаў і ў міжнар. пагадненнях.

т. 10, с. 137

ПАСХА́ЛІІ,

табліцы дат святкавання Вялікадня (Пасхі). Складаюцца хрысціянскай царквой на шмат гадоў наперад згодна з пастановаю Нікейскага сабора (325). Паводле пастановы Вялікдзень належыць адзначаць у 1-ю нядзелю, «наступную за поўняй, якая супадае з веснавым раўнадзенствам ці бывае пасля яго», але не павінен супадаць з яўр. пасхай. Шэраг цэркваў складае П. паводле юліянскага календара (Руская, Балгарская, Сербская, Іерусалімская правасл. цэрквы і інш.), каталіцкія і пратэстанцкія — паводле грыгарыянскага. Гэта выклікае разыходжанні ў часе святкавання Вялікадня рознымі хрысціянскімі цэрквамі (гл. табл.).

т. 12, с. 175

МА́ТРЫЦА ў матэматыцы,

прамавугольная табліца элементаў адвольнай прыроды; адно з асн. паняццяў лінейнай алгебры. Узнікае пры рашэнні і даследаванні сістэм лінейных ураўненняў.

Элементы М. памераў m × n размяшчаюцца ў прамавугольнай табліцы, якая мае m радкоў і n калонак (слупкоў) і абазначаецца $\Vert \begin{array}{cccc}{a}_{11}& a_{12}& \text{...}& a_{1n}\\ a_{21}& a_{22}& \text{...}& a_{2n}\\ \text{...}& \text{...}& \text{...}& \text{...}\\ a_{m1}& a_{m2}& \text{...}& a_{mm}\end{array}\Vert =\text{‖}{a}_{ij}\text{‖}$ або $A=\left(\begin{array}{cccc}{a}_{11}& a_{12}& \text{...}& a_{1n}\\ a_{21}& a_{22}& \text{...}& a_{2n}\\ \text{...}& \text{...}& \text{...}& \text{...}\\ a_{m1}& a_{m2}& \text{...}& a_{mm}\end{array}\right)=\text{(}{a}_{ij}\text{)}$ , дзе індэксы i, j паказваюць нумар радка і нумар слупка адпаведна, дзе знаходзіцца элемент a_ij Калі m = n. М. наз. квадратнай парадку n. Калі элементы М. лікі, аперацыі над М. (складанне і множанне) выконваюцца па правілах матрычнай алгебры: сума М. A = ‖a_ij‖ і B = ‖b_ij‖ аднолькавых памераў (лік радкоў і лік слупкоў адной М. роўныя адпаведна ліку радкоў і ліку слупкоў другой) ёсць М. C = ‖c_ij‖, дзе c_ij = a_ij + b_ij. Перамнажаюць М., калі лік слупкоў у адной з іх роўны ліку радкоў у другой і здабытак М. A = ‖a_ik‖ і B = ‖b_kj‖ ёсць М. C = ‖c_ij‖, дзе $$c_{ij}=\sum _{k=1}^m{a}_{ik}{b}_{kj}$$ . М. выкарыстоўваюцца ў матэм. аналізе, механіцы, электратэхніцы (напр., пры даследаваннях малых ваганняў мех. і эл. сістэм), тэорыі імавернасцей, квантавай механіцы і інш.

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

т. 10, с. 205

ВЫЛІЧА́ЛЬНАЯ МАТЭМА́ТЫКА,

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

Узнікненне вылічальнай матэматыкі звязана з неабходнасцю рашэння асобных задач (вымярэнне адлегласцей, плошчаў, аб’ёмаў і інш.). Развіццё навукі, асабліва астраноміі і механікі, спрыяла развіццю матэматыкі ўвогуле і вылічальнай матэматыкі ў прыватнасці. Складаліся табліцы эмпірычна знойдзеных залежнасцей, што прывяло да ўзнікнення паняцця функцыі і задачы інтэрпалявання (гл. Інтэрпаляцыя). Поспехі вылічальнай матэматыкі звязаны з імёнамі І.​Ньютана, Л.​Эйлера, М.​І.​Лабачэўскага, К.​Ф.​Гаўса, П.​Л.​Чабышова, С.​А.​Чаплыгіна, А.​М.​Крылова, А.​М.​Ціханава, А.​А.​Самарскага, У.​І.​Крылова, Л.​В.​Кантаровіча і інш. Многія задачы вылічальнай матэматыкі можна запісаць у выглядзе y=Ax, дзе x і y належаць зададзеным мноствам X і Y, A — некаторы аператар. Для рашэння задачы трэба знайсці у па зададзеным х ці наадварот. У вылічальнай матэматыцы гэта задача рашаецца заменай мностваў X, Y і аператара A (ці толькі некаторых з іх) іншымі, зручнымі для вылічэнняў. Замена робіцца так, каб рашэнне новай задачы y=Bx было ў нейкім сэнсе блізкім да рашэння першапачатковай задачы. Напр., калі ў якасці Ax узяць інтэграл ${\displaystyle {\int }_{\mathrm{a}}^{\mathrm{b}}x\text{(}t\text{)}dt}$ , то прыбліжанае значэнне яго ў многіх выпадках можна вылічыць паводле т.зв. квадратурнай формулы ${\displaystyle {\int }_{\mathrm{a}}^{\mathrm{b}}x\text{(}t\text{)}dt\approx {\sum }_{k-1}^n{A}_{k}x\text{(}{t}_k\text{)}}$ , дзе $A_k$ і $t_k$ — некаторыя фіксаваныя лікі. Гэта адна з класічных задач вылічальнай матэматыкі. Пры рашэнні яе, асабліва ў выпадку кратнага (шматразовага) і кантынуальнага інтэгравання, карыстаюцца Монтэ-Карла метадам. Прынцыповае значэнне ў вылічальнай матэматыцы належыць тэорыі прыбліжэння функцый, якая адыгрывае і агульнаматэм. ролю. Адна з характэрных задач прыбліжэння функцый — задача інтэрпалявання, г.зн. пабудова для зададзенай функцыі $𝑓\text{(}t\text{)}$ прыбліжанай функцыі ${𝑓}_n\text{(}t\text{)}$, якая супадае з $𝑓\text{(}t\text{)}$ у фіксаваных вузлах t₁, t₂, ..., t_n. У тэорыі прыбліжэння функцый сапраўднага (а пазней і камплекснага) пераменнага распрацоўваліся метады прыбліжэння функцый аднаго класа функцыямі інш. класаў, а таксама вывучаліся пытанні збежнасці і ацэнак прыбліжэнняў. Найб. пашыраныя задачы вылічальнай матэматыкі — задачы алгебры [рашэнне сістэм лінейных алгебраічных ураўненняў, вылічэнне вызначнікаў (дэтэрмінантаў) і адваротных матрыц, знаходжанне ўласных вектараў і ўласных значэнняў матрыц, вызначэнне каранёў мнагачленаў]. У задачы прыбліжанага рашэння сістэмы лінейных ураўненняў A_x=b, дзе A — квадратная матрыца, x і b — вектары-калонкі, часта выкарыстоўваюцца ітэрацыйныя метады. Многія ітэрацыйныя метады рашэння гэтай сістэмы маюць выгляд ${\displaystyle x^k=x^{k-1}+B_k\text{(}b-A{x}^{k-1}\text{)}}$ , дзе ${\displaystyle B_k\text{(}k=\mathrm{1,\; 2,\; ...}\text{)}}$ — некаторая паслядоўнасць матрыц, x° — пачатковае прыбліжэнне, часам адвольнае. Розны выбар матрыц B_k дае розныя ітэрацыйныя працэсы. Значную частку вылічальнай матэматыкі складаюць прыбліжаныя і лікавыя метады рашэння звычайных дыферэнцыяльных ураўненняў, дыферэнцыяльных ураўненняў у частковых вытворных, інтэгральных ураўненняў, інтэгра-дыферэнцыяльных ураўненняў, вылічальныя метады варыяцыйнага злічэння, аптымальнага кіравання, задач стахастычнага аналізу і інш. З’яўленне вылічальных машын значна расшырыла кола задач і стымулявала далейшую распрацоўку метадаў вылічальнай матэматыкі з улікам магчымасцей вылічальных машын, у прыватнасці распрацоўкі спец. алгарытмаў, арыентаваных на паралельную рэалізацыю.

На Беларусі даследаванні па ўсіх асн. кірунках вылічальнай матэматыкі і падрыхтоўкі навук. кадраў пачаліся з 1950-х г. у АН і БДУ пад кіраўніцтвам акад. У.​І.​Крылова; асобныя пытанні вылічальнай матэматыкі распрацоўваліся і раней.

Літ.:

Березин И.С., Жидков Н.П. Методы вычислений. Т. 1. 3 изд. М., 1966;

Т. 2. 2 изд. М., 1962;

Канторович Л.В., Крылов В.И. Приближенные методы высшего анализа. 5 изд. М.; Л., 1962;

Крылов В.И. Приближенное вычисление интегралов. 2 изд. М., 1967;

Крылов В.И., Скобля Н.С. Справочная книга по численному обращению преобразования Лапласа. Мн., 1968;

Турецкий А.Х. Теория интерполирования в задачах. Мн., 1968;

Фаддеев Д.К., Фаддеева В.Н. Вычислительные методы линейной алгебры. 2 изд. М.; Л., 1963;

Янович Л.А. Приближенное вычисление континуальных интегралов по гауссовым мерам. Мн., 1976.

Л.​А.​Яновіч.

т. 4, с. 311

МЕТРАЛО́ГІЯ ГІСТАРЫ́ЧНАЯ,

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

Распрацоўка М.г. у Зах. Еўропе пачалася з трактатаў юрыстаў і купцоў 14—15 ст., у якіх сістэматызаваліся звесткі пра меры для патрэб гандлю. У трактатах землямераў выкладаліся спосабы вымярэння даўжыні і паверхні («Кульмская геаметрыя»). У 16 ст. з’явіліся матэм. працы па метралогіі («Майстэрскае лічэнне» К.​Рудольфа). Уласна М.г. прысвечана праца Г.​Агрыкалы «Пяць кніг пра меры і вагі рымлян і грэкаў» (1550). У цяперашні час дзейнічае міжнар. камісія па М.г., з 1975 склікаюцца кангрэсы па гэтай навуцы.

На Беларусі метралагічныя працы з’явіліся ў 16 ст. ў сувязі з правядзеннем валочнай памеры. У 18 ст. пытанні М.г. распрацоўвалі гісторыкі Ф.​Ф.​Лойка, Т.​Чацкі, С.​Богуш-Сестранцэвіч. З прыняццем у канцы 18 ст. ў Францыі метрычнай сістэмы мер і паступовым яе пашырэннем па еўрап. краінах з’явілася патрэба ў суаднясенні даўніх мер Рэчы Паспалітай з новымі. Гэтаму прысвечаны працы А.​Сапегі «Табліцы суадносін новых французскіх мер і вагі з літоўскімі і польскімі» (1802) і А.​Хадкевіча «Табліцы суадносін даўніх мер і вагі французскіх і каронна-літоўска-польскіх з мерамі і вагамі новымі і прынятымі ў Францыі» (1811). У 19 ст. М.г. Рэчы Паспалітай распрацоўвалі І.​Лялевель, Ф.​Пекасінскі. У канцы 19 — пач. 20 ст. меры феад. Беларусі вывучалі А.​М.​Семянтоўскі, М.​В.​Доўнар-Запольскі, У.​І.​Пічэта. Пытанням бел. М.г. прысвечаны працы Дз.​Л.​Пахілевіча, З.​Ю.​Капыскага, П.​Р.​Казлоўскага, А.​П.​Грыцкевіча, Я.​К.​Анішчанкі, Л.​А.​Малчанавай, К.​У.​Скурата, польскіх даследчыкаў Л.​Калянкоўскага, У.​Пацехі, Р.​Мяніцкага, В.​Кулі, С.​Александровіча, Г.​Дунін-Вансовіч, Я.​Юркевіча. Важныя працы па стараж.-рус. і рас. феад. метралогіі належаць П.​Р.​Буткову, Дз.​І.​Празароўскаму, Ф.​І.​Петрушэўскаму, А.​І.​Нікіціну, І.​І.​Каўфману, Л.​У.​Чарапніну, В.​Л.​Яніну, Б.​А.​Рыбакову, А.​І.​Каменцавай, М.​А.​Шасцьіну, І.​Э.​Клейненбергу.

Даўнія бел. меры. Меры даўжыні. Міля = 5 вёрст; вярста = 798 сажняў = 1559,7 м; вярста вялікая = 1000 сажняў = 1948,8 м; сажань = 194,88 см; шнур = 75 локцяў = 10 прутоў (прэнтаў) = 100 прэнцікаў = 48,7 м; локаць = 64,96 см; стапа = 12 цаляў = 32,5 см; цаля = 2,7 см; гоні (гон) = 80—100 м. Меры плошчы. Валока = 30 маргоў = 9000 кв. прутоў = 67 500 кв. локцяў = 21,36 га; морг = 3 кв. шнуры = 0,71 га; шнур = 100 кв. прутоў = 0,237 га; прэнцік = 0,237 м Меры аб’ёму. Бочка віленская = 4 чвэрці = 8 асьмін = 72 вялікія гарцы = 144 малыя гарцы = 406,7 л (для сыпкіх рэчываў) і 406,54 л (для вадкасці); гарнец малы (шынковы) = 2,8237 л; гарнец вялікі (цэхавы) = 5,6474 л; чвэрць (карэц) = ​¹/₄ бочкі = 2 асьміны = 36 гарцаў = 102 л; кварта = ​¹/₄ гарца = 0,7057 л; мядніца = 12 гарцаў = 33,84 л. Меры масы (вагі). Беркавец = 5 камянёў = 200 фунтаў = 74,96 кг; камень = 40 фунтаў = 14,993 кг; фунт = 32 лоты = 374,8 г; пуд = 40—50 фунтаў; бязмен = 5—6 фунтаў = 1,87—2,24 кг; кантар = 100 фунтаў 37,48 кг; грыўна = 195,5 г. Адзінкі лічэння. Капа = 60; саха (валы, нарогі для сох) = 2; пасма (у ткацтве) = 30 нітак; лібра = 25 аркушаў паперы; рэз = 20 лібраў = 500 аркушаў паперы; тузін = 12; фаска = 500. У розных мясцовасцях Беларусі ў розныя часы існавалі свае меры, якія адрозніваліся ад вышэй названых.

Літ.:

Скурат К.У. Даўнія беларускія меры (лексічны аналіз). Мн., 1974;

Каменцева Е.И. Историческая метрология. М., 1978.

В.​С.​Пазднякоў.

т. 10, с. 313

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

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