ГАЛУ́ШКІН Барыс Лаўрэнцьевіч
(12.8.1919,
адзін з кіраўнікоў
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ГАЛУ́ШКІН Барыс Лаўрэнцьевіч
(12.8.1919,
адзін з кіраўнікоў
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АРЭ́НДНЫ ПАДРА́Д,
форма арэндных узаемаадносін унутры прадпрыемства (унутрывытворчая арэнда). Выкарыстоўваецца для павышэння эфектыўнасці вытворчасці на аснове матэрыяльнага стымулявання арэнднага калектыву. Аб’ектам арэнды з’яўляецца падраднае
А.П.Дубіна.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БРЫГА́ДА ВЫТВО́РЧАЯ , калектыў рабочых прадпрыемства, які сумесна выконвае адзінае
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
А́ЛГЕБРА ЛО́ГІКІ,
раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік —
Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць x́̅. Ужываецца
Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць
Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі
Р.Т.Вальвачоў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)