Verbum

ЛІНЕ́ЙНЫЯ ДЫФЕРЭНЦЫЯ́ЛЬНЫЯ ЎРАЎНЕ́ННІ,

дыферэнцыяльныя ўраўненні, у якіх невядомая функцыя і яе вытворныя ўваходзяць у першай ступені — лінейна.

т. 9, с. 268

ГІПАФУ́НКЦЫЯ (ад гіпа... + функцыя),

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

т. 5, с. 254

ГРЫН ((Green) Джордж) (14.7.1793, Снейнтан, цяпер у межах г. Нотынгем, Вялікабрытанія — 31.3.1841),

англійскі матэматык. Самастойна вывучаў матэматыку, потым скончыў Кембрыджскі ун-т (1837). Навук. працы па матэм. фізіцы. Развіў тэорыю электрычнасці і магнетызму, увёў паняцце патэнцыялу, устанавіў сувязь паміж інтэграламі па аб’ёме і па паверхні, што абмяжоўвае гэты аб’ём (гл. Грына формулы), вывеў асн. ўраўненне тэорыі пругкасці. Яго імем названа т.зв. функцыя распаўсюджвання (гл. Грына функцыя).

Літ.:

Стройк Д.Я. Краткий очерк истории математики: Пер. с нем. М., 1969.

т. 5, с. 482

МАКЛО́РЭНА ШЭ́РАГ,

ступеневы шэраг, у які ў наваколлі нуля раскладаецца аналітычная функцыя; асобны выпадак Тэйлара шэрагу. Вывучаўся шатл. матэматыкам К.​Маклорэнам (1742).

т. 9, с. 538

КРО́НЕКЕРА СІ́МВАЛ,

функцыя σ_nm двух целалікавых аргументаў n і m, якая вызначаецца ўмовай σ_nm=1. пры n=m, σ_nm=0 пры n≠m. Уведзены Л.Кронекерам (1866). Выкарыстоўваецца ў матрычным і тэнзарным злічэнні.

т. 8, с. 476

НАБЛІ́ЖАНАЕ ДЫФЕРЭНЦАВА́ННЕ,

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

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

т. 11, с. 88

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

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

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

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

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

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

т. 1, с. 234