Verbum

ГО́РСКІ (Станіслаў Батыс) (6.5.1802, в. Дварэц Камянецкага р-на Брэсцкай вобл. — 3.5.1864),

бел. батанік-фларыст, медык, педагог. Скончыў Віленскі ун-т (1825). У 1829—32 заг. бат. саду Віленскага ун-та, у 1832—42 ад’юнкт, праф. Віленскай мед.-хірург. акадэміі. У 1842—47 жыў у Паставах, займаўся батанікай і энтамалогіяй, працаваў з арнітолагам К.Тызенгаўзам. Некаторы час жыў за мяжой, працаваў у музеях і б-ках Берліна. Горскі адзін з першых даследчыкаў флоры Белавежскай пушчы. Склаў пералік сабраных ім у 1820—29 насенных раслін (1830), каталог раслін бат. саду Віленскай мед.-хірург. акадэміі (1834), табліцы з малюнкамі 20 відаў раслін (выдадзены ў 1849), меў цесныя сувязі з батанікамі Еўропы, забяспечваў гербарыямі і ўзорамі расліннасці Беларусі і Літвы вучоных-прыродазнаўцаў Вены, Неапаля, Палерма, Жэневы, Падуі, Фларэнцыі. Імем Горскага названы некат. віды раслін і насякомых.

т. 5, с. 366

А́ТЛАС ГЕАГРАФІ́ЧНЫ,

сістэматызаваны збор геаграфічных картаў. Аб’яднаны агульнай назвай, выкананы па адзінай праграме сродкамі картаграфічнага адлюстравання ў форме цэласнага картаграфічнага твора. Назва дадзена фламандскім картографам Г.Меркатарам (збор картаў; 1595) у гонар Атласа, міфічнага караля Лівіі. Класіфікуюць атласы па тэр. ахопе — атласы геаграфічныя свету, асобных кантынентаў ці буйных частак, краін, асобных абласцей, правінцый і раёнаў, атласы гарадоў; па змесце — агульнагеаграфічныя, тэматычныя (геал., кліматычныя, сельскай гаспадаркі, прам-сці і г.д.); па прызначэнні — навукова-даведачныя, краязнаўчыя, вучэбныя, ваенныя, турысцкія, дарожныя і інш.; па фармаце — настольныя (сумарная пл. больш за 15 м²), сярэднефарматныя (пл. ад 6 да 14 м²), кішэнныя (пл. не больш за 5 м²). Атласы геаграфічныя могуць уключаць тэксты, табліцы, даведачна-статыстычныя звесткі. Першы сістэматызаваны збор картаў склаў стараж.-грэч. географ К.Пталамей (2 ст. нашай эры). Атлас «Беларуская Савецкая Сацыялістычная Рэспубліка» выдадзены ў 1958, вучэбны атлас — у 1990 (атлас «Беларуская ССР»).

А.В.Саломка.

т. 2, с. 74

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

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

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

т. 10, с. 137

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

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

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

Літ.:

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

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

У.М.Сацута.

т. 11, с. 90

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

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

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

М.П.Савік.

т. 6, с. 531

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

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

Распрацоўка М.г. у Зах. Еўропе пачалася з трактатаў юрыстаў і купцоў 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

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

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

Узнікненне вылічальнай матэматыкі звязана з неабходнасцю рашэння асобных задач (вымярэнне адлегласцей, плошчаў, аб’ёмаў і інш.). Развіццё навукі, асабліва астраноміі і механікі, спрыяла развіццю матэматыкі ўвогуле і вылічальнай матэматыкі ў прыватнасці. Складаліся табліцы эмпірычна знойдзеных залежнасцей, што прывяло да ўзнікнення паняцця функцыі і задачы інтэрпалявання (гл. Інтэрпаляцыя). Поспехі вылічальнай матэматыкі звязаны з імёнамі І.Ньютана, Л.Эйлера, М.І.Лабачэўскага, К.Ф.Гаўса, П.Л.Чабышова, С.А.Чаплыгіна, А.М.Крылова, А.М.Ціханава, А.А.Самарскага, У.І.Крылова, Л.В.Кантаровіча і інш. Многія задачы вылічальнай матэматыкі можна запісаць у выглядзе y=Ax, дзе x і y належаць зададзеным мноствам X і Y, A — некаторы аператар. Для рашэння задачы трэба знайсці у па зададзеным х ці наадварот. У вылічальнай матэматыцы гэта задача рашаецца заменай мностваў X, Y і аператара A (ці толькі некаторых з іх) іншымі, зручнымі для вылічэнняў. Замена робіцца так, каб рашэнне новай задачы y=Bx было ў нейкім сэнсе блізкім да рашэння першапачатковай задачы. Напр., калі ў якасці Ax узяць інтэграл ${\int }_{\mathrm{a}}^{\mathrm{b}}x\text{(}t\text{)}dt$ , то прыбліжанае значэнне яго ў многіх выпадках можна вылічыць паводле т.зв. квадратурнай формулы ${\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 — вектары-калонкі, часта выкарыстоўваюцца ітэрацыйныя метады. Многія ітэрацыйныя метады рашэння гэтай сістэмы маюць выгляд $x^k=x^{k-1}+B_k\text{(}b-A{x}^{k-1}\text{)}$ , дзе $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

БУКВА́Р,

азбука, падручнік для пач. навучання чытанню і пісьму. Прызначаны для выхавання дзяцей, развіцця іх мовы і лагічнага мыслення. Традыцыйна з’яўляецца крыніцай першых звестак пра краіну, народ, яго культуру. Уключае матэрыял, які фарміруе ў выхаванцаў нормы паводзін і ўзаемаадносін паміж старэйшымі і малодшымі. Асн. структурны склад буквара — літары, літараспалучэнні, склады, лічбы, граматычныя звесткі, павучанні, тэкставыя і ілюстрацыйныя матэрыялы, схемы, табліцы. Навуч.-выхаваўчую работу з букваром звычайна падзяляюць на 3 перыяды: падрыхтоўчы, букварны і паслябукварны.

Доўгі час грамату асвойвалі па царк. кнігах (псалтырах, часаслоўцах, апосталах). З 16 ст. пачалі ствараць і выдаваць спец. дапаможнікі. Першы друкаваны буквар на царк.-слав. мове ў рус. рэдакцыі — «Азбука» І.Фёдарава (Львоў, 1574). На Беларусі адзін з першых буквароў выдалі ў 1593 у Вільні браты Л. і К.Мамонічы. У 1596 у Вільні выйшаў буквар Л.Зізанія. Па іх вучыліся чытаць і пісаць на Беларусі, Украіне, у Расіі і Літве. З 1590-х г. да 1653 на Беларусі выйшла 16 буквароў — больш за палавіну падобных выданняў на ўсх.-слав. землях. Тэрмін «Азбука» ў загалоўку кнігі ўпершыню з’явіўся ў віленскім (1596), «Буквар» — у еўеўскім (1618) брацкіх выданнях. У 17—19 ст. буквары друкавалі ў Вільні, Куцейне, Магілёве, Супраслі, Варшаве. У 1906 выдадзены «Беларускі лемантар, або Першая навука чытання» (ананімна) і «Першае чытанне для дзетак-беларусаў» Цёткі. Пасля Кастр. рэвалюцыі 1917 побач з вучэбнымі дапаможнікамі для дзяцей у БССР друкаваліся буквары для лікбеза «Наша сіла — ніва ды машына: Лемантар для дарослых» М.Байкова, С.Некрашэвіча, М.Багдановіча, 1925; «Наша сіла — Саюз. Лемантар для сельскагаспадарчых і лясных рабочых», 1926 і інш. Беларускія буквары выдавалі таксама А.Федасенка, М.Пігулеўскі і І.Пісарчык, С.Паўловіч і інш. У 1929—69 карысталіся букваром, складзеным Н.Сіўко (1929—32 з Л.Лукіной, 1937—41 з З.Ліхачовай). З 1969 выйшла 18 выданняў буквара А.Клышкі, у т. л. «Разразная азбука».

Літ.:

Голенченко Г.Я. Источники по истории белорусской культуры: (Старопечатные учебные книги XVI—первой половины XVII вв.) // Из истории книги в Белоруссии. Мн., 1979;

Ботвинник М. Откуда есть пошел букварь. Мн., 1983.

т. 3, с. 324

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

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

БІБЛІЯГРА́ФІЯ (ад грэч. biblion кніга + ...графія),

1) галіна навукова-практычнай дзейнасці па падрыхтоўцы і апісанні інфармацыі пра творы друку і пісьменства, а таксама па распрацоўцы прынцыпаў і метадаў выкарыстання гэтай інфармацыі.

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

Зарадзілася ў стараж. часы. Вядомы бібліягр. табліцы, складзеныя пад кіраўніцтвам грэка Калімаха ў Александрыйскай бібліятэцы (3 ст. да н. э.). У Еўропе першая друкаваная бібліягр. праца — «Кніга пра царкоўных пісьменнікаў» І.Трытэнхеймскага (1494). Найб. значнай працай у 16 ст. была «Усеагульная бібліятэка» швейцарскага вучонага К.Геснера (т. 1—4, 1545—55). Самы даўні стараж.-рускі бібліягр. помнік — арт. «Богословъца от словес» у «І зборніку Святаслава» (1073).

На сучасным этапе адрозніваюць бібліяграфію: дзяржаўную, або нацыянальную (рэгістрыруе творы друку і аўдыёвізуальныя матэрыялы, выдадзеныя на тэрыторыі пэўнай краіны, і інфармуе аб іх грамадскасць); навукова-дапаможную (садзейнічае навук. і прафесійна-вытв. дзейнасці); рэкамендацыйную (садзейнічае агульнай і прафес. адукацыі, самаадукацыі, выхаванню і папулярызацыі ведаў); універсальную (адлюстроўвае дакументы паводле фармальных прыкмет — тыпалагічных, храналагічных, моўных); галіновую (адлюстроўвае дакументы пэўнай галіны ведаў ці практычнай дзейнасці); краязнаўчую (пашырае інфармацыю, звязаную зместам з пэўнай мясцовасцю ў краіне); бягучую (рыхтуе і распаўсюджвае інфармацыю пра новыя творы друку); рэтраспектыўную (рыхтуе і распаўсюджвае інфармацыю пра дакументныя масівы за пэўны прамежак часу). З сярэдзіны 20 ст. уніфікуюцца метады апрацоўкі бібліяграфіі, аўтаматызуецца тэхніка іх складання, ствараюцца інфарм. сістэмы, якія каардынуюцца міжнар. арг-цыямі (ЮНЕСКА, Міжнар. федэрацыя бібліятэчных т-ваў і інш.).

На Беларусі бібліягр. дзейнасцю займаюцца Нацыянальная кніжная палата (з 1978 выдае штогод паказальнік «Бібліяграфічных дапаможнікаў Беларусі»), Бібліятэка нацыянальная Беларусі, Бібліятэка цэнтральная навуковая імя Я.Коласа АН Беларусі, Бібліятэка прэзідэнцкая, Бібліятэка навукова-тэхнічная рэспубліканская, Бібліятэка навукова-медыцынская рэспубліканская, Бібліятэка навукова-педагагічная рэспубліканская, Бібліятэка беларуская сельскагаспадарчая і інш., а таксама б-кі ВНУ, абласныя навук. б-кі, органы навукова-тэхн. інфармацыі. Значны ўклад у развіццё бел. бібліяграфіі зрабілі Ю.І.Бібіла, А.Дз.Васілеўская, Н.Б.Ватацы, Л.І.Збралевіч, М.В.Іваноў, В.Е.Лявончыкаў, А.А.Сакольчык, І.Б.Сіманоўскі, М.Ц.Талкачоў, В.А.Факееў і інш.

Літ.:

Здобнов Н.В. История русской библиографии до начала XX в. 3 изд. М., 1955;

Симановский И.Б. Белорусская советская библиография. Ч. 1. Мн., 1965;

Отраслевые библиографии БССР. Мн., 1979;

Симон К.Р. История иностранной библиографии. М., 1963.

т. 3, с. 141