«МІР»,
арбітальная станцыя для палёту вакол Зямлі; праграма яе распрацоўкі і запускаў да яе
Базавы блок «М.» выведзены на арбіту 20.2.1986; яго
У.С.Ларыёнаў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
«МІР»,
арбітальная станцыя для палёту вакол Зямлі; праграма яе распрацоўкі і запускаў да яе
Базавы блок «М.» выведзены на арбіту 20.2.1986; яго
У.С.Ларыёнаў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НІКАСІ́Я (Nikosia),
Засн. ў 7
Стары горад, абкружаны венецыянскай крапасной сцяной (1567,
Літ.:
Коровина А.К., Сидорова Н.А. Города Кипра.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ВІЛЕ́ЙСКАЕ ВАДАСХО́ВІШЧА,
у Вілейскім р-не Мінскай
Вілейскае вадасховішча
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БІ́РЖА (
форма рэгулярна дзеючага аптовага рынку заменных тавараў, каштоўных папер і замежнай валюты. Адпаведна бываюць таварныя біржы, фондавыя біржы і валютныя біржы. Сама біржа не выступае ў якасці аднаго з бакоў у
Зачаткі таварнай і вэксальнай (валютнай) біржы з’явіліся ў 15—16
На Беларусі ў
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АКЦЯ́БРСКІ РАЁН,
у Беларусі, на
У эканоміцы раёна
Г.М.Дзегцяроў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
А́ЛГЕБРА ЛО́ГІКІ,
раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік —
Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць . Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1)
Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць
Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі
Р.Т.Вальвачоў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ГАВА́І (Hawaii),
штат ЗША у групе Ціхаакіянскіх штатаў. Займае групу вулканічных астравоў у
Пачалі засяляцца, верагодна, з 5
М.С.Вайтовіч, Н.К.Мазоўка (гісторыя).
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БАРА́НАВІЦКАЯ РАЎНІ́НА,
фізіка-геаграфічны раён Заходне-Беларускай правінцыі, на
Г.П.Рудава.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ДАМА́СК,
Упершыню ўпамінаецца ў 16
Рэгулярная планіроўка асобных кварталаў бярэ пачатак ад эліністычнага і
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЛО́ЕЎСКІ РАЁН.
На
Тэр. раёна размешчана ў межах Гомельскага Палесся. Паверхня плоская, 90% яе на
Агульная
Г.С.Смалякоў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)