Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)
Verbum
анлайнавы слоўнікДванаццаці
Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)
ВЁРСТКА,
1) адзін з працэсаў вырабу друкарскай формы — састаўленне старонак (палос) кніг, часопісаў, газет з гранак тэксту,
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ДАЛЬТАНІ́ЗМ,
прыроджанае расстройства каляровага зроку. Апісаны
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ВЕЗА́ЛІЙ (Vesalius) Андрэас
(31.12.1514, Брусель — 15.10.1564),
натураліст эпохі Адраджэння, заснавальнік
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ГРАНУЛАМЕ́ТРЫЯ
(ад
грануламетрычны аналіз, механічны аналіз, сукупнасць прыёмаў вызначэння наяўнасці розных па велічыні фракцый зерняў у асадкавых горных пародах, карысных выкапнях, глебах і штучных матэрыялах. Выкарыстоўваецца ў геалогіі для класіфікацыі, вызначэння калектарскіх уласцівасцей пластоў, умоў утварэння парод і
У.Я.Бардон.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
А́ЛГЕБРА ЛО́ГІКІ,
раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік —
Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных
Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць
Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі
Р.Т.Вальвачоў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЛАГАРЫ́ФМ
(a>0, a≠1) (ад логас +
паказчык ступені m, у якую ўзводзіцца лік a для атрымання ліку N. Абазначаецца logaN.
Л. і табліцы
Ю.С.Багданаў, А.А.Гусак.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ГЕНЕАЛО́ГІЯ
(ад
спецыяльная гістарычная навука, якая вывучае паходжанне, гісторыю,
Літ.:
История и генеалогия. М., 1977;
Genealogia. Warszawa, 1959.
У.М.Вяроўкін-Шэлюта.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АЎТАМАТЫЗА́ЦЫЯ ПРАЕКТАВА́ННЯ,
выкарыстанне
Аўтаматызацыя праектавання дае магчымасць павялічыць дакладнасць разлікаў і канструктарскай дакументацыі, выбіраць варыянты для рэалізацыі на аснове
Навукова-
Літ.:
Системы автоматизированного проектирования технологических процессов, приспособлений и режущих инструментов. М., 1988;
Ракович А.Г. Основы автоматизации проектирования технологических приспособлений.
А.Г.Раковіч.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)