Verbum

АКІСЛЕ́ННЕ-АДНАЎЛЕ́ННЕ, акісляльна-аднаўляльныя рэакцыі,

хімічныя рэакцыі, пры якіх адбываецца пераход электронаў ад атамаў, малекул ці іонаў аднаго злучэння да атамаў, малекул і іонаў другога. Паводле электроннай тэорыі акісленне вызначаецца як страта (напр., Zn-2e = Zn​²⁺), а аднаўленне як далучэнне (напр., Cl₂ + 2e = 2Cl​^–) электронаў. Рэчыва, якое далучае электроны, наз. акісляльнікам, а якое іх страчвае — аднавіцелем. Акісленне-аднаўленне ўзаемазвязаныя працэсы, якія адбываюцца адначасова: Zn + Cl₂ = Zn Cl₂ (Zn аднавіцель, акісляецца да Zn​²⁺, а Cl₂ акісляльнік, аднаўляецца да 2Cl​^–). Важнейшыя акісляльнікі: кісларод, хлор, пераксід вадароду, марганцавакіслы калій і інш. Аднаўляльнікі: вугаль, вадарод, ёдзісты калій, аксід вугляроду і інш. Пры складанні ўраўненняў акіслення-аднаўлення ўлічваецца электраадмоўнасць атамаў (здольнасць атама ў малекуле прыцягваць і ўтрымліваць электроны) і акіслення ступень. Перамяшчэнне электронаў у акісленні-аднаўленні адбываецца за кошт розніцы энергій сувязі, у аднаўляльніку электроны звязаны слабей. Рэакцыямі акіслення-аднаўлення карыстаюцца пры атрыманні металаў і неметалаў, розных хім. прадуктаў (аміяку, азотнай і сернай кіслот і інш.), яны ляжаць у аснове гарэння ўсіх відаў паліва, карозіі металаў, электролізу раствораў і расплаваў, дзеяння хім. крыніц току. Уласціва біял. сістэмам (гл. ў арт. Акісленне біялагічнае, Фотасінтэз).

т. 1, с. 192

АЛГАРЫ́ТМАЎ ТЭО́РЫЯ,

раздзел матэматыкі, які вывучае агульныя ўласцівасці алгарытмаў; тэарэт. аснова кібернетыкі, вылічальнай матэматыкі.

У інтуітыўным паняцці алгарытмы выкарыстоўваліся ў матэматыцы на працягу яе існавання. Дакладнае паняцце алгарытму сфарміравалася ў пач. 20 ст. і ўпершыню з’явілася ў працах матэматыкаў франц. Э.Барэля (1912) і ням. Г.Вейля (1921). Сістэматычная распрацоўка алгарытмаў тэорыі пачалася ў 1936, калі амер. матэматык А.Чэрч удакладніў паняцце алгарытмічна вылічальнай функцыі і прывёў прыклад невыліч. функцыі, англ. А.Цьюрынг і амер. Э.Пост удакладнілі паняцце алгарытму ў тэрмінах ідэалізаваных выліч. машын (машыны Цьюрынга—Поста); сав. матэматык А.М.Калмагораў прапанаваў выкарыстанне алгарытмаў тэорыі для абгрунтавання інфармацыі тэорыі (1965).

Адзін з гал. Кірункаў алгарытмаў тэорыі — вывучэнне невырашальнасці (вырашальнасці) алгарытмічных праблем, напр., у самой алгарытмаў тэорыі — праблема спынення універсальнай машыны Цьюрынга; у матэм. логіцы — праблема распазнавання тоесна праўдзівых формул злічэння прэдыкатаў 1-й ступені; у алгебры — праблема тоеснасці для паўгруп; у тапалогіі — праблема гомеамарфізму; у тэорыі лікаў — 10-я праблема Д.Гільберта. Даследаванні прывялі да ўзнікнення паняцця ступені невырашальнасці, вывучэння адпаведных матэм. структур і паказалі, што алгарытмічныя праблемы невырашальнасці маюць найб. ступень.

Літ.:

Мальцев А.И. Алгоритмы и рекурсивные функции. 2 изд. М., 1986;

Ершов Ю.Л. Проблемы разрешимости и конструктивные модели. М., 1980.

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

т. 1, с. 233

АРТАГАНА́ЛЬНАЯ СІСТЭ́МА,

1) мноства {x_n} ненулявых вектараў у эўклідавай (гільбертавай) прасторы, для якіх скалярны здабытак (x_n, x_m) = 0 пры n ≠ m. Калі модуль кожнага вектара роўны 1, то сістэма {x_n} наз. артанармоўнай. Поўную артаганальную сістэму наз. артаганальным базісам. Адпаведна вызначаецца і артанармоўны базіс.

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

3) Сістэма мнагаскладаў {P_n(x)}, n = 0, 1, 2, ..., якія на адрэзку [a, b] з вагой g(x) задавальняюць умовам артаганальнасці ∫​^b_a P_n(x)P_m(x)g(x)dx = 0 /n≠m/, пры гэтым ступень кожнага мнагасклада P_n(x) супадае з яго індэксам n. Выкарыстоўваюцца ў задачах матэм. фізікі, тэорыі выяўленняў груп, вылічальнай матэматыкі і інш. 4) Сістэма функцый, n = 1, 2..., якія на адрэзку [a, b] з вагой p(x) задавальняюць умовам артаганальнасці: ∫​^b_a φ_n(x)φ​^*_m(x)p(x)dz = 0 пры n≠m, дзе ​^* — знак камплекснай спалучанасці. Напр., сістэма трыганаметр. функцый ½, cos nπx, sin nπx (n = 1, 2, ...) — артаганальная сістэма на адрэзку [-1,1] з вагой 1. Выкарыстоўваецца для рашэння задач, напр., спектральнага аналізу ў тэорыі ваганняў, акустыкі, радыёфізікі, оптыкі.

В.А.Ліпніцкі.

т. 1, с. 504

ІЗАМАРФІ́ЗМ (ад іза... + грэч. morphe форма) у матэматыцы, узаемна адназначнае адлюстраванне аднаго матэм. аб’екта з зададзенымі на ім аперацыямі і суадносінамі (напр., групы, структуры, поля) на другі, якое захоўвае гэтыя аперацыі і суадносіны; адно з асн. паняццяў сучаснай матэматыкі. І. алг. сістэмы на сябе наз. аўтамарфізмам.

Паняцце І. ўзнікла ў пач. 19 ст. ў тэорыі груп, дзе Р.Дэкарт заўважыў, што вывучэнне ўнутранай будовы двух ізаморфных аб’ектаў уяўляе сабой адну і тую ж задачу; сучасную тэрміналогію распрацавала ням. матэматык Э.Нётэр. І. выяўляе ўласцівасці аперацый і суадносін, якія не залежаць ад элементаў даследаваных аб’ектаў і аднолькавыя для ўсіх ізаморфных аб’ектаў (абстрактныя ўласцівасці). Напр., мноству X сапраўдных лікаў з зададзенай аперацыяй множання ізаморфнае мноства Y сапраўдных лікаў з зададзенай аперацыяй складання, калі ліку x з X паставіць у адпаведнасць лік y=log_ax з Y (адваротнае адлюстраванне x=a​^y). Тады здабытку x=x₁x₂ адпавядае сума y=y₁+y₂=log_ax₁+log_ax₂, узвядзенню ў n-ю ступень — множанне на n, здабыванню кораня ступені n — дзяленне на n і інш., што закладзена ў аснову выкарыстання лагарыфмаў у арыфм. вылічэннях, прынцыпу работы лагарыфмічнай лінейкі і інш. Гл. таксама Гомамарфізм.

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

т. 7, с. 176