Verbum

ВЁРСТКА,

1) адзін з працэсаў вырабу друкарскай формы — састаўленне старонак (палос) кніг, часопісаў, газет з гранак тэксту, табліц, ілюстрацый, элементаў унутр. афармлення ў адпаведнасці з разметкай або спецыяльна вырабленым макетам. 2). Адбітак (карэктура) са звярстанага набору, прызначаны для выпраўлення памылак.

т. 4, с. 136

ДАЛЬТАНІ́ЗМ,

прыроджанае расстройства каляровага зроку. Апісаны англ. фізікам Дж.Дальтанам у 1794. Бывае ў 8% мужчын і 0,5% жанчын; звязаны з адсутнасцю ці недастатковым функцыянаваннем аднаго з трох кампанентаў каляровага зроку. Распазнаюць Д. з дапамогай спец. (поліхраматычных) табліц і спектральных прылад (анамаласкопаў). Людзей з Д. не дапускаюць працаваць на транспарце, у авіяцыі і інш. (яны адрозніваюць у спектры толькі 2 колеры — жоўты і сіні).

т. 6, с. 23

ВЕЗА́ЛІЙ ((Vesalius) Андрэас) (31.12.1514, Брусель — 15.10.1564),

натураліст эпохі Адраджэння, заснавальнік навук. анатоміі. Скончыў Лувенскі ун-т (Фландрыя). Вывучаў медыцыну ў Манпелье (Францыя), Парыжы. Д-р хірургіі (1537). З 1539 праф. у Падуанскім ун-це. Адзін з першых пачаў вывучаць чалавечы арганізм ускрыццём, апублікаваў «Шэсць анатамічных табліц» (1538). Удакладніў і дапоўніў анатамічную тэрміналогію. У працы «Пра будову чалавечага цела» (кн. 1—7, 1543) абвергнуў вучэнне К.Галена (панавала на працягу 14 ст.) пра сістэму руху крыві ў арганізме, што стала асновай для адкрыцця кровазвароту У.Гарвеем. Праследаваўся царквой, паводле прысуду інквізіцыі ў 1564 зрабіў паломніцтва ў Палесціну, на зваротным шляху пасля караблекрушэння памёр.

т. 4, с. 60

ГРАНУЛАМЕ́ТРЫЯ (ад лац. granulum зярнятка + ...метрыя),

грануламетрычны аналіз, механічны аналіз, сукупнасць прыёмаў вызначэння наяўнасці розных па велічыні фракцый зерняў у асадкавых горных пародах, карысных выкапнях, глебах і штучных матэрыялах. Выкарыстоўваецца ў геалогіі для класіфікацыі, вызначэння калектарскіх уласцівасцей пластоў, умоў утварэння парод і інш., горнай справе — для ацэнкі якасці горнай масы, вынікаў узрыўных работ, пры абагачэнні карысных выкапняў, у грунтазнаўстве, інж. геалогіі і інш. Адрозніваюць метады дыферэнцыяльныя (метад планіметрыі і мікраскапічны аналіз з мадыфікацыямі — метад сканіравання, імпульсны, кандуктаметрычны) і інтэгральныя (сітавы і гідраўлічны аналізы). Вынікі грануламетрыі адлюстроўваюць у выглядзе лічбавых табліц або графічна. Найб. пашыраныя графікі гістаграмы, кумулятыўныя крывыя і крывыя размеркавання.

У.Я.Бардон.

т. 5, с. 409

НАВІГАЦЫ́ЙНЫЯ ПРЫЛА́ДЫ,

прылады для вымярэння параметраў руху судна, лятальнага апарата (ЛА), інш. рухомых аб’ектаў, для вызначэння месцазнаходжання і кіравання імі; адзін с тэхн. сродкаў навігацыі.

Бываюць: аўтаномныя (дзейнічаюць без прыёму сігналаў ад знешніх крыніц) і неаўтаномныя (устанаўліваюцца на рухомым аб’екце, вызначаюць навігацыйныя параметры па сігналах наземных, марскіх, паветр. і касм. установак); паводле прынцыпу дзеяння — гіраскапічныя, магн., гідраўл., радыётэхн., гідраакустычныя, інерцыйныя, аптычныя, інфрачырвоныя, механічныя. Да Н.п. адносяцца авіягарызонты, авіякомпасы, аўтапілоты, аўтарулявыя, аўташтурманы, вышынямеры, компасы, у т.л. гіракомпасы, курсографы, лагі, лоты, у т.л. рэхалоты, пеленгатары, секстанты, хранометры, гіравертыкалі, нахіламеры, аўтапракладчыкі, вымяральнікі скорасці ЛА, прыёмаіндыкатары радыёнавігацыйных і гідраакустычных сістэм (прызначаны для вызначэння напрамкаў на перадаючыя станцыі, вымярэння адлегласцей да іх і атрымання па гэтых даных каардынат аб’екта з дапамогай ЭВМ або табліц і спец. карт).

В.В.Латушкін, П.М.Шумскі.

т. 11, с. 104

А́ЛГЕБРА ЛО́ГІКІ,

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.Буль (1815—64). Алгебра логікі разглядае выказванні толькі з пункту гледжання іх праўдзівасці (пазначаюць лічбамі 1 — праўдзівасць і 0 — ілжывасць). Логікавыя аперацыі над выказваннямі даюць магчымасць будаваць новыя выказванні. Праўдзіваснае значэнне такога выказвання A (a₁,..., a_n), атрыманага пры дапамозе логікавых аперацый з прасцейшых выказванняў a₁, ..., a_n, адназначна выяўляецца праўдзіваснымі значэннямі зыходных выказванняў a₁,..., a_n. Таму кожнаму такому выказванню A (a₁, ..., a_n) адпавядае n-ме́сцавая функцыя, якая прымае значэнні 0,1, аргументы яе таксама прымаюць гэтыя значэнні. Такія функцыі наз. функцыямі алгебры логікі, ці булевымі, функцыямі. Яны могуць быць зададзеныя з дапамогай праўдзівасных табліц, якія маюць 2​ⁿ радкоў.

Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць x̅. Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1) знаходзіцца ў адпаведнасці з аперацыямі, з якіх пабудавана дадзеная формула. Такая функцыя рэалізуе дадзеную формулу. Формулы A і B наз. роўнымі (раўназначнымі), калі адпаведныя ім функцыі роўныя, г.зн. калі супадаюць іх праўдзівасныя табліцы. Азначэнне A=B ці A≡B, A~B, калі кажуць пра іх раўназначнасць. Важную ролю ў алгебры логікі маюць роўнасці, якія задаюць булеву алгебру.

Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць вял. прыкладное значэнне. Сістэма функцый Ф. наз. функцыянальна поўнай, калі адвольная функцыя алгебры логікі можа быць рэалізаваная формулай, якая мае толькі сімвалы функцый з Ф. Напр., сістэмы функцый {&, ⋁, ¬}, {&, ¬}, {⋁, ¬}, {⇒, ¬}, {x | у}, {x ↓ у} функцыянальна поўныя (тут $\mathrm{x}|\mathrm{y}=\mathrm{x}\&\mathrm{y}\_$ , $\mathrm{x}\downarrow \mathrm{y}=\mathrm{x}\bigvee \mathrm{y}$ , якія наз. штрыхам Шэфера і стрэлкай Пірса адпаведна).

Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі эл. схем.

Р.Т.Вальвачоў.

т. 1, с. 234

МАДЭЛІ́РАВАННЕ ЭКАНО́МІКА-МАТЭМАТЫ́ЧНАЕ,

апісанне эканам. працэсаў і з’яў у выглядзе эканоміка-матэм. мадэлей. Адной з першых у гісторыі эканам. навукі была мадэль узнаўлення, распрацаваная франц. вучоным Ф.Кенэ ў 18 ст. У 20 ст. першая агульная мадэль эканомікі сканструявана Дж. фон Нейманам. Значны вопыт пабудовы эканоміка-матэм. мадэлі назапашаны вучонымі былога СССР у развіцці нар. гаспадаркі краіны, асабліва — перспектыўнага. Вылучаюць 2 асн. групы эканоміка-матэм. мадэлей: мадэлі, якія паказваюць пераважна сац. аспекты эканомікі (звязаны з прагназаваннем і планаваннем даходаў і спажывання насельніцтва, дэмаграфічных працэсаў), і мадэлі, што адлюстроўваюць пераважна вытв. аспект эканомікі (доўгатэрміновага прагнозу зводных паказчыкаў эканам. развіцця; міжгаліновыя мадэлі нар.-гасп. планавання, галіновыя аптымальнага планавання і размяшчэння вытв-сці, аптымізацыі структуры вытв-сці ў галінах). Адрозніваюць таксама мадэлі статычныя (апісваюць момантавы стан эканомікі) і дынамічныя (паказваюць развіццё аб’екта мадэліравання). Паводле спосабу пабудовы адрозніваюць аналітычныя (у выглядзе формул), лікавыя (у выглядзе лікавых прыкладаў), матрычныя (у выглядзе табліц), сеткавыя (у форме графаў) і інш.

т. 9, с. 495

ЛАГАРЫ́ФМ ліку N па аснове a

(a>0, a≠1) (ад логас + грэч. arithmos лік),

паказчык ступені m, у якую ўзводзіцца лік a для атрымання ліку N. Абазначаецца log_aN. Напр., log₁₀100 = lg 100 = 2; log₂1/32 = −5. Дазваляе зводзіць множанне (дзяленне) лікаў да складання (адымання) іх Л., а ўзвядзенне ў ступень (здабыванне кораня) — да множання (дзялення) Л. на паказчык ступені (кораня).

Л. і табліцы Л. уведзены незалежна шатл. матэматыкам Дж.Неперам (1614, 1619) і швейц. матэматыкам І.Бюргі (1620). Кожнаму дадатнаму ліку адпавядае пры зададзенай аснове адзіны сапраўдны Л. (Л. адмоўнага ліку — камплексны лік). Найб. пашыраныя дзесятковыя (a = 10) і натуральныя (a = e = =2,71828...), якія абазначаюцца lgN і lnN адпаведна. Цэлую частку Л. наз. характарыстыкай, дробавую — мантысай. Дзесятковыя Л. лікаў, якія адрозніваюцца множнікам 10​ⁿ, маюць аднолькавыя мантысы, што закладзена ў аснову пабудавання лагарыфмічных табліц. У камплекснай вобласці разглядаюцца Л камплексных лікаў: Lnz = ln(z) + iArgz, дзе Argz — аргумент z. Пры пераменным х>0 суадносіны y = lnx вызначаюць лагарыфмічную функцыю. Да з’яўлення выліч. машын табліцы Л. былі асн. дапаможным сродкам пры разліках.

Ю.С.Багданаў, А.А.Гусак.

т. 9, с. 86