трыбу́х, ‑а, м.

Разм.

1. Страўнік.

2. Іран. Жывот. — А што князю мужык, беззямельнае сялянства! Быў бы напханы свой трыбух... Вешаць трэба такіх гадаў! — злосна заключыў Янка. Колас. // Пра тоўстага чалавека. [Залыгін:] Вайна — гэта мясабойня для трыбухоў багацеяў. Мележ.

3. толькі мн. (трыбухі́, ‑оў). Вантробы (страўнік, кішкі і пад.).

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

умяша́ць, ‑аю, ‑аеш, ‑ае; зак., у што.

1. што і чаго. Мяшаючы, дабавіць чаго‑н. у што‑н.; прымяшаць. Умяшаць пшанічнай мукі ў жытнюю.

2. перан.; каго. Уцягнуць, ублытаць у якую‑н. непрыемную справу. — Ты што гэта надумаў, хлопча? — здзіўлена запытаў Якаў. — Хочаш і мяне сюды ўмяшаць? Чарнышэвіч.

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

фаво́р, ‑у, м.

Кніжн. Прыхільныя адносіны знатнай асобы да каго‑н. Усіх дзівіла, што .. [Загорскі] нічога не атрымаў за той фавор. Гэта было дзіўна, бо ўсе памяталі вочы імператрыцы, якімі яна глядзела на яго пры развітанні. Караткевіч.

•••

У фаворы ў каго — пад апекай, заступніцтвам каго‑н. (быць, аказацца і пад.).

[Лац. favor — прыхільнасць.]

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

pisać się

незак.

1. пісацца;

jak to się pisze? — як гэта пішацца?;

2. падпісвацца; згаджацца (на што); далучацца (да чаго)

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)

upominek, ~ku

upomin|ek

м. падарунак; гасцінец;

otrzymała to w ~ku od ojca — яна атрымала гэта ў падарунак ад бацькі

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)

spokojny

спакойны;

jestem co do tego spokojny — за гэта я спакойны;

możesz być spokojny — можаш быць спакойны; можаш не хвалявацца

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)

sprawka

sprawk|a

ж. справункі; штучкі; хітрыкі;

ciemne ~i — цёмныя справункі (махінацыі);

to twoja ~a — гэта твае штучкі (хітрыкі; махлярствы)

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)

kryminał, ~u

м.

1. крымінал; крымінальнае злачынства;

2. турма, астрог;

to pachnie ~em — гэта пахне турмой;

3. дэтэктыў (кніга, фільм)

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)

łaskaw

кніжн. ласкавы, прыхільны;

bądź łaskaw — будзь ласкавы; калі ласка;

bądź łaskaw położyć to tam — калі ласка, пакладзі гэта там

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

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

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.​Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

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

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.​Т.​Вальвачоў, У.​К.​Лукашэвіч.

т. 1, с. 207

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