Тлук ’тлушч, растопленае сала’ (
Этымалагічны слоўнік беларускай мовы (1978-2017)
Тлук ’тлушч, растопленае сала’ (
Этымалагічны слоўнік беларускай мовы (1978-2017)
Со́сьлі ‘ледзяшы, што звісаюць са страхі’, со́сьлівъя (пагода) ‘
Этымалагічны слоўнік беларускай мовы (1978-2017)
А́ЛГЕБРА ЛО́ГІКІ,
раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік —
Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць . Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1) знаходзіцца ў адпаведнасці з аперацыямі, з якіх пабудавана дадзеная формула. Такая функцыя рэалізуе дадзеную формулу. Формулы A і B
Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць
Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі
Р.Т.Вальвачоў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
Іно́ся ’не так, іначай’ (
Этымалагічны слоўнік беларускай мовы (1978-2017)
аўт
(
1) становішча ў спартыўных гульнях,
2) каманда суддзі на рынгу, якая азначае, што баксёр у накаўце.
Слоўнік іншамоўных слоў. Актуальная лексіка (А. Булыка, 2005, правапіс да 2008 г.)
кро́сінг
(
1) вентыляцыйны праход у шахце для раздзялення перасякальных струменяў паветра;
2)
Слоўнік іншамоўных слоў. Актуальная лексіка (А. Булыка, 2005, правапіс да 2008 г.)
teraz
цяпер, зараз;
Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)
bytność
bytnoś|ć1. бытнасць; знаходжанне;
2.
Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)
prosić
Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)
паўрублёўка, ‑і,
Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)