Verbum

ГІСТАЛАГІ́ЧНАЯ НАМЕНКЛАТУ́РА,

міжнародны класіфікаваны пералік тэрмінаў, якія выкарыстоўваюць у гісталогіі. Прынята на 9-м міжнар. кангрэсе анатамаў у г. Ленінград (1970) на лац., англ. і рус. мовах. Кожнай краіне дадзена права ствараць гісталагічную наменклатуру на нац. мове з улікам перакладу лац. тэрмінаў. Праект Бел. гісталагічнай наменклатуры падрыхтаваны ў 1991 паводле сістэматычнага прынцыпу на бел., лац. і рус. мовах і ўключае 2846 тэрмінаў па цыталогіі, агульнай і прыватнай гісталогіі. Зацверджаны на 2-м з’ездзе анатамаў, гістолагаў і эмбрыёлагаў Беларусі (1991).

т. 5, с. 265

МНО́СТВА ў матэматыцы,

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

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

т. 10, с. 502

ГРАМАТЫ́ЧНЫ СЛО́ЎНІК,

1) аспектны даведнік, асноўнай мэтай якога з’яўляецца апісанне граматычных (фармальных і зместавых) уласцівасцей рознаўзроўневых моўных адзінак. Падзяляюцца на наступныя тыпы. Марфемныя слоўнікі падаюць марфемную будову слоў («Марфемны слоўнік беларускай мовы» А.​М.​Бардовіча, Л.​М.​Шакуна, 2 выд., Мн., 1989); змяшчаюць вычарпальны пералік марфем, уласцівых пэўнай мове («Слоўнік марфем рускай мовы» А.​І.​Кузняцовай, Т.​Ф.​Яфрэмавай, М., 1986); адлюстроўваюць прадуктыўнасць (частотнасць) марфем і іх спалучальнасць («Марфемная дыстрыбуцыя ў беларускай мове: Дзеяслоў» В.​У.​Мартынава, П.​П.​Шубы, М.​І.​Ярмаш, Мн., 1967). Лексічныя даведнікі граматычнага характару апісваюць словы пэўных часцін мовы з паказам семантычных і грамат. адносін паміж рознымі формамі аднаго і таго ж рэестравага слова («Рускі дзеяслоў і яго дзеепрыметныя формы: Тлумачальна-граматычны слоўнік» І.​К.​Сазонавай, М., 1989); тлумачаць словы службовых часцін мовы шляхам падачы да кожнага рэестравага слова пераліку агульных семантыка-сінтаксічных функцый, якія выконваюцца гэтым словам у сказе («Тлумачальны слоўнік беларускіх прыназоўнікаў» П.​П.​Шубы, Мн., 1993). Сінтаксічныя слоўнікі змяшчаюць пералік сінтаксем пэўнай мовы з тэкставымі ілюстрацыямі да іх («Сінтаксічны слоўнік: Рэпертуар элементарных адзінак рускага сінтаксісу» Г.​А.​Золатавай, М., 1988). Стылістычныя даведнікі граматычнага характару падаюць пералік і частотнасць грамат. варыянтаў слоў і словазлучэнняў («Граматычная правільнасць рускага маўлення. Спроба частотна-стылістычнага слоўніка варыянтаў» Л.​К.​Граўдзінай, В.​А.​Іцковіча, Л.​П.​Катлінскай, М., 1976); тлумачаць і ілюструюць прыкладамі з тэкстаў адрозненні паміж варыянтнымі сінтаксічнымі канструкцыямі з аднолькавым апорным словам («Кіраванне ў беларускай і рускай мовах: Слоўнік-даведнік» Г.​У.​Арашонкавай, В.​П.​Лемцюговай, Мн., 1991). Граматычны слоўнік ўсіх тыпаў падаюць рэестравыя адзінкі ў прамым алфавітным парадку.

2) Аспектны даведнік па словазмяненні пэўнай мовы, у якім рэестравыя словы падаюцца ў адваротным алфавітным парадку (гл. Адваротны слоўнік), што дазваляе змяшчаць побач вял. масівы слоў з аднолькавым ці падобным тыпам словазмянення; да кожнага рэестравага слова змяшчаецца поўны набор звестак аб словазмяняльных формах («Граматычны слоўнік рускай мовы. Словазмяненне» А.​А.​Залізняка, 3 выд., М., 1987).

В.​К.​Шчэрбін.

т. 5, с. 402

АСАРТЫМЕ́НТ (франц. assortiment),

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

т. 2, с. 21

ЛО́ГІКА ПРЭДЫКА́ТАЎ, функцыянальная логіка,

раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж выказваннямі з улікам іх унутранай (суб’ектна-прэдыкатнай) структуры; пашыраны варыянт логікі выказванняў. Прадметам даследавання з’яўляецца любая галіна аб’ектаў з дадзенымі на гэтых аб’ектах прэдыкатамі, г. зн. уласцівасцямі і адносінамі. У выніку фармалізацыі Л.п. прымае выгляд розных злічэнняў (напр., злічэнне выказванняў). Пры аналізе ўплыву на лагічны вывад унутр. структуры выказванняў прэдыкаты разглядаюцца як функцыі, значэннямі якіх служаць выказванні. У дапаўненне да сімвалічных сродкаў логікі выказванняў у мову Л.п. уведзены лагічныя знакі — аператары ∀ («для ўсіх») і ∃ («для некаторых», існуе... такое, што...»), якія адпаведна наз. квантарамі агульнасці і існавання. Для выяўлення структуры выказванняў уводзіцца бясконцы пералік індывідных пераменных x, y, z ... x​¹, y​¹, z​¹, .... якія ўяўляюць сабой розныя аб’екты, і бясконцы пералік прэдыкатных пераменных P, Q, R, ..., P​¹, Q​¹, R​¹ ..., якія ўяўляюць сабой уласцівасці і адносіны аб’ектаў. Запіс (∀x)P(x) азначае «Усякі x валодае ўласцівасцю P»; (∃x)P(x) — «некаторыя x валодаюць уласцівасцю P» і (∃xQ(xy) — «існуе x, які знаходзіцца ў адносінах Q з y» і да т.п. Квантары могуць звязваць у формулах індывідныя (звязаныя) пераменныя. Індывідныя пераменныя, не звязаныя ў формуле квантарамі, наз. свабоднымі. Так, ва ўсіх трох прыведзеных формулах пераменная х звязаная, у апошняй формуле пераменная у свабодная. Звязаныя пераменныя наз. фіктыўнымі. Формулы, якія прымаюць значэнне «ісціна» ў кожнай інтэрпрэтацыі, наз. агульназначнымі. Існуюць таксама некласічныя Л.п., якія прапануюць іншыя тлумачэнні лагічных звязак і квантара.

Літ.:

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

Жуков Н.И. Философские основания математики. 2 изд. Мн. 1990.

С.​Ф.​Дубянецкі.

т. 9, с. 335