Verbum

ПАРАДЫ́ГМА ў мовазнаўстве,

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

Літ.:

Кубрякова Е.С., Соболева П.А. О понятии парадигмы в формообразовании и словообразовании // Лингвистика и поэтика. М., 1979.

А.​Я.​Міхневіч.

т. 12, с. 83

ПРАЕКТЫ́ЎНЫХ АПЕРА́ТАРАЎ МЕ́ТАД у тэорыі элементарных часціц,

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

Літ.:

Федоров Ф.И. Группа Лоренца. М., 1979;

Богуш А.А., Мороз Л.Г. Введение в теорию классических полей. Мп.,1968.

А.​А.​Богуш.

т. 12, с. 541

РОД у мовазнаўстве,

граматычная катэгорыя, якая з’яўляецца адной з важнейшых класіфікацыйных адзнак назоўнікаў і сродкам выражэння прадметнасці іх значэння.

У сучаснай бел. мове кожны назоўнік належыць да аднаго з трох Р.: мужчынскага, жаночага або ніякага, акрамя тых, што ўжываюцца толькі ў мн. л. («граблі», «канікулы»; іх або не адносяць ні да якога Р., або да своеасаблівага «парнага» Р.). Частка адушаўлёных назоўнікаў, якія могуць абазначаць асоб. і мужчынскага, і жаночага полу, адносіцца да т.зв. агульнага Р. («суддзя», «запявала»). Некат. назоўнікі выражаюць значэнні мужчынскага і жаночага Р. адной родавай формай («таварыш», «аграном»), Р. нязменных (нескланяльных) назоўнікаў іншамоўнага паходжання вызначаецца сінтаксічна — формамі дапасаваных азначэнняў («наш аташэ», «наша інжэню»). Прыметнікі, некат. лічэбнікі і займеннікі, дзеясловы, дзеепрыметнікі набываюць родавыя адрозненні ў дапасаванні да назоўнікаў («хрусталёвая люстра», «сваё амплуа»).

Літ.:

Беларуская граматыка. Ч. 1. Мн., 1985.

А.​І.​Наркевіч.

т. 13, с. 393

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

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