разва́га, ‑і, ДМ ‑вазе, ж.

1. Дзеянне паводле знач. дзеясл. разважаць ​1 і разважыць ​2; роздум. Раздумаў, разважыў Мікітка — Развагам навучыць бяда. Колас.

2. Думка, меркаванне, вывад, якія з’явіліся ў выніку роздуму, разважання. Я сяджу ў кабінеце, слухаю цікавыя развагі пра людзей і часам нібы нават бачу іх перад сабою. Кулакоўскі. Рэшту сала .. [брат] палажыў у кішэню з развагаю: — А гэта я занясу дадому Марыльцы. Чорны.

3. Тое, што і разважлівасць. Траціць развагу. □ Цвёрдая воля і здаровая развага [Бумажкова] адразу выявілася ў тым, што атрад стаў у першыя ж дні свае дзейнасці на самыя важныя ўчасткі. Чорны. [Кастусь] любіў са старэчаю развагаю гутарыць пра народнае жыццё і сялянскую долю. С. Александровіч.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

заключа́ть несов.

1. (в тюрьму и т. п.) саджа́ць; зняво́льваць;

заключа́ть в кре́пость саджа́ць у крэ́пасць;

2. (делать выводы) рабі́ць вы́вад, выво́дзіць;

я заключа́ю э́то из ва́ших слов я раблю́ вы́вад аб гэ́тым (я выво́джу гэ́та) з ва́шых слоў;

3. (оканчивать) канча́ць;

4. (договор, мир и т. п.) заключа́ць;

5. (содержать в себе) змяшча́ць;

заключа́ть в себе́ змяшча́ць у сабе́;

◊

заключа́ть в объя́тия абніма́ць;

заключа́ть брак браць шлюб;

заключа́ть в кавы́чки, в ско́бки браць у двуко́ссе, у ду́жкі;

заключа́ть под стра́жу браць пад ва́рту;

Руска-беларускі слоўнік НАН Беларусі, 10-е выданне (2012, актуальны правапіс)

сказа́ць, скажу́, ска́жаш, ска́жа; скажы́; ска́заны; зак.

1. гл. гаварыць.

2. з інф. Распарадзіцца, загадаць.

Мне сказалі падрыхтаваць ілюстрацыйны матэрыял да тэмы.

Мама сказала сыну хутчэй бегчы дадому.

3. (звычайна з адмоўем). Зрабіць вывад, падумаць.

Па тваім адзенні не скажаш, што бедна жывеш.

4. у форме 1 ас. мн. буд. ска́жам ужыв. таксама як пабочн. сл. Напрыклад (разм.).

Скажам, заўтра я не змагу пайсці ў бібліятэку.

5. заг. скажы́(це). Вокліч, які служыць для выражэння здзіўлення, абурэння і пад. з прычыны чаго-н.

Скажыце, які ты спрытны!

6. у форме 2 і 3 ас. буд. ска́жаш (ска́жаце), ска́жа (ска́жуць). Вокліч з асобай інтанацыяй, ужыв. для выражэння нязгоды, недавер’я.

Схадзі ў лес па ягады! — Скажаш жа! — Куды ёй у лес!

◊

Скажы(це), калі ласка — ветлівы зварот пры запытанні аб чым-н.

Скажыце, калі ласка, куды вядзе гэта дарога?

Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)

заключе́ние ср.

1. (в тюрьму и т. п.) зняво́ленне, -ння ср.; (неоконч. действие) зняво́льванне, -ння ср.;

2. (вывод) вы́вад, -ду м.; заключэ́нне, -ння ср.;

3. (конец) заканчэ́нне, -ння ср.;

4. (договора, мира и т. п.) заключэ́нне, -ння ср.;

◊

в заключе́ние у заключэ́нне, на заканчэ́нне;

Руска-беларускі слоўнік НАН Беларусі, 10-е выданне (2012, актуальны правапіс)

судзі́ць, суджу́, су́дзіш, су́дзіць; су́джаны; незак.

1. аб кім-чым, пра каго-што, па кім-чым і без дап. Рабіць вывад адносна каго-, чаго-н.; меркаваць пра каго-, што-н., думаць, разважаць.

С. аб літаратуры.

С. пра каго-н. па рабоце.

2. каго-што. Разглядаць чыю-н. справу ў судовым парадку, а таксама ў таварыскім судзе.

С. злодзея.

3. каго-што, пра каго-што. Ацэньваць каго-, што-н., ганіць, дакараць у чым-н.

За добрую справу не судзяць.

4. каго-што і без дап. У спартыўных спаборніцтвах: сачыць за выкананнем правіл гульні і вырашаць спрэчныя пытанні.

С. футбольны матч.

5. (таксама зак.), што каму або без дап. Прадвызначаць (-ачыць) (пра што-н. непрадбачанае, што не залежыць ад волі чалавека).

Не судзіў лёс яму больш пажыць і зрабіць.

6. судзі́(це) (звычайна са словамі «сам», «самі»), Ужыв. ў знач.: рашай (це).

Судзі сам, як далей паступіць.

Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)

суддзя́, ‑і; мн. суддзі, ‑яў; м.

1. Службовая асоба ў органах суда, якая выносіць прыгавор па судовай справе. Народны суддзя. Міравы суддзя. □ Чыкілевіч успомніў адно здарэнне па судзе, паставіў сябе на месца таго падсуднага, якога асудзіў суддзя. Колас. Джыавані не ведаў, што дні праз тры пасля яго суда тую дзяўчыну таксама прывялі ў суд, праўда, не да таго суддзі, які судзіў Джыавані. Лынькоў.

2. У спорце — той, хто судзіць якое‑н. спаборніцтва, гульню. Сам суддзя аслупянеў — Вырашыць не можа: Гол ці не? Гілевіч.

3. Чалавек, які выказвае якое‑н. суджэнне, думку, вывад пра што‑н. або дае ацэнку каму‑, чаму‑н. Лёдзя не раз заўважала, як людзі чамусьці тушуюцца перад бацькам і, калі спрачаюцца між сабою, звычайна бяруць яго за суддзю. Карпаў.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

скла́сці, складу́, складзе́ш, складзе́; складзём, складзяце́, складу́ць; складзі́; скла́дзены; зак., што.

1. гл. класці.

2. Пакласці разам у пэўным парадку.

С. дровы пад навес.

С. рэчы ў рукзак (падрыхтаваць да ад’езду).

3. Прыбавіць адзін лік да другога, зрабіць складанне.

С. дзве сумы.

4. Падрыхтаваць што-н. на падставе сабраных звестак, стварыць, напісаць.

С. слоўнік беларускай мовы.

С. справаздачу.

С. спіс супрацоўнікаў.

С. песню.

5. Утварыць групу, камісію, падабраўшы людзей.

С. камітэт.

6. Перагнуўшы, сагнуўшы, прыдаць якую-н. форму, зменшыць аб’ём.

С. ліст паперы папалам.

С. шэзлонг.

7. Зрабіць вывад на падставе назіранняў або лагічных заключэнняў.

С. ўяўленне аб кім-н.

8. перан. Вызваліцца ад якіх-н. абавязкаў.

С. свае паўнамоцтвы.

Ён усю віну склаў на мяне.

◊

Скласці зброю —

1) здацца, спыніць узброенае супраціўленне;

2) адмовіцца ад барацьбы, ад якіх-н. дзеянняў.

Скласці рукі (разм.) — перастаць дзейнічаць.

|| незак. скла́дваць, -аю, -аеш, -ае і склада́ць, -а́ю, -а́еш, -а́е.

|| наз. скла́дванне, -я, н. і склада́нне, -я, н.

Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)

АЗЁРАЗНА́ЎСТВА, лімналогія,

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

Заснавальнік навуковага азёразнаўства — швейц. вучоны Ф.А.Фарэль (1885; працы па тэорыі і методыцы азёразнаўства). У развіцці азёразнаўства вял. значэнне маюць працы рус. вучоных Дз.М.Анучына (вывад аб сувязі азёраў з усімі кампанентамі ландшафтаў), Л.С.Берга (апісанні азёраў Зах. Сібіры, Аральскага, Ісык-Куля) і А.І.Ваейкава (выявіў сувязь вагання ўзроўню вял. азёраў з іх водным балансам і інш.). На Беларусі першыя гідралагічныя даследаванні азёраў праведзены А.М.Семянтоўскім (у 1872 апублікаваў гідралагічны агляд Віцебскай губ.).

Сістэматычнае вывучэнне азёраў пачалося з арганізацыі н.-д. станцыі рыбнай гаспадаркі (1928). Комплексныя даследаванні азёраў праводзяцца на біял. і геагр. ф-тах БДУ (складанні азёрнага кадастру, прыродна-гасп. класіфікацыі, стварэнне ахоўных тэрыторый на базе азёраў), выконваюцца маніторынгавыя даследаванні па міжнар. праграме «Чалавек і біясфера». Н.-д. лабараторыя азёразнаўства БДУ (з 1968) комплексна даследавала больш як 500 азёраў і 20 вадасховішчаў (вывучаны гісторыя развіцця ў галацэне, вызначана іх генетычная прыналежнасць, законы азёрнай седыментацыі; В.П.Якушка). У ін-тах геал. навук і праблем выкарыстання прыродных рэсурсаў і экалогіі АН Беларусі вывучаюцца азёры як аб’екты намнажэння сапрапеляў. У вытв. мэтах азёры і вадасховішчы даследуюцца ў Цэнтр. НДІ комплекснага выкарыстання водных рэсурсаў. Вынікі даследаванняў улічваюцца ў рыбнай гаспадарцы, энергетыцы, курортнай справе, водазабеспячэнні, меліярацыі, здабычы карысных выкапняў і інш.

В.П.Якушка.

т. 1, с. 162

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

ВЫЛІЧА́ЛЬНАЯ МАШЫ́НА «МІНСК»,

серыя універсальных лічбавых вылічальных машын агульнага прызначэння. Укаранёна ў вытв-сць Мінскім з-дам ЭВМ імя Арджанікідзе. Выкарыстоўваецца ў вылічальных цэнтрах, вылічальных сістэмах і аўтаматызаваных сістэмах рознага прызначэння.

Выпуск лямпавых машын 1-га пакалення серыі «Мінск-1» распачаты ў 1960 (папярэдняя мадэль — лямпавая выліч. машына М-3М створана ў 1959). Мадыфікацыі вылічальных машын «Мінск-11», «Мінск-12», «Мінск-14» мелі запамінальны блок большай ёмістасці, дадатковыя прылады ўводу-вываду інфармацыі. Выкарыстоўваліся пераважна для рашэння інжынерна-канструктарскіх і навук.-тэхн. задач матэм. і логікавага характару. У 1964 асвоены выпуск вылічальнай машыны «Мінск-2» 2-га пакалення (на дыскрэтных паўправадніковых элементах) з павышанай надзейнасцю, адначасовай работай вылічальніка і выхадных прыстасаванняў; мелі агрэгатную канструкцыю, магчымасць мяняць склад прылад і прыстасаванняў. У мадыфікацый вылічальных машын «Мінск-2», «Мінск-22М» прадугледжваўся ўвод-вывад інфармацыі з перфакартаў, перфастужак, магн. стужак, тэлетайпа і інш. Інфармацыйная вылічальная машына «Мінск-23» (выпуск 1965) максімальна прыстасавана для апрацоўкі розных відаў эканам. інфармацыі. У 1969 асвоены выпуск шматпраграмнай вылічальнай машыны «Мінск-32» (аднапрацэсарная выліч. сістэма), якая мела праграмную сумяшчальнасць з вылічальнай машынай «Мінск-22», ахову адной праграмы ў аператыўнай памяці ад другой, магчымасць далучэння вонкавых прыстасаванняў (у т. л. ЭВМ з утварэннем аднароднай выліч. сістэмы) і інш. У 1970-я г. пачаўся выпуск машын 3-га пакалення адзінай сістэмы электронных вылічальных машын — ЕС ЭВМ. У 1990-я г. распрацавана і ўкаранёна ў вытв-сць сям’я машын новага пакалення «Мінск-9000». За стварэнне сям’і вылічальных машын «Мінск» групе спецыялістаў з-да, НДІ ЭВМ і Выліч. цэнтра АН Беларусі прысуджана Дзярж. прэмія СССР 1970.

М.П.Савік.

т. 4, с. 312

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

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

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

Літ.:

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

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

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

т. 9, с. 335

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)