Аско́р ’ачыстка ствала ад кары’ (
Этымалагічны слоўнік беларускай мовы (1978-2017)
Аско́р ’ачыстка ствала ад кары’ (
Этымалагічны слоўнік беларускай мовы (1978-2017)
Казі́цца ’нараджаць казлянят, прывесці прыплод’ (
Этымалагічны слоўнік беларускай мовы (1978-2017)
По́жарка ’трэшчына на лёдзе’ (
Этымалагічны слоўнік беларускай мовы (1978-2017)
А́ЛГЕБРА ЛО́ГІКІ,
раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік —
Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць x́̅. Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі,
Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць
Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі
Р.Т.Вальвачоў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
А́РЫЯ
(італьянскае aria),
сольная вакальная кампазіцыя з інструментальным суправаджэннем у оперы, араторыі, кантаце, з сярэдзіны 19 стагоддзя і ў аперэце; радзей самастойны твор. Часам арыяй называюць інструментальную п’есу пявучага характару. Тэрмін вядомы з 15 стагоддзя. Да сярэдзіны 17 стагоддзя акрэсліліся характэрныя для італьянскай опернай Арыі тыпы мелодыкі (бельканта, каларатура), форма, віды, вызначылася драматургічная функцыя арыі як лірычнага цэнтра. Найбольшай жанравай разнастайнасці дасягнула ў сярэдзіне 19 стагоддзя. У сувязі з імкненнем да драматургічнай цэласнасці оперы з канца 19 стагоддзя арыя траціць вядучае
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АКТЫ́ЎНАЯ МАГУ́ТНАСЦЬ,
сярэдняе за перыяд
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БЫЧКІ́
(Jobiidae),
сямейства рыб
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АДНАРО́ДНАЯ ФУ́НКЦЫЯ,
функцыя адной або некалькіх пераменных, якая адпавядае ўмове: пры адначасовым множанні ўсіх пераменных на адзін і той жа адвольны лік
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БЕРАЗА́НЬ,
востраў на
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БІЯСТРАТЫГРА́ФІЯ
(ад бія... + стратыграфія),
галіна стратыграфіі, якая вывучае размеркаванне выкапнёвых рэшткаў арганізмаў у асадкавых пародах. Мэта біястратыграфіі: вызначэнне адноснага ўзросту, паслядоўнасці ўтварэння, пашырэння і карэляцыі слаёў горных парод.
С.А.Кручак.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)