Verbum

МУСХЕЛІШВІ́ЛІ (Мікалай Іванавіч) (16.2.1891, Тбілісі — 15.7.1976),

грузінскі матэматык і механік, стваральнік тбіліскай матэм. школы. Акад. АН СССР (1939) і АН Груз. ССР (1941). З 1941 прэзідэнт, з 1972 ганаровы прэзідэнт АН Груз. ССР. Герой Сац. Працы (1945). Скончыў Пецярбургскі ун-т (1914). З 1941 дырэктар Тбіліскага матэм. ін-та АН Груз. ССР. Навук. працы па тэорыі пругкасці, інтэгральных ураўненнях, гранічных задачах тэорыі аналіт. функцый. Адным з першых пачаў выкарыстоўваць тэорыю функцый камплекснай пераменнай да задач тэорыі пругкасці. Дзярж. прэміі СССР 1941, 1947. Залаты медаль імя М.​В.​Ламаносава АН СССР 1972.

Літ.:

Н.​И.​Мусхелишвили. М., 1967.

т. 11, с. 40

НЕРВІ́ЗМ,

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

А.​С.​Леанцюк.

т. 11, с. 291

РАДЫ́НА (Якаў Валянцінавіч) (н. 1.12.1946, в. Брылькі Валожынскага р-на Мінскай вобл.),

бел. матэматык. Д-р фіз.-матэм. н. (1987), праф. (1988). Скончыў БДУ (1969), дзе і працуе (з 1975 заг. кафедры). Навук. працы па функцыянальным аналізе, дыферэнцыяльна-аператарных ураўненнях і тэорыі абагульненых функцый. Пабудаваў функцыянальнае злічэнне і даў яго дастасаванні, распрацаваў (разам з А.Б.Антаневічам) тэорыю нелінейных абагульненых функцый. Адзін з аўтараў «Руска-беларускага матэматычнага слоўніка» (1993). Прэмія Ленінскага камсамола Беларусі 1978. Дзярж. прэмія Беларусі 1996.

Тв.:

Линейные уравнения и борнология. Мн., 1982;

Функциональный анализ и интегральные уравнения. Мн., 1984 (разам з А.​Б.​Антаневічам).

П.​М.​Бараноўскі.

т. 13, с. 239

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

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