энеалі́т, ‑у,
[Ад лац. aeneus — медны і грэч. líthos — камень.]
Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)
энеалі́т, ‑у,
[Ад лац. aeneus — медны і грэч. líthos — камень.]
Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)
там.
1.
2.
3.
4.
Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)
то,
1.
2. пералічальна-размеркавальны.
3. перамяшчальна-размеркавальны (з адмоўем або з часціцай «ці»).
Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)
прызна́цца, -а́юся, -а́ешся, -а́ецца;
1. Адкрыта аб’явіць, прызнаць што
2.
||
||
Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)
Перазво́ (пырызво́) ’другі дзень вяселля,
Этымалагічны слоўнік беларускай мовы (1978-2017)
Ґі́знуць ’кіснуць’ (
Этымалагічны слоўнік беларускай мовы (1978-2017)
Вы́мятка ’даведка, выпіска’ (
Этымалагічны слоўнік беларускай мовы (1978-2017)
Ачарану́ць, очэрэну́ць ’абкружыць, абступіць’ (
Этымалагічны слоўнік беларускай мовы (1978-2017)
А́ЛГЕБРА ЛО́ГІКІ,
раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік —
Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць . Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1) знаходзіцца ў адпаведнасці з аперацыямі, з якіх пабудавана дадзеная формула. Такая функцыя рэалізуе дадзеную формулу. Формулы A і B
Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць
Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі
Р.Т.Вальвачоў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
afford
Англійска-беларускі слоўнік (Т. Суша, 2013, актуальны правапіс)