НА́МІБ (Namib),
прыакіянічная пустыня на
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НА́МІБ (Namib),
прыакіянічная пустыня на
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НАРО́ДНЫЯ ВУЧЫ́ЛІШЧЫ,
навучальныя ўстановы ў
А.Ф.Самусік.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НАРО́ДНЫЯ УНІВЕРСІТЭ́ТЫ,
агульнадаступныя грамадскія
Літ.:
Дубровина Л.В. Народные университеты.
А.Вараб’ёў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НЕАРАМА́НСКІ СТЫ́ЛЬ,
умоўная назва кірунку ў архітэктуры канца 19 —
А.М.Кулагін.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НЕАТЭКТО́НІКА (ад неа... + тэктоніка),
Э.А.Ляўкоў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НЕЗАБЫТО́ЎСКІ (Аляксандр) (2.10.1819,
У.І.Мархель.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НЯЧА́Й (Іван) (? — пасля 1669),
палкоўнік казацкага запарожскага войска на Беларусі ў час вайны Расіі з Рэччу Паспалітай 1654—67. Паходзіў з Мсціслаўскага
В.І.Мялешка.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
О́ЖАГАЎ (Сяргей Іванавіч) (22.9.1900,
расійскі мовазнавец, лексікограф.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
О́КАЛАЎ (Вацлаў Сцяпанавіч) (19.6.1912, Мінск — 27.8.1969),
Л.І.Балыніна.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
А́ЛГЕБРА ЛО́ГІКІ,
раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік —
Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць . Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой
Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць
Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі
Р.Т.Вальвачоў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)