Verbum

ЛІТО́ЎСКАЯ НАЦЫЯНА́ЛЬНАЯ БІБЛІЯТЭ́КА імя Марцінаса Мажвідаса.

Засн. ў 1919 на базе Віленскай гар. публічнай б-кі. Пасля акупацыі Вільні Польшчай (1919—39) пераведзена ў г. Каўнас. У 1940 атрымала статус дзярж. б-кі. З 1963 у Вільні. З 1989 сучасная назва. Асн. кніжны фонд налічвае больш за 9 млн. адзінак (1998) на літ. і замежных мовах, у т. л. 57 тыс. экз. рукапісаў, каля 30 тыс. экз. рэдкіх кніг і старадрукаў (выданні ант. аўтараў, кнігі М.Лютэра, Э.Ратэрдамскага і інш.), каля 6 млн. экз. кніг і перыёдыкі, больш за 100 тыс. мікраформ, больш за 2 млн. экз. інш. матэрыялаў (жывапіс, ноты, карты, атласы і інш.); мае калекцыю літуаністыкі (больш за 800 тыс. адзінак), у т. л. «Катэхізіс» у перакладзе М.Даўкшы (1595), калекцыю бел. кніг і перыёдыкі, надрукаваных у розныя часы ў Вільні, выданні ВКЛ на лац., ням., польск., бел. і рус. мовах. Штогод фонды павялічваюцца. Абменьваецца навук. л-рай з б-камі і ўстановамі замежных краін, захоўвае літ. рукапісную і друкаваную спадчыну, вядзе н.-д., выдавецкую і метадалаг. работу; мае аўтаматызаваную інфарм. бібліятэчную сістэму, электронны каталог літ. кнігі, інфарм. цэнтр і г.д. З 1992 б-ка з’яўляецца дэпазітарыем Еўрапейскага супольніцтва. Пры б-цы створаны Цэнтр бібліяграфіі і кнігазнаўства (б. Літ. кніжная палата).

Літ.:

Lietuvos nacionalinė Martyno Mažvydo biblioteka. Vilnius, 1993.

І.І.Курбатава.

т. 9, с. 316

МО́МАНТ І́МПУЛЬСУ,

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

М.і. матэрыяльнага пункта з імпульсамі $\overrightarrow{r}$ адносна цэнтра (полюса) O роўны вектарнаму здабытку: ${\displaystyle \overrightarrow{L}=\overrightarrow{r}\times \overrightarrow{p}}$ , дзе $\overrightarrow{r}$ — радыус-вектар пункта, праведзены з цэнтра O. Для сістэмы n такіх пунктаў і адносна восі вярчэння выражаецца таксама праз вуглавую скорасць $\overrightarrow{\mathrm{\omega }}$ і момант інерцыі I дадзенай сістэмы (напр., цвёрдага цела) адносна гэтай восі: ${\displaystyle \overrightarrow{L}=I\overrightarrow{\mathrm{\omega }}}$ . Змены М.і. сістэмы цел адбываюцца пад уздзеяннем толькі знешніх сіл і залежаць ад іх моманту $\overrightarrow{M}$ (гл. Момант сілы). З 2-га закону Ньютана (гл. Ньютана законы механікі) вынікае ${\displaystyle d\overrightarrow{L}/dt=\overrightarrow{M}}$ . Калі ${\displaystyle \overrightarrow{M}=\overrightarrow{0}}$ будзе пастаянным і мае месца закон захавання М.і. (гл. Захавання законы). Роўнасць ${\displaystyle \overrightarrow{M}=0}$ мае таксама месца пры руху пункта (цела) ў полі цэнтральных сіл, пры гэтым яго рух падпарадкоўваецца закону плошчаў (гл. Кеплера законы), што выкарыстоўваецца ў нябеснай механіцы, тэорыі руху ШСЗ, касм. лятальных апаратаў і інш. Большасці элементарных часціц уласцівы ўласны, унутраны М.і. (гл. Спін). Адзінка М.і. ў СІ — кілаграм-метр у квадраце за секунду.

т. 10, с. 516

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

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